650 search results - page 30 / 130 » Modeling SPARK systems with UML |
132
click to vote
IWSSD
2000
IEEE
15 years 8 months ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...
124
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
93
Voted
ICEIS
2007
IEEE
15 years 10 months ago
2007
IEEE
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
124
click to vote
COMAD
2008
15 years 5 months ago
2008
In designing and developing large complex products, people use models to describe and organize interrelated elements in both product systems (architecture, use cases, constraints....