Foundations for structuring behavioural specifications

DOI10.1016/J.JLAMP.2014.03.001zbMath1434.68305OpenAlexW2085165281MaRDI QIDQ406465

Ionuţ Ţuţu, Răzvan Diaconescu

Publication date: 8 September 2014

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2014.03.001

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Partialising institutions ⋮ On the existence of translations of structured specifications ⋮ CafeOBJ Traces

Uses Software

• CASL
• CIRC
• CafeOBJ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parameterisation for abstract structured specifications
• An axiomatic approach to structuring specifications
• On the algebra of structured specifications
• Foundations of algebraic specification and formal software development.
• Coinduction for preordered algebra
• An institution-independent proof of the Beth definability theorem
• On the existence of free models in abstract algebraic institutions
• Specifications in an arbitrary institution
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• A hidden agenda
• Logical foundations of CafeOBJ
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• CASL: the Common Algebraic Specification Language.
• Behavioural and abstractor specifications
• Constructor-based observational logic
• Institution-independent model theory
• Circular Coinduction: A Proof Theoretical Foundation
• A Semantic Account for Modularity in Multi-language Modelling of Search Problems
• Module algebra
• Institutions: abstract model theory for specification and programming
• Weak inclusion systems
• Elementary Diagrams in Institutions
• Axiomatizability in inclusive equational logics
• Composing Hidden Information Modules over Inclusive Institutions
• Observational interpretation of Casl specifications

This page was built for publication: Foundations for structuring behavioural specifications