Behavioural and abstractor specifications

DOI10.1016/0167-6423(95)00014-3MaRDI QIDQ1916354zbMATH OpenOpenAlexFDO

Authors Michel Bidoit, Rolf Hennicker, Martin Wirsing

Publication date 2 January 1997

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(95)00014-3

zbMATH Keywords

observational semantics of algebraic specifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Behavioural and abstractor specifications revisited
• scientific article; zbMATH DE number 785047
• scientific article; zbMATH DE number 3898213
• scientific article; zbMATH DE number 4039256

Cited in

(33)

• Abstract interface behavior of object-oriented languages with monitors
• Behavioural approaches to algebraic specifications. A comparative study
• Essential concepts of algebraic specification and program development
• Proof systems for structured specifications with observability operators
• The definition of Extended ML: A gentle introduction
• Swinging types=functions+relations+transition systems
• A hidden agenda
• On institutions for modular coalgebraic specifications.
• Observational logic, constructor-based logic, and their duality.
• Observational interpretations of hybrid dynamic logic with binders and silent transitions
• Constructor-based observational logic
• Closure properties for the class of behavioral models
• Towards behavioral Maude: behavioral membership equational logic
• Behavioral equivalence of hidden k-logics: an abstract algebraic approach
• Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
• scientific article; zbMATH DE number 3898213 (Why is no real title available?)
• scientific article; zbMATH DE number 4039256 (Why is no real title available?)
• Foundations for structuring behavioural specifications
• A short overview of hidden logic
• scientific article; zbMATH DE number 1368951 (Why is no real title available?)
• scientific article; zbMATH DE number 785047 (Why is no real title available?)
• From algebras and coalgebras to dialgebras
• Proving the correctness of behavioural implementations
• On behavioural abstraction and behavioural satisfaction in higher-order logic
• A homage to Martin Wirsing
• The foundational legacy of ASL
• Behavioural reasoning for conditional equations
• Observational interpretation of Casl specifications
• Formal Methods for Components and Objects
• On behavioural abstraction and behavioural satisfaction in higher-order logic
• Behavioural and abstractor specifications revisited
• Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions
• Formal design and verification of operational transformation algorithms for copies convergence

This page was built for publication: Behavioural and abstractor specifications

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