scientific article; zbMATH DE number 1955918
From MaRDI portal
Publication:4417622
zbMath1033.68729MaRDI QIDQ4417622
Wolfgang Weck, Jan Bosch, Clemens A. Szyperski
Publication date: 29 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2548/25480070.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)
Related Items (12)
Towards a component framework for architecture-based self-adaptive applications ⋮ Rigorous development of component-based systems using component metadata and patterns ⋮ rCOS: Defining Meanings of Component-Based Software Architectures ⋮ Viewport for Component Diagrams ⋮ Model-based construction and verification of critical systems using composition and partial refinement ⋮ A model of context-dependent component connectors ⋮ Partition refinement of component interaction automata ⋮ Semantics and logic of object calculi ⋮ Verification of asynchronous systems with an unspecified component ⋮ Foundations for Ensemble Modeling – The Helena Approach ⋮ Conformance notions for the coordination of interaction components ⋮ A Type System for Usage of Software Components
This page was built for publication:
