Cited in
(42)- 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
- Distributed and parallel systems engineering in MANIFOLD
- A process algebraic approach to software architecture design
- scientific article; zbMATH DE number 2089419 (Why is no real title available?)
- A Review on Specifying Software Architectures Using Extended Automata-Based Models
- scientific article; zbMATH DE number 1614637 (Why is no real title available?)
- Vicinity respecting homomorphisms for abstracting system requirements
- Principles of Distributed Systems
- AspectIX
- ArchJava
- JAsCo
- TrustME
- PROCOL
- AEGIS
- MANIFOLD
- PICCOLA
- Xtext
- scientific article; zbMATH DE number 1630103 (Why is no real title available?)
- Dynamic Architectures
- FACTum
- Architectural_Design_Patterns
- 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
- An implementation framework for software architectures based on the coordination paradigm
- A Framework for Developing and Analyzing Software Architecture Specifications in SAM
- scientific article; zbMATH DE number 1757972 (Why is no real title available?)
- Compatibility and inheritance in software architectures
- Modeling and performance analysis for security aspects
- scientific article; zbMATH DE number 1947731 (Why is no real title available?)
- scientific article; zbMATH DE number 2013604 (Why is no real title available?)
- Uncovering architectural mismatch in component behavior
- scientific article; zbMATH DE number 1726653 (Why is no real title available?)
- scientific article; zbMATH DE number 2087150 (Why is no real title available?)
- scientific article; zbMATH DE number 2087398 (Why is no real title available?)
This page was built for software: Rapide
