2274 search results - page 294 / 455 » Qualitative Modeling for Requirements Engineering |
205
click to vote
FDL
2006
IEEE
16 years 16 days ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
158
click to vote
ICESS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
152
click to vote
CAISE
1993
Springer
15 years 10 months ago
1993
Springer
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitori...
166
click to vote
WSC
2007
15 years 8 months ago
2007
In this paper, we suggest a framework that allows for the simulation-based performance assessment of complex manufacturing systems with Automated Material Handling Systems (AMHS)....
162
click to vote
FORTE
1996
15 years 7 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...