default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMSVVEIS 2009: Milan, Italy
- Daniel Moldt, Juan Carlos Augusto, Ulrich Ultes-Nitsche:
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009. INSTICC PRESS 2009, ISBN 978-989-8111-90-6
Full Papers
- Cyrille Dongmo, John Andrew van der Poll:
Use Case Maps as an Aid in the Construction of a Formal Specification. MSVVEIS 2009: 3-13 - Lotfi Majdoub, Riadh Robbana:
Test Cases Generation for Nondeterministic Duration Systems. MSVVEIS 2009: 14-23 - Oana Otilia Prisecaru:
A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure. MSVVEIS 2009: 24-33 - Lawrence Cabac, Kolja Markwardt:
Modeling the System Organization of Multi-Agent Systems in Early Design Stages with Coarse Design Diagrams. MSVVEIS 2009: 34-43 - Kolja Markwardt, Lawrence Cabac, Christine Reese:
A Process-Oriented Tool-Platform for Distributed Development. MSVVEIS 2009: 44-52 - Mihnea Scafes, Costin Badica:
Preliminary Design of an Agent-based System for Human Collaboration in Chemical Incidents Response. MSVVEIS 2009: 53-63
Short Papers
- Ammar Mohammed, Ulrich Furbach:
From Reactive to Deliberative Multi-agent Planning. MSVVEIS 2009: 67-75 - René Börner, Matthias Goeken:
Methods for Service Identification: A Criteria-based Literature Review. MSVVEIS 2009: 76-84 - Stephan Gradl, André Bögelsack, Holger Wittges, Helmut Krcmar:
Layered Queuing Networks for Simulating Enterprise Resource Planning Systems. MSVVEIS 2009: 85-92 - Agustín Yagüe, Juan Garbajosa:
The Role of Testing in Agile and Conventional Methodologies. MSVVEIS 2009: 93-100 - Sven Tackenberg, Sebastian Schneider:
Multi Project Organization Optimization using Genetic Algorithm. MSVVEIS 2009: 101-115
Posters
- Leila Jemni Ben Ayed, Mohamed Nidhal Jelassi:
An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER. MSVVEIS 2009: 119-124 - María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares:
Using SCADE for Decision Support in Dam Management. MSVVEIS 2009: 125-131 - José Francisco Zelasco, Judith Donayo:
Database Integrity in Integrated Systems. MSVVEIS 2009: 132-140 - Satish Mahadevan Srinivasan, Mansour Zand:
Making Use Case Slices Manage Variability in Aspect-based Product Line. MSVVEIS 2009: 141-148 - Ahlem Ben Younes, Leila Jemni Ben Ayed:
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications. MSVVEIS 2009: 149-155 - Lawrence Cabac, Kolja Markwardt, Jan Schlüter:
ImageNetDiff: Finding Differences in Models. MSVVEIS 2009: 156-161 - Tomasz Walkowiak, Katarzyna Michalska:
Information Systems Configuration Analysis using Event-driven Computer Simulation. MSVVEIS 2009: 162-167
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-17 00:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
