An experimental investigation of formality in UML-based development
The object constraint language (OCL) was introduced as part of the Unified Modeling Language (UML). Its main purpose is...
The impact of UML documentation on software maintenance: an experimental evaluation
The Unified Modeling Language (UML) is becoming the de facto standard for software analysis and design modeling. However, there...
A physical database design evaluation system for CODASYL databases
An interactive design tool for designing CODASYL databases is described. The system is composed of three main modules: a...
Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies
Many architectural languages have been proposed in the last 15 years, each one with the chief aim of becoming...
A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in...
Concurrency problems such as starvation and deadlocks should be identified early in the design process. As larger, more complex...
Architectural-level risk analysis using UML
Risk assessment is an essential part in managing software development. Performing risk assessment during the early development phases enhances...
Enhancing structured review with model-based verification
We propose a development framework that extends the scope of structured review by supplementing the structured review with model-based...
Integrating Software Models and Platform Models for Performance Analysis
System performance is a key factor to take into account throughout the software life cycle of modern computer systems,...
A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models
Model-driven engineering (MDE) promotes automated model transformations along the entire development process. Guaranteeing the quality of early models is...
From UML to Petri Nets: The PCM-Based Methodology
In this paper, we present an evaluation methodology to validate the performance of a UML model, representing a software...
