Sciweavers

532 search results - page 32 / 107
» A Semiotic Approach to UML models
Sort
View
UML
2004
Springer
14 years 29 days ago
Model Composition Directives
An aspect-oriented design model consists of a set of aspect models and a primary model. Each of these models consists of a number of different kinds of UML diagrams. The models mus...
Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh...
ICSE
2009
IEEE-ACM
13 years 5 months ago
Model Based Functional Testing Using Pattern Directed Filmstrips
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
Tony Clark
FASE
2001
Springer
14 years 4 days ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
OMER
2001
13 years 9 months ago
State Machine Modeling: From Synch States to Synchronized State Machines
Abstract: To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure ...
Dominikus Herzberg, André Marburger
ANSOFT
2002
100views more  ANSOFT 2002»
13 years 7 months ago
A Formal Object Approach to the Design of ZML
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang