MSG.84(ID:1164/msg001)

Functional spec language

Univ. of Minnesota, Minneapolis

Structures:
Related languages
MSG.84 => Kodiyak   Evolution of
References:
  • Berzins V. et al "Analysis and Design in MSG.84: Formalizing Functional Specifications" view details
          in IEEE Trans Soft Eng 11(08) August 1985 view details
  • Berzins, Valdis; Gray, Michael; Naumann, David "Abstraction-based software development" pp402-415 view details Abstract: A five-year experience with abstraction-based software-development techniques in the university environment indicates that the investment required to support the paradigm in practice is returned in terms of greater ability to control complexity in large projects?provided there exists a set of software tools sufficient to support the approach. DOI
          in [ACM] CACM 29(05) (May 1986) view details