Some software requirements are omitted or ambiguous depending on the design context, although these would not necessarily be when viewed as alone. The context sometimes causes inconsistencies among implementations that realize same requirement. Existing detection and analysis methods do limit evaluation of review materials to context-dependent design. An technique limits evaluated parts describ...

Abs t r ac t . Goal independent analysis of logic programs is commonly discussed in the context of the bottom-up approach. However, while the literature is rich in descriptions of top-down analysers and their application, practical experience with bottom-up analysis is still in a preliminary stage. Moreover, the practical use of existing top-down frameworks for goal independent analysis has not...

The multiple-goal perspective has recently been applied to teacher behaviours in primary school classrooms through experimental intervention (Linnenbrink, 2005) and objective observation (Sideridis, 2005). However, there is evidence suggesting that rather than centered only on teacher behaviour, classroom goal structures are a whole class feature (Urdan, 2004c). Despite intended or observed cla...

In this paper, we introduce the application of rigorous analysis procedures to goal models in order to provide several benefits beyond the initial act of modelling. Such analysis can allow modellers to assess the satisfaction of goals, facilitate evaluation of high-level design alternatives, help analysts decide on the high-level requirements and design of the system, test the sanity of a model...