650 search results - page 59 / 130 » Modeling SPARK systems with UML |
UML
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...
108
click to vote
ICECCS
1999
IEEE
15 years 4 months ago
1999
IEEE
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
100
click to vote
MSO
2003
15 years 1 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
UML
2001
Springer
15 years 4 months ago
2001
Springer
: Organizations with large integrated computer-based systems are often faced with the challenge of evolving their mission-critical systems in a manner that maximizes reuse opportun...
100
click to vote
DAGSTUHL
2007
15 years 1 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...