244 search results - page 8 / 49 » Contracts for first-class classes |
95
Voted
CCIA
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
112
Voted
ICSE
2011
IEEE-ACM
14 years 5 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
DAGSTUHL
2004
15 years 3 months ago
2004
Good components need precise contracts. In the practice of Design by ContractTM , applications and libraries typically express, in their postconditions and class invariants, only a...
109
Voted
ASM
2003
ASM
15 years 7 months ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
98
Voted
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....