378 search results - page 26 / 76 » Automating Coinduction with Case Analysis |
IASSE
2004
14 years 12 days ago
2004
The Rationale-based Analysis Tool (RAT) supports analysts, developers, clients and end users during the objectoriented requirements analysis activity. The tool enables different s...
ICECCS
2002
IEEE
14 years 4 months ago
2002
IEEE
The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...
EWCBR
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
DLOG
2000
14 years 11 days ago
2000
In this contribution we present an empirical analysis of the performance of the ALCNHR+ description logic system RACE applied to TBoxes with a very large number of primitive conce...
CICLING
2007
Springer
14 years 5 months ago
2007
Springer
The present paper describes how dependency analysis can be used to automatically extract from a corpus a set of cases - and an accompanying vocabulary - which enable a template-bas...