1401 search results - page 19 / 281 » Tool Integration for Reasoned Programming |
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...
BMCBI
2006
13 years 8 months ago
2006
Background: Comparing related structures and viewing the structures in the context of sequence alignments are important tasks in protein structure-function research. While many pr...
WLP
2007
Springer
14 years 2 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
ICLP
2007
Springer
14 years 17 days ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...