A Realistic Empirical Evaluation of the Costs and Benefits of UML in Software Maintenance
The Unified Modeling Language (UML) is the de facto standard for object-oriented software analysis and design modeling. However, few...
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software
This paper proposes a methodology and instrumentation infrastructure toward the reverse engineering of UML (Unified Modeling Language) sequence diagrams...
Effects of Mindfulness on Conceptual Modeling Performance: a Series of Experiments
Mindfulness is a meditation technique whose main goal is keeping the mind calm and educating attention by focusing only...
Automatic model transformations using extended UML object diagrams in modeling environments
One of the most important features of modeling tools is generation of output. The output may be documentation, source...
Test Synthesis from UML Models of Distributed Software
The object-oriented software development process is increasingly used for the construction of complex distributed systems. In this context, behavior...
The model multiplicity problem: experimenting with real-time specification methods
The object-process methodology (OPM) specifies both graphically and textually the system's static-structural and behavioral-procedural aspects through a single unifying...
A UML-based pattern specification technique
Informally described design patterns are useful for communicating proven solutions for recurring design problems to developers, but they cannot...
Smart Bound Selection for the Verification of UML/OCL Class Diagrams
Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or...
Some design aspects of databases through Petri net modeling
The authors exploit the concepts of Petri nets for the modeling of databases through a meaningful interpretation of various...
Database Skeleton and Its Application to Logical Database Synthesis
This paper presents the concept of a model of database skeleton which is used to represent user's knowledge on...
