310 search results - page 30 / 62 » Implementing Java modeling language contracts with AspectJ |
106
click to vote
ENTCS
2007
15 years 1 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
111
click to vote
GPCE
2009
Springer
15 years 6 months ago
2009
Springer
The indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to ...
132
click to vote
ICST
2009
IEEE
14 years 11 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has ...
111
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...