3192 search results - page 617 / 639 » A Requirements-Driven Development Methodology |
ECBS
2010
IEEE
13 years 11 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...
ASM
2008
ASM
13 years 9 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Computer agents participate in many collaborative and competitive multiagent domains in which humans make decisions. For computer agents to interact successfully with people in su...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
In strategic multiagent decision making, it is often the case that a strategic reasoner must hold beliefs about other agents and use these beliefs to inform its decision making. T...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
In most of the existing approaches to the design of multiagent systems, there is no clear way in which to relate organisational and normative structures to the model of the enviro...