Rapide

swMATH1249MaRDI QIDQ13989

No author found.

Related Items (30)

Modeling and testing object-oriented distributed systems with linear-time temporal logic ⋮ Configuration and dynamic reconfiguration of components using the coordination paradigm ⋮ Change impact analysis to support architectural evolution ⋮ Specifying Properties of Dynamic Architectures Using Configuration Traces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Review on Specifying Software Architectures Using Extended Automata-Based Models ⋮ Unnamed Item ⋮ A Framework for Developing and Analyzing Software Architecture Specifications in SAM ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Performance modeling and analysis of software architectures: an aspect-oriented UML based approach ⋮ Modeling architecture description languages using AML ⋮ Reconciling the needs of architectural description with object-modeling notations ⋮ Modeling and performance analysis for security aspects ⋮ An implementation framework for software architectures based on the coordination paradigm ⋮ Compatibility and inheritance in software architectures ⋮ A framework for specifying and verifying the behaviour of open systems ⋮ Vicinity Respecting Homomorphisms for Abstracting System Requirements ⋮ Uncovering architectural mismatch in component behavior ⋮ Principles of Distributed Systems ⋮ Distributed and parallel systems engineering in MANIFOLD ⋮ Interactive verification of architectural design patterns in FACTum ⋮ On relating functional specifications to architectural specifications: A case study

This page was built for software: Rapide