650 search results - page 4 / 130 » Modeling SPARK systems with UML |
ACSD
2007
IEEE
15 years 3 months ago
2007
IEEE
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
105
click to vote
UML
2001
Springer
15 years 1 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
EUROMICRO
2006
IEEE
15 years 1 months ago
2006
IEEE
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...
SIGSOFT
2001
ACM
15 years 10 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
127
Voted
OMER
2001
14 years 11 months ago
2001
: Modelling software using the Unified Modelling Language (UML) also for embedded real-time systems (ERS) becomes more and more popular since the complexity of these systems increa...