Towards a general theory of action and time
Artificial Intelligence
Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Conceptual schema and relational database design: a fact oriented approach
Conceptual schema and relational database design: a fact oriented approach
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Extending and formalizing the framework for information systems architecture
IBM Systems Journal
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Causality: models, reasoning, and inference
Causality: models, reasoning, and inference
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Enterprise Architecture: And for New Generation Information Systems
Enterprise Architecture: And for New Generation Information Systems
Software Verification and Validation for Practitioners and Managers, Second Edition
Software Verification and Validation for Practitioners and Managers, Second Edition
Open System Architecture for CIM
Open System Architecture for CIM
Aris-Business Process Frameworks
Aris-Business Process Frameworks
The TOVE Project Towards a Common-Sense Model of the Enterprise
IEA/AIE '92 Proceedings of the 5th international conference on Industrial and engineering applications of artificial intelligence and expert systems
Developing an Unified Enterprise Modeling Language (UEML) - Requirements and Roadmap
PRO-VE '02 Proceedings of the IFIP TC5/WG5.5 Third Working Conference on Infrastructures for Virtual Enterprises: Collaborative Business Ecosystems and Virtual Enterprises
Handbook on Architectures of Information Systems (International Handbooks on Information Systems) (International Handbooks on Information Systems)
Hi-index | 0.00 |
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.