Sciweavers

1259 search results - page 7 / 252
» Use Cases, Actions, and Roles
Sort
View
GI
2004
Springer
14 years 23 days ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
SP
1997
IEEE
112views Security Privacy» more  SP 1997»
13 years 11 months ago
Analyzing Consistency of Security Policies
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
Laurence Cholvy, Frédéric Cuppens
ISCIS
2004
Springer
14 years 23 days ago
Modelling Role-Playing Games Using PEPA Nets
Abstract. We present a performance modelling case study of a distributed multi-player game expressed in the PEPA nets modelling language. The case study provides a modern complex d...
Stephen Gilmore, Leïla Kloul, Davide Piazza
SIGCSE
2004
ACM
112views Education» more  SIGCSE 2004»
14 years 24 days ago
Design patterns for marine biology simulation
We specify and implement a GUI application that simulates marine biological systems by making extensive use of objectoriented design patterns. The key design patterns are model-vi...
Dung Zung Nguyen, Mathias Ricken, Stephen B. Wong
HICSS
2008
IEEE
132views Biometrics» more  HICSS 2008»
14 years 1 months ago
Support of Case-Based Authentic Learning Activities: A Collaborative Case Commenting Tool and a Collaborative Case Builder
Cases are widely used in professional education to engage learners with examples of real world practices. Collaboration in casebased learning can add to the authenticity of the ex...
Lu Xiao, John M. Carroll, Pat Clemson, Mary Beth R...