Enterprise model verification and validation: an approach

Simple item page
dc.creatorChapurlat, Vincent
dc.creatorFoguem, Bernard Kamsu
dc.creatorPrunet, François
dc.date2009-01-23
dc.date.accessioned2026-07-07T12:33:41Z
dc.date.available2026-07-07T12:33:41Z
dc.descriptionThis article presents a Verification and Validation approach which is used here in order to complete the classical tool box the industrial user may utilize in Enterprise Modeling and Integration domain. This approach, which has been defined independently from any application domain is based on several formal concepts and tools presented in this paper. These concepts are property concepts, property reference matrix, properties graphs, enterprise modeling domain ontology, conceptual graphs and formal reasoning mechanisms.
dc.identifierhttps://arxiv.org/abs/0901.3620
dc.identifierhttp://arxiv.org/abs/0901.3620
dc.identifierAnnual Review in Control 27, 2 (2003) 185-197
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/217212
dc.subjectSoftware Engineering
dc.titleEnterprise model verification and validation: an approach
dc.typetext

Files

Collections

arXiv