237 search results - page 8 / 48 » Modeling Mental States in Agent-Oriented Requirements Engine... |
ICRE
1998
IEEE
15 years 1 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...
IWSSD
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
RE
2004
Springer
15 years 3 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
IADIS
2003
14 years 11 months ago
2003
As a consequence of the great number of web modelling languages arisen in the last few years, some criteria to compare them have to be given. Thus, a few authors have made a recol...
106
click to vote
COOPIS
1995
IEEE
15 years 1 months ago
1995
IEEE
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...