Searching for "Modeling of component based systems." – sorted by Relevance.
41 documents found, showing 1 through 10.
Next 10 →
-
An Approach to Modelling and Verification of Component Based Systems
- …An Approach to Modelling and Verification of Component Based Systems G. Gössler (1) , S. Graf (2…
- Cited by 3 (3 self) – Add To MetaCart
-
Model Checking Real-time Component Based Systems with Blackbox Testing
- …Model Checking Real-time Component Based Systems with Blackbox Testing Dang Van Hung and Bui Vu…
- Add To MetaCart
-
Modeling with uml component-based and aspect oriented programming systems
- …Modeling with UML Component-based and Aspect Oriented Programming Systems � Pedro J. Clemente…
- Cited by 3 (1 self) – Add To MetaCart
-
Modeling Component Environments and Interactive Programs Using Iterative Choice
- … component. Keywords: Modeling, component-based systems, interactive programs, contracts, angelic iteration…
- Cited by 2 (0 self) – Add To MetaCart
-
Improving Component-Based Software Architecture by Separating Computations from Interactions
- … to model component-based system, in which connectors are defined explicitly and raised to the level…
- Add To MetaCart
-
Software Evolution in Componentware using Requirements/Assurances Contracts
- … of our methodology is a novel, well-founded model for component-based systems. This model is suf- ciently…
- Cited by 10 (0 self) – Add To MetaCart
-
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
- …) that limits this approach to modelling solely the component-based systems with equivalent notion of what…
- Add To MetaCart
-
Reconciling behavioral mismatch through component restriction
- … which it is necessary. Section 4 presents a formal model of component-based systems that makes our…
- Cited by 5 (1 self) – Add To MetaCart
-
Component Based Performance Prediction
- … 1 Component Based System development Library of Component Submodels Building the model from a…
- Add To MetaCart
-
The Context-Based Constraint Language CCL for Components
- … Contents 3 3 Enriching Component Models with Context Properties 29 3.1 Modelling Component-Based Systems…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
