scientific article; zbMATH DE number 1955918
From MaRDI portal
Publication:4417622
Cited in
(20)- BCOOPL: A language for controlling component interactions
- Semantics and logic of object calculi
- Verification of asynchronous systems with an unspecified component
- Partition refinement of component interaction automata
- Standard elements of component-oriented development of web applications
- rCOS: defining meanings of component-based software architectures
- Viewport for component diagrams
- Rigorous development of component-based systems using component metadata and patterns
- Towards a component framework for architecture-based self-adaptive applications
- A Type System for Usage of Software Components
- A model of context-dependent component connectors
- scientific article; zbMATH DE number 1955921 (Why is no real title available?)
- scientific article; zbMATH DE number 2087857 (Why is no real title available?)
- scientific article; zbMATH DE number 2087858 (Why is no real title available?)
- scientific article; zbMATH DE number 2087862 (Why is no real title available?)
- scientific article; zbMATH DE number 2087865 (Why is no real title available?)
- Foundations for ensemble modeling -- the Helena approach. Handling massively distributed systems with elaborate ensemble architectures
- Model-based construction and verification of critical systems using composition and partial refinement
- Linking formal methods in software development. A reflection on the development of rCOS
- Conformance notions for the coordination of interaction components
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417622)
