Searching for "Software Architecture Correctness." – sorted by Relevance.
-
FAMIX 2.0: The FAMOOS Information Exchange Model
- to correct the problems 5) Reorganisation: transforming the existing software architecture for a new release
- Cited by 11 (4 self) – Add To MetaCart
-
Definition of a Common Exchange Model
- : selecting new software architectures to correct the problems 5) Reorganisation: transforming the existing
- Add To MetaCart
-
Incremental Software Construction with Refinement Diagrams
- the architecture of a software system, and allows us to reason about the construction and correctness of software
- Cited by 4 (2 self) – Add To MetaCart
-
Distributed objects in a large scale text processing system
- computational objects, and on using a CORBA ORB layer for a distributed software architecture. The correctness
- Cited by 2 (2 self) – Add To MetaCart
-
G.: Automated and unanticipated flexible component substitution
- Context and Related Work 2.1 Software Architecture Correctness and Completeness in CBSE Component
- Cited by 1 (1 self) – Add To MetaCart
-
Definition of a common exchange model
- : selecting new software architectures to correct the problems 5) Reorganisation: transforming the existing
- Cited by 4 (0 self) – Add To MetaCart
-
A Trace Transformation Technique for Communication Refinement
- , and mobile devices, a key design step is the definition of a hardware/software architecture that correctly
- Cited by 11 (2 self) – Add To MetaCart
-
Applying Software Factories to Pervasive Systems: A Platform Specific Framework
- exist. In order to provide a software architecture that correctly fits the requirements of this kind
- Cited by 2 (2 self) – Add To MetaCart
-
Verifying Compilers and ASMs or ASMs for uniform description of multistep transformations
- . Also, the software architecture for correct compilers in past e#orts was specially adapted
- Cited by 3 (0 self) – Add To MetaCart
-
Improving architectures by Simulation and Animation
- – and verification – an assessment of the internal correctness of the process (e.g., how a software architecture
- Add To MetaCart

