François Prunet

  • Citations Per Year
Learn More
This 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(More)
An efficient Binary Search-based approach used to determine the sets of human resources allowing one to reach, for an enterprise process, a given performance level is presented. It is based on an enterprise process performance methodology integrating human skill influence. In a first step, this approach is compared with algorithms such as Hybrid(More)
To develop or to improve a system requires to specify very early the user waits and the requirements which this system will have to answer throughout its life. So, languages of representation and mechanisms of validation and of check are necessary to describe and manage the reality complexity then to ensure the resultant system performs well its role and(More)
* LGI2P Laboratoire de Génie Informatique et d'Ingénierie de Production site EERIE de l’Ecole des Mines d’Alès Parc Scientifique Georges Besse F30035 Nîmes cedex 1 Tel : (+33) 466 387 065 Fax : (+33) 466 387 074 Mél :, ** LIRMM Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier 161, rue(More)
The aim of this paper is a working-out of an open authoring framework for an automated documentation process binded with an object manufacturing-specific engineering framework. Using standards close together to support product documentation as part of the life-cycle of manufactured products is becoming an actual and urgent topic for industry. Indeed, this(More)