68 search results - page 14 / 14 » Studying program correctness by constructing contracts |
JUCS
2008
13 years 5 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
ICSE
2011
IEEE-ACM
12 years 8 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
BMCBI
2010
13 years 5 months ago
2010
Background: Genome sequencing projects have expanded the gap between the amount of known protein sequences and structures. The limitations of current high resolution structure det...