959 search results - page 135 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
SOQUA
2004
13 years 9 months ago
2004
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
ICMAS
1998
13 years 9 months ago
1998
Agentis is a framework for building interactive multiagent applications which is based upon a model of agent interaction whose key elements are services and tasks. Central to the ...
EACL
1993
ACL Anthology
13 years 9 months ago
1993
ACL Anthology
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
AIPS
2010
13 years 8 months ago
2010
When using a planner-based agent architecture, many things can go wrong. First and foremost, an agent might fail to execute one of the planned actions for some reasons. Even more ...
COORDINATION
2010
Springer
13 years 8 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...