The Architecture of Specware, Tm a Formal Software Development System the Architecture of Specware, Tm a Formal Software Development System

Specware is a tool that supports the modular construction of formal speciications and the stepwise and componentwise reenement of such speciications into executable code. Specware may be viewed as a visual interface to an abstract data type providing a suite of composition and transformation operators for building speciications, reenements, code modules, etc. This view has been realized in the system by directly implementing the formal foundations of Specware: category theory, sheaf theory, algebraic speciication and general logics. The language of category theory results in a highly parameterized, robust, and extensible architecture that can scale to system-level software construction.