410 search results - page 28 / 82 » Tool Support for Invariant Based Programming |
ACS
2007
15 years 2 months ago
2007
We present various results of the last twenty years converging towards a homotopical theory of computation. This new theory is based on two crucial notions : polygraphs (introduce...
174
Voted
JMLC
2000
Springer
15 years 6 months ago
2000
Springer
The principle of modularisation is one of the main techniques that software designers use to tame the complexity of programming. A software project, however, is complex in many oth...
118
click to vote
FUIN
2006
15 years 2 months ago
2006
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
109
click to vote
CSMR
2006
IEEE
15 years 4 months ago
2006
IEEE
The high cost of software maintenance could potentially be greatly reduced by the automatic refactoring of object-oriented programs to increase their understandability, adaptabili...
160
click to vote
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...