354 search results - page 14 / 71 » Constraints of Behavioural Inheritance |
117
click to vote
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
ECOWS
2007
Springer
15 years 5 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
PRIMA
2001
Springer
15 years 4 months ago
2001
Springer
One of the most appealing features of multiagent technology is its natural way to modularise a complex system in terms of multiple, interacting and autonomous components. As a natu...
ECOOPWEXCEPTION
2000
Springer
15 years 4 months ago
2000
Springer
Interface exceptions (explicitly declared exceptions that a method can propagate outside) are an inherent part of the interface describing the behaviour of a particular class of ob...
OOPSLA
1991
Springer
15 years 3 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...