348 search results - page 11 / 70 » Behaviour Model Synthesis from Properties and Scenarios |
CONTEXT
2007
Springer
14 years 1 months ago
2007
Springer
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...
APCCM
2009
13 years 8 months ago
2009
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
SAS
2000
Springer
13 years 11 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
AIED
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The nature of the activities that take place in Exploratory Learning Environments allow generating a variety of learner trajectories and makes difficult to develop a mod...
COORDINATION
2010
Springer
13 years 7 months ago
2010
Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...