Sciweavers

1213 search results - page 98 / 243
» Refactoring UML Models
Sort
View
135
Voted
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
15 years 9 months ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...
103
Voted
MODELLIERUNG
2004
15 years 4 months ago
UML-A oder warum die Wissenschaft ihre eigene einheitliche Modellierungssprache haben sollte
: Mit der Standardisierung der Unified Modeling Language (UML) wurde der Versuch unternommen, f
Friedrich Steimann
137
Voted
UML
2000
Springer
15 years 6 months ago
Using UML Collaboration Diagrams for Static Checking and Test Generation
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
Aynur Abdurazik, A. Jefferson Offutt
ISORC
1999
IEEE
15 years 6 months ago
Automated Dependability Analysis of UML Designs
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
Andrea Bondavalli, Ivan Mura, István Majzik
131
Voted
ICECCS
1999
IEEE
88views Hardware» more  ICECCS 1999»
15 years 6 months ago
UML + ROOM as a Standard ADL?
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
Bernhard Rumpe, M. Schoenmakers, Ansgar Radermache...