Dissertations / Theses on the topic 'Development of computer programs'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Development of computer programs.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Liang, Donglin. "Developing practical program analyses for programs with pointers." Diss., Georgia Institute of Technology, 2002. http://hdl.handle.net/1853/8203.
Full textNagulakonda, Vikram. "Assertion seeding development of program instrumentation through iterative formal analysis /." Morgantown, W. Va. : [West Virginia University Libraries], 1999. http://etd.wvu.edu/templates/showETD.cfm?recnum=1080.
Full textTitle from document title page. Document formatted into pages; contains v, 80 p. : ill. Includes abstract. Includes bibliographical references (p. 33-35).
Schroeder, Deborah. "Development of computer programs to aid synthesis planning." Thesis, University of Leeds, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.329976.
Full textVeeder, Nadine M. "An exploratory study of software development measures across COBOL programs." Thesis, Kansas State University, 1986. http://hdl.handle.net/2097/9977.
Full textDamm, Bernt W. "The development of a piano-recorder system." Thesis, Cape Technikon, 1993. http://hdl.handle.net/20.500.11838/1155.
Full textThis thesis describes the development and design of a pianorecorder system. This system makes it possible to record the notes played on a piano onto a computer disk. The records can then be used for the manufacturing of pianola rolls.
Justo, George Roger Ribeiro. "Configuration-oriented development of parallel programs." Thesis, University of Kent, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.333965.
Full textHoward, Steven James. "Real estate development financial feasibility analysis : a computer model." Thesis, Georgia Institute of Technology, 1987. http://hdl.handle.net/1853/22359.
Full textCadiz, Horacio T. "The development of a CHAID-based model for CHITRA93." Master's thesis, This resource online, 1994. http://scholar.lib.vt.edu/theses/available/etd-04272010-020155/.
Full textMaclean, William Brian. "The development of an instrument for evaluating computer assisted language programs." Click to view the E-thesis via HKUTO, 1986. http://sunzi.lib.hku.hk/HKUTO/record/B3862767X.
Full text麥建年 and William Brian Maclean. "The development of an instrument for evaluating computer assisted language programs." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1986. http://hub.hku.hk/bib/B3862767X.
Full textSalvatore, Ricardo Brigatto. "Using open source software in visual simulation development." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2005. http://library.nps.navy.mil/uhtbin/hyperion/05Sep%5FSalvatore.pdf.
Full textSnyder, Sheldon L. "Efficient XML Interchange (EXI) compression and performance benefits development, implementation and evaluation /." Thesis, Monterey, California : Naval Postgraduate School, 2010. http://edocs.nps.edu/npspubs/scholarly/theses/2010/Mar/10Mar%5FSynder.pdf.
Full textThesis Advisor(s): Brutzman, Don ; McGregor, Don. "March 2010." Description based on title screen as viewed on April 23, 2010. Author(s) subject terms: Extensible Markup Language (XML), Efficient XML Interchange (EXI), Compression. Includes bibliographical references (p. 337-353). Also available in print.
Demir, Kadir Alpaslan. "Analysis of TLcharts for weapon systems software development." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2005. http://library.nps.navy.mil/uhtbin/hyperion/05Dec%5FDemir.pdf.
Full textThesis Advisor(s): Doron Drusinsky, Man-Tak Shing. Includes bibliographical references (p. 87-89). Also available online.
Moyer, Daniel Raymond. "Software development resource estimation in the 4th generation environment." Thesis, Kansas State University, 1986. http://hdl.handle.net/2097/9956.
Full textHuman, TM. "The design and development of a microprocessor based control system for an electric rail transport system." Thesis, Cape Technikon, 1988. http://hdl.handle.net/20.500.11838/1121.
Full textRadioactivity and radioactive radiation are two scientific phenomena which man has always approached with great caution, if not fear. Radioactive radiation cannot be sensed by any of the human senses and experience has proved just how hazardous it can be to the human body. This caution is therefore by no means unfounded and through the years a set of standards has been derived as to what can be regarded as a safe dose to the human body. At the National Accelerator Centre radioisotopes are being produced by a chemical recovery process from targets which have been irradiated by a high energy proton beam. Targets are prepared by compressing salts, containing the elements to become radioisotopes, into tablets. The high energy protons collide with particles in the targets which give off radioactive radiation. The targets in their turn become radioactive and the isotopes that are produced from these targets are radioactive. The level of radioactive radiation is extremely hazardous and it is therefore impossible for any human being to come into close contact with any of the targets or isotopes. It is for these reasons that an electrical rail transport system was installed at the National Accelerator Centre to transport highly radioactive sources. The transport system links the two irradiation vaults to the two rows of hot cells, where the chemical recovery takes place, and to a well shielded storage area for storage of isotopes and radioactive waste. A transport system, performing tasks of this nature, must be, above all, extremely reliable. Secondly, commands entered by an operator to control the system, must be simple and straight forward. This thesis describes the control of the transport system at the National Accelerator Centre, including alI of its features, advantages and disadvantages.
Ara, Andleeb. "Development of NASBA-primer search software for designing forensic saliva tandem repeat markers for mucin and amylase." Muncie, Ind. : Ball State University, 2009. http://cardinalscholar.bsu.edu/635.
Full text李思維 and Sze-wai Wilson Lee. "Development of a synchronous system for collaborative product definition on the internet." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2000. http://hub.hku.hk/bib/B31224659.
Full textPraditsmanont, Apichat. "The development of a computer program for thermal comfort analysis." Access restricted to users with UT Austin EID, 2001. http://wwwlib.umi.com/cr/utexas/fullcit?p3040640.
Full textLoubser, Johannes Jacobus. "Device drivers : a comparison of different development strategies." Thesis, Stellenbosch : Stellenbosch University, 2000. http://hdl.handle.net/10019.1/51690.
Full textENGLISH ABSTRACT: Users are not supposed to modify an operating system kernel, but it is often necessary to add a device driver for a new peripheral device. Device driver development is a difficult and time-consuming process that must be performed by an expert. Drivers are difficult to debug and a malfunctioning driver could cause the operating system to crash. Ways are therefore needed to make the development of device drivers safer and easier. A number of different device driver development methods are examined in this thesis. An existing micro-kernel that supports in-kernel device drivers as well as extensible device drivers has been modified to support user-level and loadable drivers. These extensions ensured that all the development methods were implemented in the same environment and a comparison could thus be made on a fair basis. A comparison of the different methods with respect to the efficiency of the resulting device driver, as well as the ease of the development process, is presented.
AFRIKAANSE OPSOMMING: Gebruikers is nie veronderstelom aan 'n bedryfstelsel te verander nie, maar tog is dit gereeld nodig om 'n toesteldrywer vir 'n nuwe randapparaat by te voeg. Die ontwikkeling van 'n toesteldrywer is 'n tydrowende en moeilike proses en moet deur 'n kundige aangepak word. Toesteldrywers is moeilik om te ontfout en kan deur verkeerde werking die hele stelsel tot stilstand bring. Daar is dus tegnieke nodig om die ontwikkeling van toestelhanteerders makliker en veiliger te maak. 'n Aantal verskillende ontwikkelingsmetodes vir toesteldrywers word in hierdie tesis ondersoek. 'n Bestaande mikro-kern wat in-kern, sowel as uitbreibare toesteldrywers ondersteun, is aangepas om gebruikersvlak en laaibare toestelhanteerders te ondersteun. Hierdie uitbreiding het verseker dat al die ontwikkelingsmetodes in dieselfde omgewing geïmplementeer is. Dit was dus moontlik om die metodes op 'n regverdige grondslag te vergelyk. Die vergelyking is gedoen ten opsigte van die effektiwiteit van die resulterende toesteldrywer sowel as die moeilikheidsgraad van die ontwikkelingsproses.
Miller, Maranda L. "MLM graphics : the creation of a software framework for graphical applications." Virtual Press, 2000. http://liblink.bsu.edu/uhtbin/catkey/1178343.
Full textDepartment of Computer Science
鄭啓航 and Kai-hong Cheng. "Further development of the visual genome explorer: a visual genomic comparative tool." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2001. http://hub.hku.hk/bib/B3122412X.
Full textCardone, Richard Joseph. "Language and compiler support for mixin programming." Access restricted to users with UT Austin EID Full text (PDF) from UMI/Dissertation Abstracts International, 2002. http://wwwlib.umi.com/cr/utexas/fullcit?p3077428.
Full textMcDaniel, Patrick Drew. "The analysis of Di, a detailed design metric, on large-scale software." Virtual Press, 1991. http://liblink.bsu.edu/uhtbin/catkey/774746.
Full textDiamante, Luciana Puntillo. "Development of a tool to calculate object oriented software metrics on Java programs." Thesis, California State University, Long Beach, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=1603551.
Full textSoftware metrics have been developed and studied for several years. The idea behind these metrics is to measure software quality and complexity, and based on their results to improve software development. This project implements a tool that parses computer programs written in the Java language and evaluates several software metrics from them.
This tool, called the Super Counter, calculates both object-oriented and non-object-oriented specific metrics. The input for the tool can be one or more Java programs belonging to the same or different packages.
The Super Counter output consists of some general information about the program (number of comments, number of keywords, etc.) as well as more complex metrics: Halstead, McCabe, Chidamber and Kemerer.
Wu, Jichuan. "Web-based e-mail client for computer science." CSUSB ScholarWorks, 2003. https://scholarworks.lib.csusb.edu/etd-project/2462.
Full textChiang, Yen-Hsi. "Advising module: Graduate application system for the Computer Science Graduate Program." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2725.
Full textSinha, Saurabh. "Static and dynamic analysis of programs that contain arbitrary interprocedural control flow." Diss., Georgia Institute of Technology, 2002. http://hdl.handle.net/1853/8279.
Full textBaudendistel, Kurt. "Compiler development for fixed-point processors." Diss., Georgia Institute of Technology, 1992. http://hdl.handle.net/1853/15355.
Full textHuang, Jianyuan. "Computer science graduate project management system." CSUSB ScholarWorks, 2007. https://scholarworks.lib.csusb.edu/etd-project/3250.
Full textBrown, Steven Andrew. "Development of a coupled finite element - boundary element program for a microcomputer." Thesis, Virginia Tech, 1985. http://hdl.handle.net/10919/45713.
Full textMaster of Science
Canning, James Thomas. "The application of structure and code metrics to large scale systems." Diss., Virginia Polytechnic Institute and State University, 1985. http://hdl.handle.net/10919/54209.
Full textPh. D.
Faruqui, Saif Ahmed. "Utility computing: Certification model, costing model, and related architecture development." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2756.
Full textKrause, Carsten. "Development and implementation of an interactive uniform regulations manual for the United States Marine Corps." Thesis, Monterey, California. Naval Postgraduate School, 2006. http://hdl.handle.net/10945/2600.
Full textRahim, Humaira. "Athena: An online proposal development system." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2856.
Full textAckerman, Charlotte Christene. "Providing mechanical support for program development in a weakest precondition calculus." Thesis, Stellenbosch : Stellenbosch University, 1993. http://hdl.handle.net/10019.1/79317.
Full textENGLISH ABSTRACT: Formal methods aim to apply the rigour of mathematical logic to the problem ofguaranteeing that the behaviour of (critical) software conforms to predetermined requirements. The application of formal methods during program construction centers around a formal specification of the required behaviour of the program. A development attempt is successful if the resulting program can be formally proven to conform to its specification. For any substantial program, this entails a great deal of effort. Thus, some research efforts have been directed at providing mechanical support for the application of formal methods to software development. E.W. Dijkstra's calculus of weakest precondition predicate transformers [39,38] represents one of the first attempts to use program correctness requirements to guide program development in a formal manner.
AFRIKAANSE OPSOMMING: Formele metodes poog om die strengheid van wiskundige logika te gebruik om te waarborg dat die gedrag van (kritiese) programmatuur voldoen aan gegewe vereistes. Die toepassing van formele metodes tydens programontwikkeling sentreer rondom a formele spesifikasie van die verlangde programgedrag. 'n Ontwikkelingspoging is suksesvol as daar formee1 bewys kan word dat die resulterende program aan sy spesifikasie voldoen. Vir enige substansiële program, verteenwoordig dit ‘n aansienlike hoeveelheid werk. Verskeie navorsinspoging is gerig op die daarstelling van meganiese ondersteuning vir die gebruik van formele metodes tydens ontwikkeling van sagteware. E. W. Dijkstra se calculus van swakste voorkondisie (“weakest precondition”) predikaattransformators [39,38] is een van die eerste pogings om vereistes vir programkorrektheid op ‘n formele en konstruktiewe wyse tydens programontwikkeling te gebruik.
Lewis, Casey R. "The use of computer technology on the implementation and development of project-specific safety programs." [Gainesville, Fla.] : University of Florida, 2004. http://purl.fcla.edu/fcla/etd/UFE0006280.
Full textChen, Chun-Hsien. "Development of a product design evaluation system /." free to MU campus, to others for purchase, 1996. http://wwwlib.umi.com/cr/mo/fullcit?p9809673.
Full textDoss, David L. Rhodes Dent. "Development of a multimedia instructional local area network." Normal, Ill. Illinois State University, 1992. http://wwwlib.umi.com/cr/ilstu/fullcit?p9227165.
Full textTitle from title page screen, viewed January 11, 2006. Dissertation Committee: Dent M. Rhodes (chair), Raymond A. Davidson, Janet D. Hartman, Bill E. Swafford. Includes bibliographical references (leaves 82-85) and abstract. Also available in print.
Roems, Raphael. "The implications of deviating from software testing processes : a case study of a software development company in Cape Town, South Africa." Thesis, Cape Peninsula University of Technology, 2017. http://hdl.handle.net/20.500.11838/2686.
Full textEnsuring that predetermined quality standards are met is an issue which software development companies, and the software development industry at large, is having issues in attaining. The software testing process is an important process within the larger software development process, and is done to ensure that software functionality meets user requirements and software defects are detected and fixed prior to users receiving the developed software. Software testing processes have progressed to the point where there are formal processes, dedicated software testing resources and defect management software in use at software development organisations. The research determined implications that the case study software development organisation could face when deviating from software testing processes, with a focus on function performed by the software tester role. The analytical dimensions of duality of structure framework, based on Structuration Theory, was used as a lens to understand and interpret the socio-technical processes associated with software development processes at the case study organisation. Results include the identification of software testing processes, resources and tools, together with the formal software development processes and methodologies being used. Critical e-commerce website functionality and software development resource costs were identified. Tangible and intangible costs which arise due to software defects were also identified. Recommendations include the prioritisation of critical functionality for test execution for the organisation’s e-commerce website platform. The necessary risk management should also be undertaken in scenarios with time constraints on software testing, which balances risk with quality, features, budget and schedule. Numerous process improvements were recommended for the organisation, to assist in preventing deviations from prescribed testing processes. A guideline was developed as a research contribution to illustrate the relationships of the specific research areas and the impact on software project delivery.
Chipunza, Enciliah. "Quality management challenges in iterative software product development of a selected software development organisation in Cape Town, South Africa." Thesis, Cape Peninsula University of Technology, 2018. http://hdl.handle.net/20.500.11838/2779.
Full textMany software organisations using iterative software development approach use practices that relate to quality management. However, the quality management process has been inadequate. Despite many research studies conducted on quality management in iterative software product development none have adequately addressed the challenges and mitigation techniques to have an adequate process that leads to a quality software product. The objective of this study was to determine factors that affect the quality management process in iterative software development. The research followed a qualitative approach, a case of software organisation SasTech in Cape Town, South Africa. 22 interviews were conducted on three roles actively involved in the software product development process. These are product management, quality assurance and software developers. Themes were drawn from results and were tabulated. The duality of technology theory was used as a theoretical lens to data analysis. Several factors were identified to influence the software quality management process. These include planning, documentation, process ownership, technologies, testing, timelines and management support. Through the general proposed framework, facilities (human resources and technologies), interpretive schemes (architecture) and norms (practices) of software quality management can be institutionalised leading to adequate and effective quality management in iterative development for SasTech as well as other organisations in the same industry.
Sweeney, Michael Engineering & Information Technology Australian Defence Force Academy UNSW. "A presentation service for rapidly building interactive collaborative web applications." Awarded by:University of New South Wales - Australian Defence Force Academy. Engineering & Information Technology, 2009. http://handle.unsw.edu.au/1959.4/43621.
Full textTesone, Dana V. "Development of a Multimedia Publication in Hospitality and Tourism Ethics for Undergraduate Students and Workplace Training Programs." NSUWorks, 1995. http://nsuworks.nova.edu/gscis_etd/878.
Full textPehrsson, Kirsten M. "Software development cost estimating models: an application of the hedonic pricing approach." Thesis, Virginia Tech, 1987. http://hdl.handle.net/10919/45910.
Full textSoftware development cost estimating models were analyzed using an application of the hedonic pricing approach. Several recently proposed software cost estimating tools were surveyed for the purpose of revealing their roots in the hedonic pricing approach. The analysis includes discussion of the hedonic pricing approach, the logic of several software cost models, and analysis of the models' hedonic pricing traits.
Hedonic prices are the implicit prices of attributes of I differentiated products as revealed in the market through attribute levels associated with market-clearing prices. Several aspects of the software costing models fit within the hedonic pricing approach. Many of the models base cost estimates on the varying quantities of software product attributes (e.g., complexity of program, schedule requirements, etc.). Similarities and differences of traits among cost models were noted.
Master of Arts
Gauthier, Laurent. "Development and use of a database and program package for farm production management." Thesis, McGill University, 1986. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=74030.
Full text梁秉雄 and Ping Hung Karl Richard Leung. "Domain modelling: with a case study in air traffic." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1997. http://hub.hku.hk/bib/B31235980.
Full textPope, Nicolas William. "Supporting the migration from construal to program : rethinking software development." Thesis, University of Warwick, 2011. http://wrap.warwick.ac.uk/46969/.
Full textLi, Ling. "Understanding the efficacy of test driven development a dissertation submitted to Auckland University of Technology in partial fulfilment of the requirements for the degree of Master of Computer and Information Sciences, 2009 /." Click here to access this resource online, 2009. http://hdl.handle.net/10292/775.
Full textZulkarnine, Ahmed Tahsin. "Design structure and iterative release analysis of scientific software." Thesis, Lethbridge, Alta. : University of Lethbridge, Dept. of Mathematics and Computer Science, c2012, 2012. http://hdl.handle.net/10133/3256.
Full textx, 87 leaves : ill. ; 29 cm
Haag, Roger. "Programming the INTEL 8086 microprocessor for GRADS : a graphic real-time animation display system." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=65929.
Full textBedingfield, Ralph Andrew. "Development of CAE system for switched motor drive systems." Thesis, This resource online, 1991. http://scholar.lib.vt.edu/theses/available/etd-10312009-020029/.
Full text