5407 search results - page 816 / 1082 » The Software Engineering Global Model |
164
click to vote
SIGSOFT
2004
ACM
16 years 8 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
221
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
197
click to vote
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
199
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
218
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...