Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
508755 | Computers in Industry | 2006 | 14 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science Applications
Authors
V. Chapurlat, B. Kamsu-Foguem, F. Prunet,