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 BibTeX
@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
Full Papers
- W. L. Yeung:
A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML.
2-9 BibTeX
- John A. van der Poll, Paula Kotzé:
Reasoning about the Properties of an Enterprise Information System.
10-19 BibTeX
- Bill Mitchell, Robert Thomson, Paul Bristow:
Model Synthesis from Imprecise Specifications.
20-25 BibTeX
- 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 BibTeX
- R. A. Khan, Khurram Mustafa:
High Level Design Quality Assessment of Object Oriented Codes.
34-43 BibTeX
- 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 BibTeX
- 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 BibTeX
- Lizhang Qin, Xiaoping Jia, Hongming Liu:
A Hypothesis-Based Approach to Detecting Runtime Violations.
60-65 BibTeX
- Marisa A. Sanchez, Juan Carlos Augusto, Miguel Felder:
Fault-based Testing of E-Commerce Applications.
66-74 BibTeX
Posters
- Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto:
Verication On The Web Of Mobile Systems.
72-74 BibTeX
- Il-Gon Kim, Jin-Young Choi:
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR.
75-77 BibTeX
- Kenro Yatake, Toshiaki Aoki, Takuya Katayama:
Collaboration-based verification of Object-Oriented models in HOL.
78-80 BibTeX
- Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza:
Systematic Design of Real-Time Systems Based on CSP+T Process Algebra.
81-83 BibTeX
- Jaime Ramírez, Angélica de Antonio:
Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology.
84-86 BibTeX
Full Paper
Copyright © Sat May 16 23:47:02 2009
by Michael Ley (ley@uni-trier.de)
