Rapide

swMATH1249MaRDI QIDQ13989FDOQ13989

Author name not available (Why is that?)

Cited In (30)

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

This page was built for software: Rapide