Formal Methods for Components and Objects

DOI10.1007/B100112zbMATH Open1104.68411OpenAlexW2604845086MaRDI QIDQ5311302

Răzvan Diaconescu

Publication date: 22 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100112

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Higher order architecture of collections of objects

Recommendations

• Foundations for structuring behavioural specifications 👍 👎
• Behavioural specification for hierarchical object composition 👍 👎
• A Compositional Specification Theory for Component Behaviours 👍 👎
• A Representation-Independent Behavioral Semantics for Object-Oriented Components 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Formal Methods for Components and Objects

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