This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Analysis and Design in MSG.84: Formalizing Functional Specifications
August 1985 (vol. 11 no. 8)
pp. 657-670
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/TSE.1985.232516,
author = {V. Berzins and M. Gray},
title = {Analysis and Design in MSG.84: Formalizing Functional Specifications},
journal ={IEEE Transactions on Software Engineering},
volume = {11},
number = {8},
issn = {0098-5589},
year = {1985},
pages = {657-670},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1985.232516},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - Analysis and Design in MSG.84: Formalizing Functional Specifications
IS - 8
SN - 0098-5589
SP657
EP670
EPD - 657-670
A1 - V. Berzins,
A1 - M. Gray,
PY - 1985
KW - user review
KW - Actor formalism
KW - concurrency
KW - data abstraction
KW - diagrams
KW - formal language
KW - functional specification
KW - modeling
KW - modularity
VL - 11
JA - IEEE Transactions on Software Engineering
ER -
 
V. Berzins, Department of Computer Science, University of Minnesota
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, Aug. 1985, doi:10.1109/TSE.1985.232516
Usage of this product signifies your acceptance of the Terms of Use.