157 search results - page 10 / 32 » A Structured Demonstration of Program Comprehension Tools |
176
click to vote
POPL
2008
ACM
15 years 12 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
104
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: Quantitative descriptions of amino acid similarity, expressed as probabilistic models of evolutionary interchangeability, are central to many mainstream bioinformatic ...
92
Voted
AAAI
2007
15 years 1 months ago
2007
Extensional (table) constraints are an important tool for attacking combinatorial problems with constraint programming. Recently there has been renewed interest in fast propagatio...
SIGCSE
2004
ACM
15 years 5 months ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...
118
Voted
PAAMS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...