1432 search results - page 222 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
135
Voted
CSCWD
2008
Springer
15 years 5 months ago
2008
Springer
: The Software Engineering community has been trying to get fast and accurate software estimations for many years. Most of the proposed methods require historical information and/o...
128
click to vote
CODES
2003
IEEE
15 years 8 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
114
Voted
ISSRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
135
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
123
Voted
ERCIMDL
2009
Springer
15 years 6 months ago
2009
Springer
We report on the implementation of a software infrastructure for preservation actions, carried out in the context of the European Integrated Project Planets – the Planets Interop...