Mathematical Frameworks for Component Software

DOI10.1142/6231MaRDI QIDQ3427361zbMATH OpenOpenAlexFDO

Authors

Publication date 19 March 2007

Published in Series on Component-Based Software Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/6231

zbMATH Keywords

architecture designcomponent based systemspolymorphic dynamic reconfigurationrequirements specification

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2163031
• Composition for component-based modeling
• Theoretical Aspects of Computing – ICTAC 2005
• Foundations of component-based systems.
• Coordination Models and Languages

Cited in

(21)

• Modeling layered distributed communication systems
• Aspect-oriented development of trustworthy component-based systems
• Syntactic analysis of component composition
• Research into safety component model framework of safety requirement-oriented
• Foundations of component-based systems.
• Component publications and compositions
• A Software Component Model and Its Preliminary Formalisation
• Modeling and reasoning of the software component based system recovery based on survivability specification
• scientific article; zbMATH DE number 1941764 (Why is no real title available?)
• scientific article; zbMATH DE number 1949586 (Why is no real title available?)
• scientific article; zbMATH DE number 2000456 (Why is no real title available?)
• scientific article; zbMATH DE number 2050833 (Why is no real title available?)
• scientific article; zbMATH DE number 2163031 (Why is no real title available?)
• Tracing integration analysis in component-based formal specifications
• Formal Methods for Components and Objects
• Theoretical Aspects of Computing – ICTAC 2005
• An Algebraic Semantics for Contract-Based Software Components
• Principles of Distributed Systems
• Coordination Models and Languages
• Component-based software architectures: A framework based on inheritance of behavior
• Conformance notions for the coordination of interaction components

This page was built for publication: Mathematical Frameworks for Component Software

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