5591 search results - page 870 / 1119 » Design patterns: between programming and software design |
157
click to vote
COMPSAC
2006
IEEE
16 years 3 days 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...
165
click to vote
ICECCS
2006
IEEE
16 years 3 days 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...
155
click to vote
RTCSA
2005
IEEE
15 years 11 months ago
2005
IEEE
Garbage collection considerably increases programmer productivity and software quality. However, it is difficult to implement garbage collection both efficiently and suitably fo...
192
click to vote
VL
2005
IEEE
15 years 11 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
132
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. The goal of this article is to automate, based ...