Extended semantics for box structures
- 1 January 1992
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. ii, 382-393 vol.2
- https://doi.org/10.1109/hicss.1992.183252
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
This publication has 9 references indexed in Scilit:
- Concurrent system design with box structuresPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A white box analysis of concurrent system designsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Function-theoretic principles of program understandingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Engineering software under statistical quality controlIEEE Software, 1990
- Correction to 'Certifying the reliability of software' (Jan. 1986 3-11)IEEE Transactions on Software Engineering, 1989
- Stepwise refinement and verification in box-structured systemsComputer, 1988
- Cleanroom Software EngineeringIEEE Software, 1987
- Box structured information systemsIBM Systems Journal, 1987
- Flow diagrams, turing machines and languages with only two formation rulesCommunications of the ACM, 1966