Pages that link to "Item:Q1202052"
From MaRDI portal
The following pages link to Algebraic system specification and development. A survey and annotated bibliography (Q1202052):
Displayed 11 items.
- Algebraic transformation of unary partial algebras II: Single-pushout approach (Q1285664) (← links)
- OBSCURE, a specification language for abstract data types (Q1323328) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Structured theories and institutions (Q1884906) (← links)
- The data type variety of stack algebras (Q1891249) (← links)
- Algebraic specification and development in geometric modeling (Q5044726) (← links)
- A decade of TAPSOFT (Q5096723) (← links)
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives (Q5096765) (← links)
- Toward formal development of programs from algebraic specifications: Model-theoretic foundations (Q5204355) (← links)