Reliable specification and execution tool

A reliable specification and execution tool (RSET) that supports a rigorous object-oriented constraint-based specification method called box structures for object-oriented development (Box Structures/OOD) is described. RSET also supports the simulation of systems from their specifications. The object-oriented paradigm employs concepts such as object classification, relationships between objects, and constraints on objects, that are natural to human discourse. In all cases, there is exactly a one-to-one correspondence between objects in the specification and the specifier's view of the objects in the system being specified. There is a straightforward mapping from the specification to an Ada implementation. The specifications are formal and support automatic consistency and completeness checking. The specifications are executable, allowing systems to be simulated at the specification level. Box Structures/OOD is uniformly applicable to the specification, design, and implementation of large complex software systems (e.g. real-time, distributed, parallel).<>