Dissertations / Theses on the topic 'Software generation'
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 'Software generation.'
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.
Fischer, Scott Edward. "Standard form 254 generation software." Thesis, Georgia Institute of Technology, 1991. http://hdl.handle.net/1853/22386.
Full textLiang, Dong. "Automatic generation of software applications." Doctoral thesis, Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2014. http://nbn-resolving.de/urn:nbn:de:bsz:105-qucosa-149742.
Full textTurnas, Daniel. "Next generation software process improvement." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Jun%5FTurnas.pdf.
Full textThesis advisor(s): Mikhail Auguston, Christopher D. Miles. Includes bibliographical references (p. 59-61). Also available online.
Paraskevas, Zaharias. "Code generation for dataflow software pipelining." Thesis, McGill University, 1989. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=55627.
Full textHolmes, Stephen Terry. "Heuristic generation of software test data." Thesis, University of South Wales, 1996. https://pure.southwales.ac.uk/en/studentthesis/heuristic-generation-of-software-test-data(aa20a88e-32a5-4958-9055-7abc11fbc541).html.
Full textEnoiu, Eduard. "Automatic test generation for industrial control software." Doctoral thesis, Mälardalens högskola, Inbyggda system, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-33364.
Full text坂部, 俊樹, 正彦 酒井, 圭一朗 草刈, and 直樹 西田. "Program Generation Techniques for Developing Reliable Software." INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE, 2004. http://hdl.handle.net/2237/10387.
Full textJesus, Fábio Miguel Rodrigues de. "CodeGen: improving software development through code generation." Master's thesis, Instituto Politécnico de Setúbal.Escola Superior de Tecnologia de Setúbal, 2019. http://hdl.handle.net/10400.26/31332.
Full textA project submitted in fulfillment of the requirements for the degree of master’s in software engineering
Developing software applications requires time and experience that developers often lack. Additionally, development is more about the problem’s domain and not about the coding process itself, making the automatization of the process quite challenging and engaging, unlike other successfully automated processes. To further reduce the developer’s engagement in corporal developing standards such as following specific patterns or rules, CodeGen presents itself as a code generating tool that, while limited as a prototype, is intended to build and test applications in a set of languages and patterns. In order to do so, an exploratory research on the topics of code generation, architectural and design patterns, and programming languages is required, in order to evaluate what can be done with the current technology and knowledge available. Supported by this research, a prototype is developed as a proof of concept for a Visual Studio Extension that generates web applications in .NET MVC (Model-View-Controller). Since Visual Studio can’t compile Java and the user is not restricted to the choice of development environment, the current research also analyses the possibility of having more than one user interface.
Yang, Bo. "Software test generation based on flow models." Thesis, University of Ottawa (Canada), 1991. http://hdl.handle.net/10393/7925.
Full textEriksson, Mattias. "Integrated Software Pipelining." Licentiate thesis, Linköping : Department of Computer and Information Science, Linköpings universitet, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-16170.
Full textCousins, Michael Anthony. "Automated structural test data generation." Thesis, University of Portsmouth, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261234.
Full textCullum, James J. "Performance analysis of automated attack graph generation software." Thesis, Monterey, Calif. : Naval Postgraduate School, 2006. http://bosun.nps.edu/uhtbin/hyperion.exe/06Dec%5FCullum.pdf.
Full textThesis Advisor(s): Cynthia Irvine, Timothy Levin. "December 2006." Includes bibliographical references (p. 137- 138). Also available in print.
Bunnin, Francis Oliver. "Automatic generation of software components for financial modelling." Thesis, Imperial College London, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.249245.
Full textMedeiros, de Campos José Carlos. "Search-based unit test generation for evolving software." Thesis, University of Sheffield, 2017. http://etheses.whiterose.ac.uk/20271/.
Full textForsyth, Charles Harkness. "More adaptable code generation." Thesis, University of York, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.280449.
Full textTaylor, Brian J. "Regressive model approach to the generation of test trajectories." Morgantown, W. Va. : [West Virginia University Libraries], 1999. http://etd.wvu.edu/templates/showETD.cfm?recnum=1077.
Full textTitle from document title page. Document formatted into pages; contains xi, 125 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 108-111).
Tip, Frank. "Generation of program analysis tools." Amsterdam : Amsterdam : Institute for Logic, Language and Computation ; Universiteit van Amsterdam [Host], 1995. http://dare.uva.nl/document/33639.
Full textTo, Chi-cheung Solomon. "Marketing of fourth generation software products in Hong Kong /." [Hong Kong : University of Hong Kong], 1987. http://sunzi.lib.hku.hk/hkuto/record.jsp?B12335745.
Full textGünterberg, Herbert. "Case study of rapid software prototyping and automated software generation: an Inertial Navigation System." Thesis, Monterey, California. Naval Postgraduate School, 1989. http://hdl.handle.net/10945/26909.
Full textImanian, James A. "Automated test case generation for reactive software systems based on environment models." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2005. http://library.nps.navy.mil/uhtbin/hyperion/05Jun%5FImanian.pdf.
Full textThesis Advisor(s): Mikhail Auguston, James B. Michael. Includes bibliographical references (p. 55-56). Also available online.
Wigent, Mark A., and Andrea M. Mazzario. "TENA Software Decommutation System." International Foundation for Telemetering, 2012. http://hdl.handle.net/10150/581846.
Full textFranz, Michael Steffen Oliver. "Code-generation on-the-fly : a key portable software /." Zürich, 1994. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=10497.
Full textMisra, Sudip. "A software test plan generation approach for pedagogical purposes." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0029/MQ65510.pdf.
Full textTo, Chi-cheung Solomon, and 杜志祥. "Marketing of fourth generation software products in Hong Kong." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1987. http://hub.hku.hk/bib/B31263902.
Full textMeudec, Christophe. "Automatic generation of software test cases from formal specifications." Thesis, Queen's University Belfast, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263505.
Full textMoyer, Daniel Raymond. "Software development resource estimation in the 4th generation environment." Thesis, Kansas State University, 1986. http://hdl.handle.net/2097/9956.
Full textArcuri, Andrea. "Automatic software generation and improvement through search based techniques." Thesis, University of Birmingham, 2009. http://etheses.bham.ac.uk//id/eprint/400/.
Full textTkachuk, Oksana. "Domain-specific environment generation for modular software model checking." Diss., Manhattan, Kan. : Kansas State University, 2008. http://hdl.handle.net/2097/1122.
Full textKot, andriy. "Effective Large Scale Computing Software for Parallel Mesh Generation." W&M ScholarWorks, 2011. https://scholarworks.wm.edu/etd/1539623585.
Full textLawrence, Peter James. "Mesh generation by domain bisection." Thesis, University of Greenwich, 1994. http://gala.gre.ac.uk/6220/.
Full textPawar, Sourabh A. "A Common Software Development Framework For Coordinating Usability Engineering and Software Engineering Activities." Thesis, Virginia Tech, 2004. http://hdl.handle.net/10919/33023.
Full textThe framework characterizes the information exchange that must exist between the UE and SE teams during software development to form the basis of the coordinated development framework. The UE Scenario-Based Design (SBD) process provides the basis for identifying UE activities. Similarly, the Requirements Generation Model (RGM), and Structured Analysis and Design are used to identify SE activities. We identify UE and SE activities that can influence each other, and identify the high-level exchange of information that must exist among these activities. We further examine these interactions to gain a more in-depth understanding as to the precise exchange of information that must exist among them.
The identification of interacting activities forms the basis of a coordinated development framework that incorporates and synchronizes the UE and SE processes. An examination of the Incremental and Spiral models as they relate to the SBD is provided, and outlines how our integration framework can be composed. Using the results of and insights gained from our research, we also suggest additional avenues for future work.
Master of Science
Noik, Emanuel Gerald. "Automating the generation of interactive applications." Thesis, University of British Columbia, 1990. http://hdl.handle.net/2429/29690.
Full textScience, Faculty of
Computer Science, Department of
Graduate
Aldanmaz, Senol Lokman. "Environment Generation Tool For Enabling Aspect Verification." Master's thesis, METU, 2010. http://etd.lib.metu.edu.tr/upload/12612078/index.pdf.
Full textSu, Mehmet Onur. "Business Process Moedlling Based Computer-aided Software Functional Requirements Generation." Master's thesis, METU, 2004. http://etd.lib.metu.edu.tr/upload/3/12604698/index.pdf.
Full textBureau, Cédric. "Developing a harmonic power flow software in distributed generation systems." Thesis, KTH, Elektriska energisystem, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-103181.
Full textWilliams, Alan Webber. "Software component interaction testing: Coverage measurement and generation of configurations." Thesis, University of Ottawa (Canada), 2002. http://hdl.handle.net/10393/6387.
Full textSilva, Carlos Eduardo da. "Dynamic generation of adaptation plans for self-adaptive software systems." Thesis, University of Kent, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.544042.
Full textGrammel, Birgit. "Automatic Generation of Trace Links in Model-driven Software Development." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-155839.
Full textSthamer, Harmen-Hinrich. "The automatic generation of software test data using genetic algorithms." Thesis, University of South Wales, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.320726.
Full textLepird, John R. "Multi-objective optimization of next-generation aircraft collision avoidance software." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/98566.
Full textThis electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
"June 2015." Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 85-90).
Developed in the 1970's and 1980's, the Traffic Alert and Collision Avoidance System (TCAS) is the last safety net to prevent an aircraft mid-air collision. Although TCAS has been historically very effective, TCAS logic must adapt to meet the new challenges of our increasingly busy modern airspace. Numerous studies have shown that formulating collision avoidance as a partially-observable Markov decision process (POMDP) can dramatically increase system performance. However, the POMDP formulation relies on a number of design parameters modifying these parameters can dramatically alter system behavior. Prior work tunes these design parameters with respect to a single performance metric. This thesis extends existing work to handle more than one performance metric. We introduce an algorithm for preference elicitation that allows the designer to meaningfully define a utility function. We also discuss and implement a genetic algorithm that can perform multi-objective optimization directly. By appropriately applying these two methods, we show that we are able to tune the POMDP design parameters more effectively than existing work.
by John R. Lepird.
S.M.
Corre, Youenn. "Automated generation of heterogeneous multiprocessor architectures : software and hardware aspects." Lorient, 2013. https://hal.archives-ouvertes.fr/tel-01130482.
Full textEmbedded systems evolution has led to the emergence of H-MPSoCs which provide a way to respect the cost and performance constraints inherent to embedded systems. However they also make the task of designing and programming such systems a long and arduous process. It is thus necessary to develop tools that will free designers from architectural and programming details, so that they can focus on the tasks where they can bring added-value. The objective is thus to automatize the tasks that burden the design of H-MPSoC, in particular on FPGA, by providing a higher-level of abstraction following a method that brings together HLS and hardware/software co-design beyond the existing solutions which are whether incomplete or unfit. The presented work introduces a design framework relying on the automation of tedious tasks and allowing designers to express their expertise where they want to. For this, we rely on an architecture model defined with a high-level formalism independent from implementation details, providing a solution to the lack of multiprocessor architecture in FPGAs. This specification model also allows designers to provide design constraints in accordance with their level of expertise or involvement. The DSE is implemented as a scalable algorithm relying on fast and accurate estimation techniques. A method for the exploration of hardware accelerators based on HLS to provide fast cost estimations is introduced. The use of MDE methods enables portability and reuse by generating the final design implementation. The framework is validated through two case studies: an MJPEG video decoder and a face detection application
Hrischuk, Curtis E. (Curtis Eldon) Carleton University Dissertation Engineering Systems and Computer. "The automatic generation of software performance models from a prototype." Ottawa, 1994.
Find full textLübke, Daniel. "An integrated approach for generation in SOA projects." Hamburg Kovač, 2007. http://d-nb.info/987919547/04.
Full textTseng, Kuo-Jung. "Chinese character generation : a stroke oriented method." Thesis, University of Kent, 1996. https://kar.kent.ac.uk/21368/.
Full textArief, Leonardus Budiman. "A framework for supporting automatic simulation generation from design." Thesis, University of Newcastle Upon Tyne, 2001. http://hdl.handle.net/10443/1816.
Full textPell, Barney Darryl. "Strategy generation and evaluation for meta-game playing." Thesis, University of Cambridge, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.308363.
Full textSingh, Neeta S. "An automatic code generation tool for partitioned software in distributed computing." [Tampa, Fla.] : University of South Florida, 2005. http://purl.fcla.edu/fcla/etd/SFE0001129.
Full textGil, Sepúlveda Victor Alejandro. "Algorithmic and Technical Improvements for Next Generation Drug Design Software Tools." Doctoral thesis, Universitat de Barcelona, 2016. http://hdl.handle.net/10803/396648.
Full textTan, Kian Moh Terence. "Tactical plan generation software for maritime interdiction using conceptual blending theory." Thesis, Monterey, Calif. : Naval Postgraduate School, 2007. http://bosun.nps.edu/uhtbin/hyperion-image.exe/07Dec%5FTan%5FKian.pdf.
Full textThesis Advisor(s): Hiles, John. "December 2007." Description based on title screen as viewed on January 18, 2008. Includes bibliographical references (p. 87-91). Also available in print.
Haritos, Georgios. "Automatic semi/automatic generation of software to control flexible manufacturing cells." Thesis, Staffordshire University, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.308911.
Full text