MSVVEIS

Publications

2010

Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, In conjunction with ICEIS 2010, Funchal, Madeira, Portugal, June 2010 MSVVEIS (2010)
Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige
KAOS-β: A Goal-oriented Process Model for EIS. MSVVEIS (2010)
Marianne Huchard
On Some Complementary Trends in Model Transformation Generation. MSVVEIS (2010)
Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez
Compositional Verification of Business Processes by Model-Checking. MSVVEIS (2010)
Oana Otilia Prisecaru
The Analysis of Resource Constrained Workflows using Petri Nets. MSVVEIS (2010)
Moritz Balz, Michael Goedicke
Towards Domain-specific Modeling for Java Enterprise Applications. MSVVEIS (2010)
Ammar Mohammed, Ulrich Furbach
Extending CTL to Specify Quantitative Temporal Requirements. MSVVEIS (2010)
Mihnea Scafes, Costin Badica
Framework for Performance Evaluation of Service Negotiations in Agent Systems. MSVVEIS (2010)
Pedro Pablo Alarcón, Jennifer Pérez, Agustín Yagüe, David Musat
Definition of Domain Specific Operation Languages Following MDD. MSVVEIS (2010)