3926 search results - page 145 / 786 » A Logic of Object-Oriented Programs |
108
click to vote
SAC
2009
ACM
15 years 12 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
147
Voted
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
142
click to vote
ICECCS
2006
IEEE
15 years 11 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
171
click to vote
PROFES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Software maintenance is the most expensive activity in software development. Many software companies spent a large amount of cost to maintain the existing software system...
152
Voted
SIGMOD
1996
ACM
15 years 9 months ago
1996
ACM
Object-Relational and Object-Oriented DBMSs allow users to invoke time-consuming ("expensive") methods in their queries. When queries containing these expensive methods a...