An Introduction to the Specification Language Spec
Abstract
This paper presents a language for giving black-box specifications in the early stages of software design. This language is suitable for describing parallel programs, distributed systems, and real- time constraints. The underlying computational model combines temporal events with message passing to support descriptions of both active and reactive systems. The features of the language, especially those important for large scale design, are presented by means of examples.
Description
Author-contributed print item
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.NPS Report Number
NPS 52-88-031Related items
Showing items related by title, author, creator and subject.
-
KTO I KUDA? Russia, language, and national identity
Torgersen, Dale G. (Monterey, California. Naval Postgraduate School, 2009-12);Language is often linked with identity. In fact, language is sometimes such a powerful force that it can transcend or replace the resilient forces of ethnic or cultural identity. However, just as language has such an ... -
KTO I KUDA? Russia, language, and national identity
Torgersen, Dale G. (Monterey, California. Naval Postgraduate School, 2009-12);Language is often linked with identity. In fact, language is sometimes such a powerful force that it can transcend or replace the resilient forces of ethnic or cultural identity. However, just as language has such an ... -
Language Translation for File Paths
Rowe, Neil C.; Schwamm, Riqui; Garfinkel, Simson L. (Monterey, California. Naval Postgraduate School, 2013);Forensic examiners are frequently confronted with content in languages that they do not understand, and they could benefit from machine translation into their native language. But automated translation of file paths is a ...