611 search results - page 67 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
121
click to vote
FASE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
147
click to vote
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
219
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additi...
134
Voted
WISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
166
Voted
AOSD
2010
ACM
15 years 10 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...