Foundations for structuring behavioural specifications

DOI10.1016/J.JLAMP.2014.03.001zbMATH Open1434.68305OpenAlexW2085165281MaRDI QIDQ406465FDOQ406465

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

Recommendations

• Abstract and behaviour module specifications
• Behavioural specification for hierarchical object composition
• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 1231544
• scientific article; zbMATH DE number 785047

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Title not available (Why is that?)
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Semantic Account for Modularity in Multi-language Modelling of Search Problems
• Foundations of algebraic specification and formal software development.
• A hidden agenda
• Behavioural and abstractor specifications
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Circular Coinduction: A Proof Theoretical Foundation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Observational interpretation of Casl specifications
• Coinduction for preordered algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Parameterisation for abstract structured specifications
• An axiomatic approach to structuring specifications
• Elementary Diagrams in Institutions
• Axiomatizability in inclusive equational logics
• Composing Hidden Information Modules over Inclusive Institutions
• On the algebra of structured specifications
• An institution-independent proof of the Beth definability theorem
• Module algebra
• Specifications in an arbitrary institution
• Title not available (Why is that?)
• Weak inclusion systems
• On the existence of free models in abstract algebraic institutions
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• 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.
• Constructor-based observational logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (11)

• Behavioural specification for hierarchical object composition
• Title not available (Why is that?)
• Formal Methods for Components and Objects
• CafeOBJ Traces
• Partialising institutions
• On the existence of translations of structured specifications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal Methods for Components and Objects
• Title not available (Why is that?)

Uses Software

• CASL
• CIRC
• CafeOBJ

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)