Searching for "Algebraic Specification at Work." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition -
- … which attempts to provide an up-to-date overview of past and present work on algebraic specification…
- Add To MetaCart
-
A Tool for Writing and Debugging Algebraic Specifications
- … tool for developing algebraic specifications. ∗ This work is supported by NSF grants CCR-0085792, CCR…
- Cited by 11 (1 self) – Add To MetaCart
-
Verification Techniques
- … checking is with the specifications themselves. Algebraic specifications work with a predefined type…
- Add To MetaCart
-
Reverse Engineering through Formal Transformation - Knuths "Polynomial Addition" Algorithm
- … in rejecting algebraic specifications and working directly with models. 1.2 Our Approach In developing a…
- Cited by 24 (6 self) – Add To MetaCart
-
Automated Code Generator Verification Based on Algebraic Laws
- … specification works in a similar way, and so it is a quite obvious idea to use such techniques to support…
- Cited by 2 (0 self) – Add To MetaCart
-
CO-OPN/2 - A Specification Language for Distributed Systems Engineering
- … nets, algebraic specification. This work is partially supported by the FNRS (Fonds National de la…
- Cited by 5 (1 self) – Add To MetaCart
-
Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension
- … in rejecting algebraic specifications and working directly with models. 1.2. Our Approach In developing a model…
- Cited by 6 (4 self) – Add To MetaCart
Showing 1 through 7.
