10038 search results - page 276 / 2008 » Model Checking for Managers |
165
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
169
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The model management operator ModelGen translates a schema expressed in one modelling language into an equivalent schema expressed in another modelling language, and in a...
156
click to vote
MODELS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
161
click to vote
ECIS
2001
15 years 8 months ago
2001
This paper argues for a return to fundamentals as we enter the new millennium. It argues that the field of Information Systems should no longer be distracted from its natural locu...
170
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
Every day, businesses are threatened by crises that could have been prevented or their impact lessened if only knowledge of causal and influencing factors were known and better ma...