2407 search results - page 290 / 482 » A Tool for Abstraction in Model Checking |
163
click to vote
RE
2004
Springer
16 years 13 days ago
2004
Springer
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...
220
click to vote
SBCCI
2003
ACM
16 years 10 days ago
2003
ACM
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
204
click to vote
TAGT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...
175
Voted
HCI
2007
15 years 8 months ago
2007
Abstract. As users become more and more demanding about the software environments they use, they need environments offering them the possibility to integrate new tools in response ...
243
click to vote
SDL
2007
15 years 8 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...