A formal verification framework and associated tools for enterprise modeling : application to UEML

Author: Allen, B. Kamsu-Foguem, Bernus, Booch, Bérard, Chapurlat, Chapurlat, Chen, Chen, Chen, Chen, Chrorafas, Doumeingts, F. Prunet, Fox, Jackson, Kamsu-Foguem, Kosanke, Mann, Manna, Menzel, Molina, Nijssen, Pearl, Revelle, Scheer, Schekkerman, Sowa, Sowa, Tixier, Uschold, V. Chapurlat, Van Lamsweerde, Vernadat, Vernadat
Publisher: Elsevier BV

ABOUT BOOK

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

Privacy Policy
Powered by: