4476 search results - page 27 / 896 » Modeling software architectures in the Unified Modeling Lang... |
118
click to vote
MODELS
2007
Springer
15 years 7 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
ECBS
2006
IEEE
15 years 5 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
108
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...
ISIM
2007
15 years 3 months ago
2007
106
click to vote
FCCM
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...