Extensions to the descartes specification language for software process modeling

Date

2011-05

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Software 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.

Description

Citation