284 search results - page 21 / 57 » Explanation-based Scenario Generation for Reactive System Mo... |
159
click to vote
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
133
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Researchers have been emphasizing the strong role that multi-agent systems can play progressively towards the design and implementation of complex autonomic systems. The aim of th...
161
Voted
JVCA
2002
15 years 3 months ago
2002
Behavioural models offer the ability to simulate autonomous agents like organisms and living beings. Psychological studies have showed that the human behaviour can be described by...
123
click to vote
APSCC
2009
IEEE
15 years 10 months ago
2009
IEEE
—In a number of scenarios, services generated using a model-driven development (MDD) approach could benefit from “reflective” access to the information in the models from w...
128
click to vote
HOPL
2007
15 years 7 months ago
2007
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...