Parameterisation for abstract structured specifications
From MaRDI portal
Recommendations
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Functorial theory of parameterized specifications in a general specification framework
- scientific article; zbMATH DE number 1638642
- On the algebra of structured specifications
- An axiomatic approach to structuring specifications
Cites work
- scientific article; zbMATH DE number 3714904 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1543350 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 3417640 (Why is no real title available?)
- An Oxford survey of order sorted algebra
- An axiomatic approach to structuring specifications
- An institution-independent proof of the Beth definability theorem
- Axiomatizability in inclusive equational logics
- CASL reference manual. The complete documentation of the common algebraic specification language.
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Categories for Software Engineering
- Composing hidden information modules over inclusive institutions
- Elementary Diagrams in Institutions
- Foundations of algebraic specification and formal software development.
- Institution morphisms
- Institution-independent model theory
- Institutions: abstract model theory for specification and programming
- Logical systems for structured specifications.
- On the algebra of structured specifications
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- Specifications in an arbitrary institution
- Weak inclusion systems
Cited in
(6)- Compositionality and compatibility of parameterization and parameter passing in specification languages
- Foundations for structuring behavioural specifications
- On the existence of translations of structured specifications
- scientific article; zbMATH DE number 1638642 (Why is no real title available?)
- Functorial semantics of first-order views
- Functorial theory of parameterized specifications in a general specification framework
This page was built for publication: Parameterisation for abstract structured specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q387996)
