Conferences in DBLP

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

1. 
   Use Case Maps as an Aid in the Construction of a Formal Specification. [Citation Graph (, )][DBLP]
   
   
2. 
   Test Cases Generation for Nondeterministic Duration Systems. [Citation Graph (, )][DBLP]
   
   
3. 
   A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure. [Citation Graph (, )][DBLP]
   
   
4. 
   Modeling the System Organization of Multi-Agent Systems in Early Design Stages with Coarse Design Diagrams. [Citation Graph (, )][DBLP]
   
   
5. 
   A Process-Oriented Tool-Platform for Distributed Development. [Citation Graph (, )][DBLP]
   
   
6. 
   Preliminary Design of an Agent-based System for Human Collaboration in Chemical Incidents Response. [Citation Graph (, )][DBLP]
   
   
7. 
   From Reactive to Deliberative Multi-agent Planning. [Citation Graph (, )][DBLP]
   
   
8. 
   Methods for Service Identification: A Criteria-based Literature Review. [Citation Graph (, )][DBLP]
   
   
9. 
   Layered Queuing Networks for Simulating Enterprise Resource Planning Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    The Role of Testing in Agile and Conventional Methodologies. [Citation Graph (, )][DBLP]
    
    
11. 
    Multi Project Organization Optimization using Genetic Algorithm. [Citation Graph (, )][DBLP]
    
    
12. 
    An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER. [Citation Graph (, )][DBLP]
    
    
13. 
    Using SCADE for Decision Support in Dam Management. [Citation Graph (, )][DBLP]
    
    
14. 
    Database Integrity in Integrated Systems. [Citation Graph (, )][DBLP]
    
    
15. 
    Making Use Case Slices Manage Variability in Aspect-based Product Line. [Citation Graph (, )][DBLP]
    
    
16. 
    Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications. [Citation Graph (, )][DBLP]
    
    
17. 
    ImageNetDiff: Finding Differences in Models. [Citation Graph (, )][DBLP]
    
    
18. 
    Information Systems Configuration Analysis using Event-driven Computer Simulation. [Citation Graph (, )][DBLP]