Concepedia

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

Bernardo F. B. Braga, Giancarlo Guizzardi, Alessander Botti Benevides

Innovations in Systems and Software Engineering · 2010 · 46 citations · 11 references

DOI

Concepts

References

11

Software abstractions: logic, language and analysis

Choice Reviews Online · 2007 · 1.5K citations

, , +11

Ontological foundations for structural conceptual models

Giancarlo Guizzardi · University of Twente Research Information · 2005 · 1K citations · Full text

, , +14

Top 10 list [software development]

Barry Boehm, Victor R. Basili · Computer · 2001 · 813 citations

, , +17

USE: A UML-based specification environment for validating UML and OCL

Martin Gogolla, Fabian Büttner, Mark Richters · Science of Computer Programming · 2007 · 445 citations

, , +10

On challenges of model transformation from UML to Alloy

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg et al. · Software & Systems Modeling · 2008 · 193 citations

, , +11