Verification and Trade-Off Analysis of Security Properties in UML System Models
Designing secure systems is a nontrivial task. Incomplete or faulty designs can cause security mechanisms to be incorrectly incorporated...
A Component Model for Model Transformations
Model-driven engineering promotes an active use of models to conduct the software development process. In this way, models are...
View Modeling and Integration Using the Functional Data Model
Conventional database design techniques rely heavily on the designer's skill and experience, which are neither efficient nor effective for...
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...
