285 search results - page 14 / 57 » A Systems Engineering Approach to Exception Handling |
CLIMA
2007
13 years 9 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
AMAST
2008
Springer
13 years 9 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
When the general press refers to `software' in its headlines, then this is often not to relate a success story, but to expand on yet another `software-risk-turned-problem-sto...
SEM
2004
Springer
14 years 1 months ago
2004
Springer
The use of handheld networked devices to access information systems by people moving around is spreading rapidly. Systems being used in this way typically face dynamic variation in...
AMAST
2000
Springer
14 years 3 hour ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...