276 search results - page 2 / 56 » A Case Study in the Use of Theory Revision in Requirements V... |
ER
2004
Springer
14 years 29 days ago
2004
Springer
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Requirements volatility is an important risk factor for software projects. Software measures can help in quantifying and predicting this risk. In this paper, we present an industr...
FLAIRS
2006
13 years 9 months ago
2006
In this paper, we describe an approach to modelling contextaware systems starting on the knowledge level. We make use of ideas from Activity Theory to structure the general contex...
JUCS
2000
13 years 7 months ago
2000
: Evaluations of methods and tools applied to a reference problem are useful when comparing various techniques. In this paper, we present a solution to the challenge of capturing t...
ICRE
1998
IEEE
13 years 11 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...