The Design of Software Interfaces in Spec
Abstract
This 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.
Description
Paper presented at the 1988 International Conference on Computer Languages, Miami Beach, Florida, October 9-13, 1988
https://doi.org/10.1109/ICCL.1988.13073
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
Spacecraft Design Program at the Naval Postgraduate School
Agrawal, B.N. (2005);This paper presents a review of the spacecraft design program at the Naval Postgraduate School. This program is part of the space systems engineering curriculum. In this curriculum, the students take at least one course ... -
Modeling and Simulation Tool to Enhance and Explore the ROE Design Space for NLW
Hall, Steven B. (Monterey, California: Naval Postgraduate SchoolMonterey, California. Naval Postgraduate School, 2019-12); NPS-19-M238-AThe goal of this research is to define an analytical tool, Workbench for refining Rules of Engagement against Crowd Hostiles (WRENCH), that will support operational planners and ground commanders in defining contextually ... -
Modeling and Simulation Tool to Enhance and Explore the ROE Design Space for NLW
Hall, Steven B. (Monterey, California: Naval Postgraduate SchoolMonterey, California. Naval Postgraduate School, 2019-12); NPS-19-M238-AThe goal of this research is to define an analytical tool, Workbench for refining Rules of Engagement against Crowd Hostiles (WRENCH), that will support operational planners and ground commanders in defining contextually ...