Resolving race conditions in asynchronous partial order scenarios
Scenario-based requirements specifications are the industry norm for defining communication protocols. However, such scenarios often contain race conditions. A...
Customizing the Representation Capabilities of Process Models: Understanding the Effects of Perceived Modeling Impediments
Process modeling is useful during the analysis and design of systems. Prior research acknowledges both impediments to process modeling...
Visualizing Design Patterns in Their Applications and Compositions
Design patterns are generic design solutions that can be applied and composed in different applications where pattern-related information is...
An Efficient and Scalable Approach to Correct Class Model Refinement
Today, programmers benefit immensely from Integrated Development Environments (IDEs), where errors are highlighted within seconds of their introduction. Yet,...
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...
