7475 search results - page 1136 / 1495 » Supporting use case based requirements engineering |
175
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
215
click to vote
WCRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
186
click to vote
CDVE
2007
Springer
16 years 29 days ago
2007
Springer
The team of engineers designing and implementing distributed control system software must communicate within a multidisciplinary environment. One of the main problems is the intera...
141
click to vote
EMSOFT
2005
Springer
16 years 9 days ago
2005
Springer
Run-time communication management in a Network-on-Chip (NoC) is a challenging task. On one hand, the NoC needs to satisfy the communication requirements (e.g. throughput) of runni...
201
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...