Browsing by Subject "Descartes specification language"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item An improved descartes specification language interpreter(2011-05) Kalva, Vamshi; Urban, Joseph E.; Shin, MichaelThe thesis describes a research project for improving the language interpreter of Descartes specification language. Descartes is an executable software specification language. The specifications in Descartes are developed in a top-down, modular approach. The Descartes specification language is based on data structuring methods proposed by Hoare. A new interpreter to execute Descartes specifications was developed as part of thesis research. The new interpreter has shown a significant improvement in the execution time. An efficient memory utilization technique was implemented in the interpreter. A new tool was developed which generates test data from the Descartes specification. This test data generated is stored in memory, this memory acts like a cache memory. This memory is used to improve the execution time of the interpreter.Item Extensions to the descartes specification language for software process modeling(2011-05) Ramamoorthy, Lavanya; Urban, Joseph E.; Watson,RichardSoftware applications are complex products that are difficult to develop. A software process is a sequence of steps that are used to guide the development of software. Manual management of a software process is a tedious and time consuming task. Automation of a software process would save time and improve the quality of the software applications. Process models are used to automate software processes. A process model describes how a software process can be represented using a process modeling language. In this thesis research effort, some of the existing process modeling languages were analyzed and compared. The software processes, process models, and their characteristics were also analyzed in this research effort. The research effort describes the extensions made to the Descartes language, an executable formal method, to specify a software process. The extensions made to the Descartes specification language were analyzed in detail.