Conferences in DBLP

Verification and Validation of Enterprise Information Systems (vveis)
2008 (conf/vveis/2008)

1. 
   Approaches to an All-encompassing Formal Semantics for the UML. [Citation Graph (, )][DBLP]
   
   
2. 
   Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities. [Citation Graph (, )][DBLP]
   
   
3. 
   Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP. [Citation Graph (, )][DBLP]
   
   
4. 
   Formal Goal-based Modeling of Organizations. [Citation Graph (, )][DBLP]
   
   
5. 
   A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows. [Citation Graph (, )][DBLP]
   
   
6. 
   Weakly Continuation Closed Homomorphisms on Automata. [Citation Graph (, )][DBLP]
   
   
7. 
   Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way. [Citation Graph (, )][DBLP]
   
   
8. 
   A Model Transformation Framework for Model Driven Engineering. [Citation Graph (, )][DBLP]
   
   
9. 
   An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. [Citation Graph (, )][DBLP]
   
   
10. 
    Modelling Multi-Agent Systems with Organizations in Mind. [Citation Graph (, )][DBLP]
    
    
11. 
    Software Model Checking for Internet Protocols with Java PathFinder. [Citation Graph (, )][DBLP]
    
    
12. 
    Comparing Methodologies for Service-Orientation using the Generic System Development Process. [Citation Graph (, )][DBLP]
    
    
13. 
    Modeling with Service Dependency Diagrams. [Citation Graph (, )][DBLP]
    
    
14. 
    An Aspect for Design by Contract in Java. [Citation Graph (, )][DBLP]
    
    
15. 
    A Case Study in Integrated Quality Assurance for Performance Management Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    Modeling Multi-agent Logistic Process System using Hybrid Automata. [Citation Graph (, )][DBLP]
    
    
17. 
    Active Database System Realized by a Petri Net Approach. [Citation Graph (, )][DBLP]
    
    
18. 
    An Approach to Simulate Enterprise Resource Planning Systems. [Citation Graph (, )][DBLP]
    
    
19. 
    The Linear Conditional Probability Matrix Generator for IT Governance Performance Prediction. [Citation Graph (, )][DBLP]
    
    
20. 
    Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services. [Citation Graph (, )][DBLP]
    
    
21. 
    An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B. [Citation Graph (, )][DBLP]