Title :
Software process modeling at SEI
Author :
Kellner, Marc I.
Author_Institution :
Software Eng. Inst., Carnegie-Mellon Univ., Pittsburgh, PA, USA
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;
Conference_Titel :
Software Maintenance, 1988., Proceedings of the Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
0-8186-0879-X
DOI :
10.1109/ICSM.1988.10143
