Toward formal model for COM

MaRDI QIDQ5309412zbMATH OpenFDO

Authors Iuga Marin

Publication date 9 October 2007

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1033387
• scientific article; zbMATH DE number 1949586
• A calculus for modeling software components.
• A Software Component Model and Its Preliminary Formalisation
• Formal model for software systems composition

Cited in

(2)

• Towards two-level formal modeling of computer-based systems
• scientific article; zbMATH DE number 1951523 (Why is no real title available?)

This page was built for publication: Toward formal model for COM

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