Title :
A case study in process representation using MVP-L
Author :
Klingler, Carol Diane ; Nevaiser, M. ; Marmor-Squires, Ann ; Lott, Christopher M. ; Rombach, H. Dieter
Author_Institution :
TRW Syst. Div., Fairfax, VA, USA
Abstract :
The authors conducted a case study within TRW which involved the creation of formal process specifications and designs using MVP-L, an existing process notation. The goals of the overall study were aimed at understanding the various steps in representing processes and evaluating notations for each process-representation step. These goals were consistent with the vision of a process-driven, reuse-based, technology-supported paradigm for the development of software-intensive systems. The study, the lessons learned about process representation in general, and the lessons learned about the language MVP-L are described in detail
Keywords :
formal specification; specification languages; MVP-L; TRW; formal process specifications; process notation; process representation; software reuse; software-intensive systems; Certification; Computer aided software engineering; Computer science; Contracts; Process design; Programming profession; Software maintenance; Software performance; Software standards; Testing;
Conference_Titel :
Computer Assurance, 1992. COMPASS '92. 'Systems Integrity, Software Safety and Process Security: Building the System Right.', Proceedings of the Seventh Annual Conference on
Conference_Location :
Gaithersburg, MD
Print_ISBN :
0-7803-0579-5
DOI :
10.1109/CMPASS.1992.235756