Sciweavers

650 search results - page 74 / 130
» Modeling SPARK systems with UML
Sort
View
ICSE
2008
IEEE-ACM
16 years 19 days ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
HASE
2005
IEEE
15 years 5 months ago
Design and Analysis of Fault Tolerant Architectures by Model Weaving
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
Péter Domokos, István Majzik
EDOC
2003
IEEE
15 years 5 months ago
Addressing Computational Viewpoint Design
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems....
David H. Akehurst, John Derrick, A. Gill Waters
CAISE
2005
Springer
15 years 5 months ago
An MDD annotation methodology for Semantic Enhanced Service Oriented Architectures
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
Lorenzo Pondrelli
FASE
2007
Springer
15 years 6 months ago
Activity-Driven Synthesis of State Machines
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
Rolf Hennicker, Alexander Knapp