592 search results - page 4 / 119 » Refining Goal Models by Evaluating System Behaviour |
86
Voted
FM
2006
Springer
15 years 1 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
88
Voted
ASM
2008
ASM
14 years 11 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...
95
Voted
CAISE
2009
Springer
15 years 4 months ago
2009
Springer
Self-contextualizability refers to the system ability to autonomously adapt its behaviour to context in order to maintain its objectives satisfied. In this paper, we propose a mod...
70
Voted
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. Th...
WSCG
2001
14 years 11 months ago
2001
This paper tests the hypothesis that it is possible to build a generic Behavioural Animation system. The paper outlines the four models that form the key elements of a Behavioural...