495 search results - page 9 / 99 » Translating the Object Constraint Language into the Java Mod... |
163
click to vote
ECOOPW
1998
Springer
15 years 9 months ago
1998
Springer
Adaptability has become one of the most important research areas in concurrent object-oriented systems in recent years. It tries to cope with system evolution by adding/replacing ...
151
Voted
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
150
Voted
UML
2005
Springer
15 years 10 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
119
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...
120
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
Developers are often unaware of, or fail to respect, the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps develope...