237 search results - page 30 / 48 » Modeling Mental States in Agent-Oriented Requirements Engine... |
IEEEARES
2007
IEEE
15 years 4 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— Creating exercises for learners requires significant time. This is one reason, beside difficulties of discussing individualized tasks in a classroom setting, why often ...
FATES
2003
Springer
15 years 2 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
105
click to vote
ECBS
1999
IEEE
15 years 2 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...