Sciweavers

Share
CII
2006

A formal verification framework and associated tools for Enterprise Modeling: Application to UEML

11 years 5 months ago
A formal verification framework and associated tools for Enterprise Modeling: Application to UEML
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.
Vincent Chapurlat, Bernard Kamsu Foguem, Fran&cced
Added 11 Dec 2010
Updated 11 Dec 2010
Type Journal
Year 2006
Where CII
Authors Vincent Chapurlat, Bernard Kamsu Foguem, François Prunet
Comments (0)
books