Add to ORKGPaper presented at the 1988 International Conference on Computer Languages, Miami Beach, Florida, October 9-13, 1988 https://doi.org/10.1109/ICCL.1988.13073This paper presents a language for giving black-box specifications in the early stages of software design. The underlying computational model combines message passing with temporal events in a precisely defined way. The features of the language, especially those important for large scale design are presented by means of examples
Current research in specifications is emphasizing the practical use of formal specifications in prog...
Once we relax the assumption that it must be possible to specify programs solely in terms of text an...
As software is increasingly used to control critical systems, program correctness becomes paramount....
Author-contributed print itemThis paper presents a language for giving black-box specifications in t...
This paper presents a language for giving black-box specifications in the early stages of software d...
Author-contributed print itemThis report is about specificaiton, design and prototyping languages su...
We consider the nature of software system specifications and designs, then survey the languages used...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
https://doi.org/10.1109/CMPSAC.1988.17211 Paper presented at COMPSAC 88, The Twelfth Annual Interna...
This paper is a course on specification. Since it is based on experiences in the field of Software E...
The pervasive nature of software (and the tendency for it to contain errors) has long been a concern...
This thesis explores barriers to using formal specification for software development in industry. Em...
AbstractEach member of the Larch family of formal specification languages has a component derived fr...
One of the goals of software engineering is to provide what is necessary to write relevant, legible,...
A formal software specification expresses in a mathematically correct way what requirements the soft...
Current research in specifications is emphasizing the practical use of formal specifications in prog...
Once we relax the assumption that it must be possible to specify programs solely in terms of text an...
As software is increasingly used to control critical systems, program correctness becomes paramount....
Author-contributed print itemThis paper presents a language for giving black-box specifications in t...
This paper presents a language for giving black-box specifications in the early stages of software d...
Author-contributed print itemThis report is about specificaiton, design and prototyping languages su...
We consider the nature of software system specifications and designs, then survey the languages used...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
https://doi.org/10.1109/CMPSAC.1988.17211 Paper presented at COMPSAC 88, The Twelfth Annual Interna...
This paper is a course on specification. Since it is based on experiences in the field of Software E...
The pervasive nature of software (and the tendency for it to contain errors) has long been a concern...
This thesis explores barriers to using formal specification for software development in industry. Em...
AbstractEach member of the Larch family of formal specification languages has a component derived fr...
One of the goals of software engineering is to provide what is necessary to write relevant, legible,...
A formal software specification expresses in a mathematically correct way what requirements the soft...
Current research in specifications is emphasizing the practical use of formal specifications in prog...
Once we relax the assumption that it must be possible to specify programs solely in terms of text an...
As software is increasingly used to control critical systems, program correctness becomes paramount....