Waldinger, Richard et al., Specware^TM Language Manual 2.0.1, Suresoft, Inc, 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Industrial Applications of Software Synthesis via Category.. - Keith Williamson Michael (2001) (Correct)
....preliminaries and a brief discussion of Specware TM. 2. Formal Preliminaries The field of category theory [4,10,12] provides a foundational theory. This theory was applied to systems theory and systems engineering [3,6] This theory was embodied in the software development tool Specware TM [14,16,17]. 2.1. Category of Signatures A signature consists of the following: 1. A set S of sort symbols 2. A triple O = C, F, P of operators, where: C is a set of sorted constant symbols, F is a set of sorted function symbols, and . P is a set of sorted predicate symbols. A signature ....
.... basis [7,11] for preserving semantics in all refinement operations not only within Slang (Specware s specification language) but also across different logics (e.g. from the logic of Slang into the logics underlying target programming languages) It allows for parallel refinement of diagrams [17], which helps with the scalability of the technology. Multiple categories underlie Specware TM. 4. Stiffened Panel Layout We began our evaluation of this technology with an example of a software component that was being considered for inclusion in a component library for structural engineering ....
Waldinger, Richard et al., Specware^TM Language Manual 2.0.1, Suresoft, Inc, 1996.
Systems Synthesis: Towards a new paradigm and discipline for.. - Williamson (2001) (Correct)
No context found.
Waldinger, Richard et al., Specware^TM Language Manual 2.0.1, Suresoft, Inc, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC