275 search results - page 43 / 55 » A Family of Defeasible Reasoning Logics and its Implementati... |
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
NMR
2004
Springer
14 years 22 days ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
UML
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
FM
2003
Springer
14 years 18 days ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...