A Software Component Model and Its Preliminary Formalisation

DOI10.1007/11804192_1zbMATH Open1196.68048OpenAlexW1550153885MaRDI QIDQ3591391FDOQ3591391

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

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

Mathematics Subject Classification ID

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

Cited In (11)

• Theoretical Aspects of Computing - ICTAC 2004
• Research into safety component model framework of safety requirement-oriented
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A form-based meta-model for software composition
• Title not available (Why is that?)
• 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

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)