17789 search results - page 86 / 3558 » Exceptional Use Cases |
ASM
2010
ASM
13 years 11 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
ICCBR
2007
Springer
14 years 2 months ago
2007
Springer
Current efficient planners employ an informed search guided by a heuristic function that is quite expensive to compute. Thus, ordering nodes in the search tree becomes a key issue,...
KES
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. In exploratory learning environments, learners can use different strategies to solve a problem. To the designer or teacher, however, not all these strategies are known in...
ICCBR
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a multiagent system that provides guidance on leisure facilities and suggestions for shopping in malls. This paper presents a deliberative agent which incorpora...
BPM
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...