MSG.84A language for the {functional specification} and module design phases of the {software life cycle}, first presented in Berzins and Gray's 1985 paper. Not unlike {PDL}. ["Analysis and design in MSG.84: formalizing functional specifications", Valdis Berzins, Michael Gray, Volume 11 Issue 8, IEEE Transactions on Software Engineering, Aug 1985]. (2003-05-15)