The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1985 vol.11)
pp: 657-670
V. Berzins , Department of Computer Science, University of Minnesota
ABSTRACT
Model building is identified as the most important part of the analysis and design process for software systems. A set of primitives to support this process is presented, along with a formal language, MSG.84, for recording the results of analysis and design. The semantics of the notation is defined in terms of the actor formalism, which is based on a message passing paradigm. The automatic derivation of a graphical form of the specification for user review is discussed. Potentials for computer-aided design based on MSG.84 are indicated.
INDEX TERMS
user review, Actor formalism, concurrency, data abstraction, diagrams, formal language, functional specification, modeling, modularity
CITATION
V. Berzins, M. Gray, "Analysis and Design in MSG.84: Formalizing Functional Specifications", IEEE Transactions on Software Engineering, vol.11, no. 8, pp. 657-670, August 1985, doi:10.1109/TSE.1985.232516
72 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool