Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Aliya Virani
Formalize UML 2 Sequence Diagrams
Related publications
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
