1401 search results - page 81 / 281 » Tool Integration for Reasoned Programming |
IJCAI
2001
15 years 2 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
TOOLS
2008
IEEE
15 years 7 months ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
103
click to vote
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
109
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
136
click to vote
CLEIEJ
2010
14 years 11 months ago
2010
Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...