Verification and Validation of Enterprise Information Systems

in conjunction with ICEIS

MSVVEIS 2009: Milan, Italya

Daniel Moldt, Juan Carlos Augusto, Ulrich Ultes-Nitsche (Eds.): 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
Contents

MSVVEIS 2008: Barcelona, Spain

Ulrich Ultes-Nitsche, Daniel Moldt, Juan Carlos Augusto (Eds.): Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008. INSTICC PRESS 2008, ISBN 978-989-8111-43-2
Contents

MSVVEIS 2007: Funchal, Madeira, Portugal

Juan Carlos Augusto, Joseph Barjis, Ulrich Ultes-Nitsche (Eds.): Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, June 2007. INSTICC PRESS 2007, ISBN 978-972-8865-95-5
Contents

MSVVEIS 2006: Paphos, Cyprus

Joseph Barjis, Ulrich Ultes-Nitsche, Juan Carlos Augusto (Eds.): Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006. INSTICC Press 2006, ISBN 978-972-8865-49-8
Contents

MSVVEIS 2005: Miami, FL, USA

Ulrich Ultes-Nitsche, Juan Carlos Augusto, Joseph Barjis (Eds.): Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with ICEIS 2005, Miami, FL, USA, May 2005. INSTICC Press/INSTICC Press 2005, ISBN 972-8865-22-8
Contents

VVEIS 2004: Porto, Portugal

Juan Carlos Augusto, Ulrich Ultes-Nitsche (Eds.): Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004. INSTICC Press 2004, ISBN 972-8865-03-1
Contents

NDDL/VVEIS 2003: Angers, France

Pedro T. Isaías, Florence Sedes, Juan Carlos Augusto, Ulrich Ultes-Nitsche (Eds.): New Technologies for Information Systems, Proceedings of the 3rd International Workshop on New Developments in Digital Libraries, NDDL 2003, and the 1st International Workshop on Validation and Verification of Software for Enterprise Information Systems, VVEIS 2003, In conjunction with ICEIS 2003, Angers, France, April 2003. ICEIS Press 2003, ISBN 972-98816-2-6
Contents