Analysis and Design in MSG.84: Formalizing Functional Specifications
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Abstraction-based software development
Communications of the ACM
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Report on the Larch shared language
Science of Computer Programming
A Prototyping Language for Real-Time Software
IEEE Transactions on Software Engineering
Languages for specification, design, and prototyping
Modern software engineering, foundations and current perspectives
Software engineering with abstractions
Software engineering with abstractions
The Specification of Complex Systems
The Specification of Complex Systems
OBSERV—a prototyping language and environment
ACM Transactions on Software Engineering and Methodology (TOSEM)
A methodology for high-level software specification construction
ACM SIGSOFT Software Engineering Notes
Formal Methods: Promises and Problems
IEEE Software
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
SPEC expresses black-box interface specifications for large, distributed systems with real-time constraints. It incorporates conceptual models, inheritance, and the event model. The design of SPEC is discussed, and its primitives, consisting of functions, types, machines, and generators, are described.