MSG.84

MSG.84

(language)A language for the functional specification andmodule design phases of the software life cycle, firstpresented in Berzins and Gray's 1985 paper. Not unlike PDL.

["Analysis and design in MSG.84: formalizing functionalspecifications", Valdis Berzins, Michael Gray, Volume 11 Issue8, IEEE Transactions on Software Engineering, Aug 1985].