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...
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...
