The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Daniel Moldt
    PAOSE: A Way to Develop Distributed Software Systems Based on Petri Nets and Agents. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:- [Conf]
  2. Joseph Barjis, Han Reichgelt
    A Petri Net Based Methodology for Business Process Modeling and Simulation. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:3-15 [Conf]
  3. Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
    Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:16-25 [Conf]
  4. Razika Driouche, Zizette Boufaïda, Fabrice Kordon
    An Ontology Based Architecture for Integrating Enterprise Applications. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:26-37 [Conf]
  5. Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche
    Testing of Semantic Properties in XML Documents. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:38-46 [Conf]
  6. Volker Gruhn, Ralf Laue
    How Style Checking Can Improve Business Process Models. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:47-56 [Conf]
  7. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel
    PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:57-66 [Conf]
  8. Lotfi Majdoub, Riadh Robbana
    Test Purpose of Duration Systems. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:67-75 [Conf]
  9. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    Modelling History-Dependent Business Processes. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:76-85 [Conf]
  10. Alta van der Merwe, Paula Kotzé, Johannes C. Cronjé
    The Usefulness of a Generic Process Model Structure. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:86-96 [Conf]
  11. Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
    Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:97-107 [Conf]
  12. Ahmed Al-Ghamdi, José Luiz Fiadeiro
    Architectural Handling of Management Concerns in Service-Driven Business Processes. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:111-120 [Conf]
  13. Joseph Barjis, Bryan D. MacDonald
    Animated Simulation for Business Process Improvement. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:121-127 [Conf]
  14. Agustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel
    CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:128-133 [Conf]
  15. Vincent Chapurlat, Saber Aloui
    How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:134-146 [Conf]
  16. José Diego De la Cruz, Lam-Son Lê, Alain Wegmann
    Validation of Visual Contracts for Services. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:147-165 [Conf]
  17. Josko Dvornik, Eno Tireli
    Simulation Modelling Performance Dynamics of Ship Gas Turbine at the Load of the Ship's Synchronous Generator. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:157-162 [Conf]
  18. Aurona Gerber, Andries Barnard, Alta van der Merwe
    Design and Evaluation Criteria for Layered Architectures. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:163-172 [Conf]
  19. Frank Nießner
    Specification of Deterministic Regular Liveness Properties. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:173-178 [Conf]
  20. Inita Sile, Sergejs Arhipovs
    The Development of the Precedent Model for the Latvia Forest Management Planning Processes. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:181-184 [Conf]
  21. Salvis Dagis, Sergejs Arhipovs
    The Static Model of Latvian Forest Management Planning and Capital Value Estimation. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:185-188 [Conf]
  22. Benoît Fraikin, Marc Frappier
    Efficient Interpretation of Large Quantifications in a Process Algebra. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:189-192 [Conf]
  23. Kais Klai, Samir Tata, Issam Chebbi
    An Observation-based Algorithm for Workflow Matching. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:193-197 [Conf]
  24. María-del-Mar Gallardo, Pedro Merino, David Sanán
    Towards Model Checking C Code with OPEN/CÆSAR. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:198-201 [Conf]
  25. Pavel Vasilyev
    Simulator for Real-Time Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:202-205 [Conf]
  26. Ioanna E. Manataki, Kostas Zografos
    A System Dynamics Approach for Airport Terminal Performance Evaluation. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:206-209 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002