Article ID Journal Published Year Pages File Type
508755 Computers in Industry 2006 14 Pages PDF
Abstract

The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the suitability and coherence of a model by using properties specification and formal proof of properties.

Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computer Science Applications
Preview
A formal verification framework and associated tools for Enterprise Modeling: Application to UEML
Authors
, , ,