Conferences in DBLP

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

1. Xudong He
   A Framework for Ensuring System Dependability from Design to Implementation. [Citation Graph (0, 0)][DBLP]
   MSVVEIS, 2005, pp:- [Conf]
   
2. Allen Goldberg, Klaus Havelund
   Automated Runtime Verification with Eagle. [Citation Graph (0, 0)][DBLP]
   MSVVEIS, 2005, pp:- [Conf]
   
3. Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche
   Model-checking Inherently Fair Linear-time Properties. [Citation Graph (0, 0)][DBLP]
   MSVVEIS, 2005, pp:3-8 [Conf]
   
4. Macario Polo Usaola, Andres Flores
   Towards Run-time Component Integration on Ubiquitous Systems. [Citation Graph (0, 0)][DBLP]
   MSVVEIS, 2005, pp:9-18 [Conf]
   
5. Jaime Ramírez, Angélica de Antonio
   Consistency Verification of a Non-monotonic Deductive System based on OWL Lite. [Citation Graph (0, 0)][DBLP]
   MSVVEIS, 2005, pp:19-28 [Conf]
   
6. Dejan Gradisar, Gasper Music
   Petri-net modeling of production systems based on production management data. [Citation Graph (0, 0)][DBLP]
   MSVVEIS, 2005, pp:29-38 [Conf]
   
7. Manuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez
   An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case. [Citation Graph (0, 0)][DBLP]
   MSVVEIS, 2005, pp:39-48 [Conf]
   
8. Paulo Sausen, Pedro Fernandes Ribeiro Neto, Angelo Perkusich, Antonio Marcus Nogueira de Lima, Maria Ligia B. Perkusich, Fabiano Salvadori
   Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks. [Citation Graph (0, 0)][DBLP]
   MSVVEIS, 2005, pp:49-57 [Conf]
   
9. Andres Flores, Macario Polo
   Towards Application Suitability for PvC Environments. [Citation Graph (0, 0)][DBLP]
   MSVVEIS, 2005, pp:58-62 [Conf]
   
10. Kåre J. Kristoffersen, Yvonne Dittrich
    Expanding Database Systems into self-verifying Entities. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:65-70 [Conf]
    
11. Wing Lok Yeung, Karl R. P. H. Leung
    Deriving Test Cases from B Machines Using Class Vectors. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:71-76 [Conf]
    
12. Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche
    A Unit Testing Framework for Network Configurations. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:77-82 [Conf]
    
13. Frédéric Gervais, Marc Frappier, Régine Laleau
    How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:83-88 [Conf]
    
14. Joshua J. Pauli, Dianxiang Xu
    Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:89-95 [Conf]
    
15. Joselito Medina Marín, Xiaoou Li
    An Active Rule Base Simulator based on Petri Nets. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:96-101 [Conf]
    
16. Josko Dvornik, Srdan Dvornik, Eno Tireli
    Computing Simulation and Heuristic Optimization of the Marine Diesel Drive Generating. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:102-106 [Conf]
    
17. Joseph Barjis
    An Example of Business Process Simulation Using ARENA. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:107-112 [Conf]
    
18. Nan Niu, Steve M. Easterbrook
    On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:115-117 [Conf]
    
19. Juan Carlos Augusto
    Verification of Smart Homes Specifications which are based on ECA Rules. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:118-120 [Conf]
    
20. Josko Dvornik, Ante Munitic, Frane Mitrovic
    The Port-Transshipment System Dynamics Software Simulator. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:121-125 [Conf]
    
21. Syed M. Rahman, Akram Salah
    Teaching Software Testing in Introductory CS Courses and Improving Software Quality. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:126-128 [Conf]