Foundations of component-based systems.

MaRDI QIDQ3579033zbMATH OpenFDO

Authors

Publication date 5 August 2010

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Building reliable component-based software systems
• Publication:4492926
• Component-Based Software Development
• Mathematical Frameworks for Component Software
• scientific article; zbMATH DE number 1033387

Cited in

(16)

• Methods and tools of component programming
• A framework for specifying and verifying the behaviour of open systems
• Building reliable component-based software systems
• scientific article; zbMATH DE number 2089387 (Why is no real title available?)
• scientific article; zbMATH DE number 2089416 (Why is no real title available?)
• Rigorous development of component-based systems using component metadata and patterns
• Mathematical Frameworks for Component Software
• scientific article; zbMATH DE number 1033387 (Why is no real title available?)
• Threaded behavior protocols
• Architecture-based resilience evaluation for self-adaptive systems
• Architectural_Design_Patterns
• Theoretical Aspects of Computing – ICTAC 2005
• Component-Based Software Development
• An Algebraic Semantics for Contract-Based Software Components
• Method redefinition-ensuring alternative behaviors
• Objects, components, models and patterns. 46th international conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30--July 4, 2008. Proceedings.

This page was built for publication: Foundations of component-based systems.

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