Handbook of theoretical computer science (vol. B)
The Z notation: a reference manual
The Z notation: a reference manual
Verification and validation issues in manufacturing models
Computers in Industry - Special issue: CIM in the extended enterprise
A visual simulation support environment based on the domino conceptual framework
Journal of Systems and Software
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Verification, validation, and accreditation
Proceedings of the 30th conference on Winter simulation
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Enterprise resource planning systems: systems, life cycle, electronic commerce, and risk
Enterprise resource planning systems: systems, life cycle, electronic commerce, and risk
Process and enterprise improvement: effective uses of business process simulation
Proceedings of the 32nd conference on Winter simulation
Software Verification and Validation for Practitioners and Managers, Second Edition
Software Verification and Validation for Practitioners and Managers, Second Edition
Simulation with Arena
A formal framework for business process modelling and design
Information Systems
Is Proof More Cost-Effective Than Testing?
IEEE Transactions on Software Engineering
Towards a Precise Definition of the OMG/MDA Framework
Proceedings of the 16th IEEE international conference on Automated software engineering
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
A modeling framework for agile and interoperable virtual enterprises
Computers in Industry - Special issue: Advanced computer support of engineering and service processes of virtual enterprises
Simulation in business and industry: how simulation context can affect simulation practice?
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 3
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
Enterprise integration and interoperability in manufacturing systems: Trends and issues
Computers in Industry
Hi-index | 0.00 |
The first aim of this article is to demonstrate the high level of dependency between modeling activities and verification, validation, qualification and certification (VVQC) activities during the entire course of a project in an enterprise. It therefore aims to show the interest and relevance of VVQC to the enterprise-modeling domain, before highlighting the objectives to be achieved and requirements to be fulfilled by future work on VVQC. The first part introduces the concepts and definitions required. The second part describes the state of the art concerning the uses, best practices and main current research related to VVQC in the enterprise field. The third part proposes some orientations for future research to be prioritized in order to deal with crucial challenges in the enterprise. It appears that these research orientations have been applied for some years by both academic- and industry-based researchers.