Sciweavers

25 search results - page 2 / 5
» Supporting Several Levels of Restriction in the UML
Sort
View
WOSP
2005
ACM
13 years 11 months ago
A model transformation framework for the automated building of performance models from UML models
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
Andrea D'Ambrogio
ICSEA
2006
IEEE
13 years 11 months ago
Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...
Mohammad Abdollahi Azgomi, Ali Movaghar
KBSE
2002
IEEE
13 years 10 months ago
SeDiTeC - Testing Based on Sequence Diagrams
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
Falk Fraikin, Thomas Leonhardt
VVEIS
2007
13 years 6 months ago
UML-driven Information Systems and their Formal Integration Validation and Distribution
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
Nasreddine Aoumeur, Gunter Saake
ISMAR
2009
IEEE
14 years 3 days ago
Online environment model estimation for augmented reality
Augmented reality applications often rely on a detailed environment model to support features such as annotation and occlusion. Usually, such a model is constructed offline, whic...
Jonathan Ventura, Tobias Höllerer