DocumentCode
1884950
Title
Software process modeling at SEI
Author
Kellner, Marc I.
Author_Institution
Software Eng. Inst., Carnegie-Mellon Univ., Pittsburgh, PA, USA
fYear
1988
fDate
24-27 Oct 1988
Firstpage
78
Abstract
A discussion is presented of a software process modeling case study. The four primary objectives of software process modeling are summarized. Thirteen substantive requirements for a software modeling approach are identified. The author has developed a model of this process utilizing a commercially available automated system called STATEMATE. Although this system was originally developed to aid in specifying and designing real-time reactive systems software, successful experiences indicate that it is well suited for modeling software processes. STATEMATE offers a representation formalism that is highly visual, yet formally defined
Keywords
formal specification; software engineering; software tools; SEI; STATEMATE; formal specification; representation formalism; software process modeling; software tools; Decision making; Electronic switching systems; Feedback loop; Predictive models; Real time systems; Research and development; Software engineering; Software maintenance; Software systems; System software;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Maintenance, 1988., Proceedings of the Conference on
Conference_Location
Scottsdale, AZ
Print_ISBN
0-8186-0879-X
Type
conf
DOI
10.1109/ICSM.1988.10143
Filename
10143
Link To Document