VVEIS 2004: Porto, Portugal

@proceedings{DBLP:conf/vveis/2004,
  editor    = {Juan Carlos Augusto and
               Ulrich Ultes-Nitsche},
  title     = {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},
  booktitle = {VVEIS},
  publisher = {INSTICC Press},
  year      = {2004},
  isbn      = {972-8865-03-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Speakers

• Radu Mateescu: A Generic Framework for Model Checking Software Architectures. 1

Full Papers

• W. L. Yeung: A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML. 2-9
• John A. van der Poll, Paula Kotzé: Reasoning about the Properties of an Enterprise Information System. 10-19
• Bill Mitchell, Robert Thomson, Paul Bristow: Model Synthesis from Imprecise Specifications. 20-25
• Miguel J. Hornos: Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata. 26-33
• R. A. Khan, Khurram Mustafa: High Level Design Quality Assessment of Object Oriented Codes. 34-43
• Agustín Yagüe, Pedro Pablo Alarcón, Juan Garbajosa, Alexei Lisounkin, Gerhard Schreck: Construction of Verified Models for Systems Construction of Verified Models for Systems Represented as Networks. 44-49
• Y. Tang, J. B. Zhang, C. H. Tan, M. M. Wong, T. J. Ng: A Multi-Stage Approach to Asymmetric Legacy Information Integration. 50-59
• Lizhang Qin, Xiaoping Jia, Hongming Liu: A Hypothesis-Based Approach to Detecting Runtime Violations. 60-65
• Marisa A. Sanchez, Juan Carlos Augusto, Miguel Felder: Fault-based Testing of E-Commerce Applications. 66-74

Posters

• Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto: Verication On The Web Of Mobile Systems. 72-74
• Il-Gon Kim, Jin-Young Choi: New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. 75-77
• Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Collaboration-based verification of Object-Oriented models in HOL. 78-80
• Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza: Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. 81-83
• Jaime Ramírez, Angélica de Antonio: Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology. 84-86

Full Paper

• José Creissac Campos, Michael D. Harrison, Karsten Loer: Verifying user interface behaviour with model checking. 87-96