Sciweavers

2570 search results - page 35 / 514
» Reliability Modeling Using UML
Sort
View
UML
1998
Springer
14 years 2 months ago
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. K...
UML
2005
Springer
14 years 3 months ago
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
José A. Cruz-Lemus, Marcela Genero, M. Espe...
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
13 years 7 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
ITCC
2005
IEEE
14 years 3 months ago
VisDP: A Web Service for Visualizing Design Patterns on Demand
Design patterns document good design solutions to a recurring problem in a particular context. They are typically modeled using UML. In practice, however, pattern-related informat...
Jing Dong, Sheng Yang, Kang Zhang
VALUETOOLS
2006
ACM
162views Hardware» more  VALUETOOLS 2006»
14 years 3 months ago
Using UML state machines and petri nets for the quantitative investigation of ETCS
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
Jan Trowitzsch, Armin Zimmermann