Abstraction-based software development
Communications of the ACM
Petri net-based object-oriented modelling of distributed systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Software evolution: forging a paradigm
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
A comparison of techniques for the specification of external system behavior
Communications of the ACM
A Prototyping Language for Real-Time Software
IEEE Transactions on Software Engineering
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
An environment for operational software engineering in Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
N-Fold inspection: a requirements analysis technique
Communications of the ACM
A tailored design language: putting model based formal specification into practice
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
An Introduction to the Specification Language SPEC
IEEE Software
Mathemtical Model of Composite Objects and Its Application for Organizing Engineering Databases
IEEE Transactions on Software Engineering
The Realizable Benefits of a Language Prototyping Language
IEEE Transactions on Software Engineering
Test case generation for specification-based software testing
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Hi-index | 0.06 |
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.