650 search results - page 19 / 130 » Modeling SPARK systems with UML |
129
Voted
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...
159
Voted
ER
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
127
click to vote
WORDS
2002
IEEE
15 years 9 months ago
2002
IEEE
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
131
click to vote
EWSA
2004
Springer
15 years 9 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
136
Voted
MDAFA
2004
Springer
15 years 9 months ago
2004
Springer
Knowledge engineers have favoured a diagrammatic approach for developing knowledge-based systems by adopting those used in software engineering. However, these modelling techniques...