40 search results - page 8 / 8 » A Goal-Oriented Approach for Safety Requirements Specificati... |
HASE
2007
IEEE
13 years 11 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
SCN
2011
Springer
13 years 5 days ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
HICSS
2003
IEEE
13 years 10 months ago
2003
IEEE
Traditionally, specific telecommunications services were essentially confined to certain types of networks; e.g., television over broadcast networks or cable and voice service ove...
ISSRE
2000
IEEE
13 years 9 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...
SIGSOFT
2006
ACM
14 years 6 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...