15644 search results - page 305 / 3129 » Brittle System Analysis |
167
click to vote
ENTCS
2007
15 years 6 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
132
click to vote
RE
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes the use of Obstacle Analysis to identify anomaly-handling requirements for a safetycritical, autonomous system. The software requirements for the system evolv...
184
click to vote
SEKE
2005
Springer
16 years 6 days ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
224
click to vote
ECMDAFA
2009
Springer
16 years 1 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
188
click to vote
JLP
2008
15 years 6 months ago
2008
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...