The following pages link to (Q4255593):
Displaying 19 items.
- On the algebra of structured specifications (Q549182) (← links)
- Foundations of algebraic specification and formal software development. (Q610397) (← links)
- Generalized interpolation in CASL (Q851912) (← links)
- Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings (Q1187686) (← links)
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. (Q1422256) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- CASL reference manual. The complete documentation of the common algebraic specification language. (Q1881752) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- A formally grounded software specification method (Q2369031) (← links)
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification (Q2715825) (← links)
- Some co-Birkhoff type theorems (Q2842554) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- Combining Graph Transformation and Algebraic Specification into Model Transformation (Q2890331) (← links)
- From Grammars and Automata to Algebras and Coalgebras (Q3014929) (← links)
- Overview of algebraic specification languages, environments and tools, and algebraic specifications of software systems (Q3971276) (← links)
- (Q4499311) (← links)
- Formal software development in the Verification Support Environment (VSE) (Q4783352) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)
