Title :
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
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;
Conference_Titel :
System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on
Conference_Location :
Kauai, HI
Print_ISBN :
0-8186-2420-5
DOI :
10.1109/HICSS.1992.183252
