Even though the assessment of software code quality is a mature field, in which there are quality models (ISO 9126/25000, IEEE 1061-1998, etc.), inspection techniques, metric tools, etc., that have been being used for more than 20 years, it is not the same in the field of software specification quality, and more specifically, in UML model quality. The relevance of quality in modeling is also shown through the nomerous congress workshops and special sessions that have taken place in the main conferences about software modeling in the last years.
This is why the goal of the project EVVE is to create an environment for the verification and validation (V&V) of software specifications composed of a methodological component (developed along with researchers from the "Universidad de Castilla-La Mancha"), which consists of an specification assessment methodology (including techniques, quality indicators, and guidelines), and a technological component, which consists of (semi)automatic tools based on the Eclipse platform. This environment will be validated applying Empirical Software Engineering techniques.
Within this approach, one of the most important languages is the Unified Modeling Language (UML), which is gaining wide acceptance in the industry as "THE" standard modeling language for software modeling. Due to the project duration, the scope of EVVE will include only the main models used in software development: use case model, class model, and dynamic models (state diagram).
With the project EVVE we are trying to avoid the disconnection that usually exists between theoretical research and its practical application, so we will use the Action Research method as the next figure details.