Amanote Research
Register
Sign In
Formalize UML 2 Sequence Diagrams
doi 10.1109/hase.2008.51
Full Text
Open PDF
Abstract
Available in
full text
Date
December 1, 2008
Authors
Hui Shen
Aliya Virani
Jianwei Niu
Publisher
IEEE
Related search
A Coalgebraic Semantic Framework for Reasoning About UML Sequence Diagrams
A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams
Improving Modeling With Layered UML Diagrams
XMI-based Transformation of UML Interaction Diagrams to Activity Diagrams
Towards Reverse Engineering of UML Sequence Diagrams of Real-Time, Distributed Systems Through Dynamic Analysis
Fixing Generalization Defects in UML Use Case Diagrams
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Generating Maude Specifications From UML Use Case Diagrams.
Journal of Object Technology
Software
Composition of Aspects Represented as UML Activity Diagrams
Graph Layout Aesthetics in UML Diagrams: User Preferences
