Sciweavers

3885 search results - page 16 / 777
» Clarifying Goal Models
Sort
View
144
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
Silvio Ghilardi, Silvio Ranise
74
Voted
ER
2007
Springer
90views Database» more  ER 2007»
15 years 10 months ago
A Goal Oriented Approach for Modeling and Analyzing Security Trade-Offs
Golnaz Elahi, Eric S. K. Yu
76
Voted
UM
2005
Springer
15 years 9 months ago
User Modeling Meets Usability Goals
Anthony Jameson
111
Voted
VAMOS
2008
Springer
15 years 5 months ago
Dealing with Changes in Service-Oriented Computing Through Integrated Goal and Variability Modelling
Roger Clotet, Deepak Dhungana, Xavier Franch, Paul...