A language for formal problem specification
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Finite state modelling in program development
Proceedings of the international conference on Reliable software
Performance prediction in an operating system design methodology.
Performance prediction in an operating system design methodology.
An introduction to the DREAM software design system
ACM SIGSOFT Software Engineering Notes
A system for parallel programming
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A Language and System for the Construction and Tuning of Parallel Programs
IEEE Transactions on Software Engineering
Validating system requirements by functional decomposition and dynamic analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
The use of a software specification metalanguage
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Incorporating usability into requirements engineering tools
ACM '80 Proceedings of the ACM 1980 annual conference
DREAM - an approach to designing large scale, concurrent software systems
ACM '79 Proceedings of the 1979 annual conference
Design feedback and its use in software design aid systems
Proceedings of the software quality assurance workshop on Functional and performance issues
Rapid prototyping and requirements specification using PDS
Proceedings of the workshop on Rapid prototyping
Modeling and projection in software development
Journal of Systems and Software
| Hi-index | 0.00 |
We consider the nature of software system specifications and designs, then survey the languages used in representing them. We emphasize the utility of language-based representations as a foundation for computerized tools which provide aid during software system development. The survey is based upon a classification of the languages according to their underlying representational constructs.