327 search results - page 25 / 66 » Early Safety Analysis: from Use Cases to Component-based Sof... |
110
Voted
DGO
2011
13 years 9 months ago
2011
In this paper, we describe a tool to help holistically understand, research and analyze the relationship between an ecosystem model and the relevant laws. Specifically, a software...
105
click to vote
ECBS
1999
IEEE
15 years 1 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
80
Voted
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Aspects are behaviours that are tangled and scattered across a system. In requirements documentation, aspects manifest themselves as descriptions of behaviours that are intertwine...
FATES
2004
Springer
15 years 3 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...