1042 search results - page 95 / 209 » Can Aspects Implement Contracts |
FCCM
2008
IEEE
14 years 5 months ago
2008
IEEE
With a multitude of technological innovations, one emerging trend in image processing, and medical image processing, in particular, is custom hardware implementation of computatio...
MIDDLEWARE
2005
Springer
14 years 4 months ago
2005
Springer
We present WildCAT, an extensible Java framework to ease the creation of context-aware applications. WildCAT provides a simple yet powerful dynamic model to represent an applicati...
OOPSLA
2004
Springer
14 years 4 months ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...
EMSOFT
2008
Springer
14 years 29 days ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
SIGSOFT
2007
ACM
14 years 12 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...