241 search results - page 33 / 49 » Executing Verified Compiler Specification |
CACM
2010
13 years 5 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
KBSE
2003
IEEE
14 years 27 days ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
EDM
2008
13 years 9 months ago
2008
In this paper we compare different data mining methods and techniques for classifying students based on their Moodle usage data and the final marks obtained in their respective cou...
ISSRE
2000
IEEE
14 years 1 days ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
TABLEAUX
1998
Springer
13 years 12 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...