DocumentCode
555926
Title
Extending the descartes specification language towards process modeling
Author
Urban, Joseph E. ; Subburaj, Vinitha H. ; Ramamoorthy, Lavanya
Author_Institution
Ind. Eng. Dept., Texas Tech Univ., Lubbock, TX, USA
fYear
2011
fDate
18-21 Sept. 2011
Firstpage
337
Lastpage
340
Abstract
With current complex real time software problems, the need for reliable software specification becomes crucial. This paper overviews the use of formal methods to specify requirements and the advantage of using an executable formal specification language processor to develop a process model for the development of a software system. The paper presents how a software process can be described using the Descartes specification language, an executable specification language, and the language extensions made to Descartes to make it suitable to describe a software process.
Keywords
formal specification; specification languages; Descartes specification language; formal method; formal specification language; process modeling; software specification; software system development; Conferences; Object oriented modeling; Programming; Software; Software engineering; Solid modeling; Specification languages; software process model; software specification;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science and Information Systems (FedCSIS), 2011 Federated Conference on
Conference_Location
Szczecin
Print_ISBN
978-1-4577-0041-5
Electronic_ISBN
978-83-60810-35-4
Type
conf
Filename
6078227
Link To Document