414 search results - page 23 / 83 » Reflections on the Object Constraint Language |
UML
2005
Springer
15 years 5 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 ...
LICS
2006
IEEE
15 years 5 months ago
2006
IEEE
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
REFLECTION
2001
Springer
15 years 4 months ago
2001
Springer
A number of approaches have been proposed to achieve separation of concerns. Although all these approaches form suitable candidates for separating cross-cutting concerns in a syste...
SIGSOFT
2000
ACM
15 years 4 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
ECOOP
1994
Springer
15 years 3 months ago
1994
Springer
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...