2419 search results - page 285 / 484 » A Formal Approach to Software Testing |
128
Voted
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
153
Voted
ISSE
2007
15 years 4 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
128
Voted
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
134
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
148
click to vote
VR
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a technique for exploiting change blindness to allow the user to walk through an immersive virtual environment that is much larger than the available physical workspace...