2274 search results - page 183 / 455 » Qualitative Modeling for Requirements Engineering |
152
click to vote
ICFEM
2007
Springer
16 years 18 days ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
144
click to vote
WSC
2007
15 years 8 months ago
2007
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
151
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
171
click to vote
SE
2008
15 years 7 months ago
2008
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...
161
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...