Extended semantics for box structures

Author

Deck, Michael D. ; Pleszkoch, Mark G. ; Linger, Richard C. ; Mills, Harlan D.

Author_Institution

IBM Corp., Gaithersburg, MD, USA

Volume

ii

fYear

1992

fDate

7-10 Jan 1992

Firstpage

382

Abstract

Box structures have been effective for specification, analysis, and design of information systems, and have been adopted as the primary functional specification method for cleanroom software engineering. The black box concept enables information systems developers to express objects, parts, components, and entire systems wholly in terms of their externals as mappings from stimuli and stimulus histories into responses. The paper introduces an extended semantics of black boxes to address specification and design of interacting systems. A taxonomy of black boxes is introduced based on characteristics of those specifications. Several applications of this semantics to cleanroom specification are also shown

Keywords

computational linguistics; formal specification; software reliability; systems analysis; black box concept; box structures; cleanroom software engineering; functional specification; information systems; interacting systems; specification; Application software; Certification; Design engineering; History; Information analysis; Information systems; Software systems; System testing; Taxonomy; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on

Conference_Location

Kauai, HI

Print_ISBN

0-8186-2420-5

Type

conf

DOI

10.1109/HICSS.1992.183252

Filename

183252