swMATH1249MaRDI QIDQ13989FDOQ13989
Author name not available (Why is that?)
Official website: http://complexevents.com/stanford/rapide/
Cited In (37)
- Modeling and testing object-oriented distributed systems with linear-time temporal logic
- Specifying properties of dynamic architectures using configuration traces
- 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
- A process algebraic approach to software architecture design
- Distributed and parallel systems engineering in MANIFOLD
- Title not available (Why is that?)
- A Review on Specifying Software Architectures Using Extended Automata-Based Models
- Title not available (Why is that?)
- Vicinity respecting homomorphisms for abstracting system requirements
- 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
- AspectIX
- AEGIS
- PICCOLA
- Compatibility and inheritance in software architectures
- A Framework for Developing and Analyzing Software Architecture Specifications in SAM
- Title not available (Why is that?)
- Xtext
- An implementation framework for software architectures based on the coordination paradigm
- Modeling and performance analysis for security aspects
- Dynamic Architectures
- FACTum
- Architectural_Design_Patterns
- Title not available (Why is that?)
- Title not available (Why is that?)
- Uncovering architectural mismatch in component behavior
- 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
