Sciweavers

100 search results - page 2 / 20
» Automated impact analysis of UML models
Sort
View
MODELS
2009
Springer
13 years 10 months ago
From UML to Alloy and Back Again
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bo...
KBSE
2005
IEEE
13 years 11 months ago
Determining the cost-quality trade-off for automated software traceability
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
Alexander Egyed, Stefan Biffl, Matthias Heindl, Pa...
GI
2005
Springer
13 years 11 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
SERP
2007
13 years 7 months ago
Using Constraints with Action Language for Model Evolution
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
Shahid Alam, Samuel A. Ajila
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
14 years 19 days ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...