Sciweavers

Share
159 search results - page 2 / 32
» XMI2USE: A Tool for Transforming XMI to USE Specifications
Sort
View
WWW
2001
ACM
10 years 4 months ago
Object-Z web environment and projections to UML
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
RE
2001
Springer
9 years 8 months ago
XML-Based Method and Tool for Handling Variant Requirements in Domain Models
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
Stan Jarzabek, Hongyu Zhang
WOSP
2005
ACM
9 years 9 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
WOSP
2005
ACM
9 years 9 months ago
From UML to LQN by XML algebra-based model transformations
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
Gordon Ping Gu, Dorina C. Petriu
KBSE
2007
IEEE
9 years 10 months ago
Tools for model-based security engineering: models vs. code
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
Jan Jürjens, Yijun Yu
books