Rapide
From MaRDI portal
Cited in
(42)- Distributed and parallel systems engineering in MANIFOLD
- AspectIX
- TrustME
- ArchJava
- JAsCo
- PROCOL
- AEGIS
- MANIFOLD
- A framework for specifying and verifying the behaviour of open systems
- Uncovering architectural mismatch in component behavior
- PICCOLA
- Interactive verification of architectural design patterns in FACTum
- Performance modeling and analysis of software architectures: an aspect-oriented UML based approach
- Modeling and performance analysis for security aspects
- An implementation framework for software architectures based on the coordination paradigm
- On relating functional specifications to architectural specifications: A case study
- scientific article; zbMATH DE number 1614637 (Why is no real title available?)
- scientific article; zbMATH DE number 1630103 (Why is no real title available?)
- Software connectors and their role in component deployment
- scientific article; zbMATH DE number 1726653 (Why is no real title available?)
- Xtext
- scientific article; zbMATH DE number 2089419 (Why is no real title available?)
- Vicinity respecting homomorphisms for abstracting system requirements
- Specifying properties of dynamic architectures using configuration traces
- A process algebraic approach to software architecture design
- A Review on Specifying Software Architectures Using Extended Automata-Based Models
- FACTum
- Dynamic Architectures
- A Framework for Developing and Analyzing Software Architecture Specifications in SAM
- scientific article; zbMATH DE number 1947731 (Why is no real title available?)
- scientific article; zbMATH DE number 2013604 (Why is no real title available?)
- scientific article; zbMATH DE number 1757972 (Why is no real title available?)
- Configuration and dynamic reconfiguration of components using the coordination paradigm
- scientific article; zbMATH DE number 2087150 (Why is no real title available?)
- scientific article; zbMATH DE number 2087398 (Why is no real title available?)
- Modeling and testing object-oriented distributed systems with linear-time temporal logic
- Change impact analysis to support architectural evolution
- Architectural_Design_Patterns
- Principles of Distributed Systems
- Modeling architecture description languages using AML
- Compatibility and inheritance in software architectures
- Reconciling the needs of architectural description with object-modeling notations
This page was built for software: Rapide
