6253 search results - page 357 / 1251 » Use Case Modeling Guidelines |
130
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
163
click to vote
ECMDAFA
2010
Springer
15 years 9 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
169
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
123
click to vote
ENVSOFT
2006
15 years 4 months ago
2006
The lack of sufficient water quality data in many places hinders the efforts of surface water quality modeling, and therefore affects the process of water quality management. In t...
126
click to vote
WSC
2004
15 years 5 months ago
2004
The IAGO Project explores the question of whether a software model, in the form of a computational model of cognitive behavior, can contribute to better anticipation of asymmetric...