![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
VVEIS 2004: Porto, Portugal
- Juan Carlos Augusto, Ulrich Ultes-Nitsche:
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
Invited Speakers
- Radu Mateescu:
A Generic Framework for Model Checking Software Architectures. VVEIS 2004: 1
Full Papers
- W. L. Yeung:
A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML. VVEIS 2004: 2-9 - John A. van der Poll, Paula Kotzé:
Reasoning about the Properties of an Enterprise Information System. VVEIS 2004: 10-19 - Bill Mitchell, Robert Thomson, Paul Bristow:
Model Synthesis from Imprecise Specifications. VVEIS 2004: 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. VVEIS 2004: 26-33 - Raees Ahmad Khan, Khurram Mustafa:
High Level Design Quality Assessment of Object Oriented Codes. VVEIS 2004: 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. VVEIS 2004: 44-49 - 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: 50-59 - Lizhang Qin, Xiaoping Jia, Hongming Liu:
A Hypothesis-Based Approach to Detecting Runtime Violations. VVEIS 2004: 60-65 - Marisa A. Sanchez, Juan Carlos Augusto, Miguel Felder:
Fault-based Testing of E-Commerce Applications. VVEIS 2004: 66-74
Posters
- Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto:
Verication On The Web Of Mobile Systems. VVEIS 2004: 72-74 - Il-Gon Kim, Jin-Young Choi:
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. VVEIS 2004: 75-77 - Kenro Yatake, Toshiaki Aoki, Takuya Katayama:
Collaboration-based verification of Object-Oriented models in HOL. VVEIS 2004: 78-80 - Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza:
Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. VVEIS 2004: 81-83 - Jaime Ramírez, Angélica de Antonio:
Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology. VVEIS 2004: 84-86
Full Paper
- José Creissac Campos, Michael D. Harrison, Karsten Loer:
Verifying user interface behaviour with model checking. VVEIS 2004: 87-96
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.