VVEIS

Keyphrases

Publications

2004

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 VVEIS (2004)
Radu Mateescu
A Generic Framework for Model Checking Software Architectures. VVEIS (2004)
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. VVEIS (2004)
Bill Mitchell, Robert Thomson, Paul Bristow
Model Synthesis from Imprecise Specifications. VVEIS (2004)
José Creissac Campos, Michael D. Harrison, Karsten Loer
Verifying user interface behaviour with model checking. VVEIS (2004)
Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto
Verication On The Web Of Mobile Systems. VVEIS (2004)
Raees Ahmad Khan, Khurram Mustafa
High Level Design Quality Assessment of Object Oriented Codes. VVEIS (2004)
Marisa A. Sanchez, Juan Carlos Augusto, Miguel Felder
Fault-based Testing of E-Commerce Applications. VVEIS (2004)
Jaime Ramírez, Angélica de Antonio
Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology. VVEIS (2004)
Il-Gon Kim, Jin-Young Choi
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. VVEIS (2004)
Y. Tang, Jing-Bing Zhang, Chak-Huah Tan, Ming Mao Wong, Bryan Tsong-Jye Ng
A Multi-Stage Approach to Asymmetric Legacy Information Integration. VVEIS (2004)
W. L. Yeung
A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML. VVEIS (2004)
Kenro Yatake, Toshiaki Aoki, Takuya Katayama
Collaboration-based verification of Object-Oriented models in HOL. VVEIS (2004)
John A. van der Poll, Paula Kotzé
Reasoning about the Properties of an Enterprise Information System. VVEIS (2004)
Lizhang Qin, Xiaoping Jia, Hongming Liu
A Hypothesis-Based Approach to Detecting Runtime Violations. VVEIS (2004)
Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza
Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. VVEIS (2004)
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. VVEIS (2004)