A Software Component Model and Its Preliminary Formalisation

DOI10.1007/11804192_1MaRDI QIDQ3591391zbMATH OpenOpenAlexFDO

Authors Kung-Kiu Lau, Mario Ornaghi, Zheng Wang

Publication date 11 September 2007

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Formal model for software systems composition
• scientific article; zbMATH DE number 1949586
• scientific article; zbMATH DE number 2113972
• Mathematical Frameworks for Component Software
• Formal semantics of an architecture-centric component model

Cited in

(11)

• Theoretical Aspects of Computing - ICTAC 2004
• Research into safety component model framework of safety requirement-oriented
• scientific article; zbMATH DE number 5623975 (Why is no real title available?)
• scientific article; zbMATH DE number 1949586 (Why is no real title available?)
• scientific article; zbMATH DE number 2000452 (Why is no real title available?)
• A form-based meta-model for software composition
• scientific article; zbMATH DE number 2087510 (Why is no real title available?)
• Toward formal model for COM
• Formal model for software systems composition
• Consistency assurance in flattening hierarchical architectural models
• Formal semantics of an architecture-centric component model

Describes a project that uses

Uses Software

• SPARK

This page was built for publication: A Software Component Model and Its Preliminary Formalisation

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