Can Intuition Become Rigorous? Foundations for UML Model Verification Tools.

José Luis Fernández Alemán José Ambrosio Toval Álvarez

Published in: ISSRE (2000)

Keyphrases

probabilistic model
management system
computational model
mathematical model
artificial intelligence
high level
theoretical framework
statistical model
conceptual model
neural network
software engineering
formal model
metamodel
software tools