1782 search results - page 252 / 357 » Tool Support for Proof Engineering |
TASE
2007
IEEE
14 years 3 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
AADEBUG
2005
Springer
14 years 2 months ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
WOSS
2004
ACM
14 years 2 months ago
2004
ACM
Self-adaptive software continually evaluates and modifies its own behavior to meet changing demands. One of the key issues in constructing such software is that of planning when a...
WER
2004
Springer
14 years 2 months ago
2004
Springer
Understanding how a user interacts with a system is important if the goal is to deliver a product that meets the user's needs. Use cases constitute a primary source of require...
AOSE
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...