Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Jump to user comments
language A 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].