532 search results - page 50 / 107 » The UML as a Formal Modeling Notation |
FASE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
DFG
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
ECMDAFA
2010
Springer
14 years 17 days ago
2010
Springer
OMG’s SPEM – by means of its (semi-)formal notation – allows for a detailed description of development processes and methodologies, but can only be used for a rather coarse d...
JLP
2006
13 years 7 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
ECMDAFA
2008
Springer
13 years 9 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...