Behavioural specification for hierarchical object composition

DOI10.1016/J.TCS.2005.06.015MaRDI QIDQ2571203zbMATH OpenOpenAlexFDO

Authors Răzvan Diaconescu

Publication date 1 November 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2005.06.015

zbMATH Keywords

hidden algebraalgebraic specificationobject compositionbehavioural specification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 1543338
• Foundations for structuring behavioural specifications
• Semantic constructions for the specification of objects
• Integrated Formal Methods

Cites work

• 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 1487499 (Why is no real title available?)
• scientific article; zbMATH DE number 1543338 (Why is no real title available?)
• scientific article; zbMATH DE number 1418819 (Why is no real title available?)
• CASL: the Common Algebraic Specification Language.
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Conditional rewriting logic as a unified model of concurrency
• Logical foundations of CafeOBJ

Cited in

(11)

• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 4007699 (Why is no real title available?)
• SpeX: a rewriting-based formal specification environment
• Foundations for structuring behavioural specifications
• CafeOBJ Traces
• scientific article; zbMATH DE number 2089400 (Why is no real title available?)
• scientific article; zbMATH DE number 1543338 (Why is no real title available?)
• Sheaves, objects, and distributed systems
• Higher order architecture of collections of objects
• scientific article; zbMATH DE number 1696905 (Why is no real title available?)
• Towards behavioral Maude: behavioral membership equational logic

Describes a project that uses

Uses Software

• CafeOBJ
• OBJ3
• CASL

This page was built for publication: Behavioural specification for hierarchical object composition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2571203)