26354 search results - page 18 / 5271 » How we refactor, and how we know it |
CSMR
2006
IEEE
14 years 1 months ago
2006
IEEE
To understand a certain issue of the system we want to ask the knowledgeable developers. Yet, in large systems, not every developer is knowledgeable in all the details of the syst...
SAS
2007
Springer
14 years 1 months ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
ENTCS
2002
13 years 7 months ago
2002
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
BIB
2006
13 years 7 months ago
2006
This review summarizes important work in open-source bioinformatics software that has occurred over the past couple of years. The survey is intended to illustrate how programs and...
AIED
2007
Springer
14 years 1 months ago
2007
Springer
Good teachers know their students, and exploit this knowledge to adapt or optimise their instruction. Traditional teachers know their students because they interact with them face-...