1397 search results - page 108 / 280 » On the Need for Practical Formal Methods |
DDECS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
LICS
1999
IEEE
14 years 2 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...
ISJ
2002
13 years 9 months ago
2002
Systems development research shows that practitioners seldom follow methods and that the competencies required for successful development of computer-based systems go well beyond t...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
MATES
2004
Springer
14 years 3 months ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...