Foundations for structuring behavioural specifications
From MaRDI portal
Publication:406465
Recommendations
Cites work
- scientific article; zbMATH DE number 4130339 (Why is no real title available?)
- scientific article; zbMATH DE number 3898210 (Why is no real title available?)
- scientific article; zbMATH DE number 3963900 (Why is no real title available?)
- scientific article; zbMATH DE number 4033040 (Why is no real title available?)
- scientific article; zbMATH DE number 3714904 (Why is no real title available?)
- scientific article; zbMATH DE number 3754008 (Why is no real title available?)
- scientific article; zbMATH DE number 17707 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1064116 (Why is no real title available?)
- scientific article; zbMATH DE number 1507195 (Why is no real title available?)
- scientific article; zbMATH DE number 1543338 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 1418819 (Why is no real title available?)
- scientific article; zbMATH DE number 6296808 (Why is no real title available?)
- A hidden agenda
- A semantic account for modularity in multi-language modelling of search problems
- An axiomatic approach to structuring specifications
- An institution-independent proof of the Beth definability theorem
- Axiomatizability in inclusive equational logics
- Behavioural and abstractor specifications
- CASL: the Common Algebraic Specification Language.
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Circular coinduction: a proof theoretical foundation
- Coinduction for preordered algebra
- Composing hidden information modules over inclusive institutions
- Constructor-based observational logic
- Elementary Diagrams in Institutions
- Foundations of algebraic specification and formal software development.
- Institution-independent model theory
- Institutions: abstract model theory for specification and programming
- Logical foundations of CafeOBJ
- Module algebra
- Observational interpretation of Casl specifications
- On the algebra of structured specifications
- On the existence of free models in abstract algebraic institutions
- Parameterisation for abstract structured specifications
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Specifications in an arbitrary institution
- Weak inclusion systems
Cited in
(12)- scientific article; zbMATH DE number 3956411 (Why is no real title available?)
- scientific article; zbMATH DE number 1314230 (Why is no real title available?)
- Partialising institutions
- Generic constructions for behavioral specifications
- Formal Methods for Components and Objects
- scientific article; zbMATH DE number 1304374 (Why is no real title available?)
- Behavioural specification for hierarchical object composition
- CafeOBJ Traces
- scientific article; zbMATH DE number 3990910 (Why is no real title available?)
- scientific article; zbMATH DE number 1790353 (Why is no real title available?)
- Formal Methods for Components and Objects
- On the existence of translations of structured specifications
This page was built for publication: Foundations for structuring behavioural specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q406465)
