Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![INSTICC Press, 972-8865-03-1 The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Radu Mateescu 0001 |
A Generic Framework for Model Checking Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 1, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 26-33, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Bill Mitchell, Robert Thomson 0002, Paul Bristow |
Model Synthesis from Imprecise Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 20-25, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | José Creissac Campos, Michael D. Harrison, Karsten Loer |
Verifying user interface behaviour with model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 87-96, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Gian-Luigi Ferrari 0002, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto |
Verication On The Web Of Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 72-74, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Raees Ahmad Khan, Khurram Mustafa |
High Level Design Quality Assessment of Object Oriented Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 34-43, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Marisa A. Sanchez, Juan Carlos Augusto, Miguel Felder |
Fault-based Testing of E-Commerce Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 66-74, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Jaime Ramírez, Angélica de Antonio |
Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 84-86, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Il-Gon Kim, Jin-Young Choi |
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 75-77, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Y. Tang, Jing-Bing Zhang, Chak-Huah Tan, Ming Mao Wong, Bryan Tsong-Jye Ng |
A Multi-Stage Approach to Asymmetric Legacy Information Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 50-59, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | W. L. Yeung |
A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 2-9, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Kenro Yatake, Toshiaki Aoki, Takuya Katayama |
Collaboration-based verification of Object-Oriented models in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 78-80, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | John A. van der Poll, Paula Kotzé |
Reasoning about the Properties of an Enterprise Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 10-19, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Lizhang Qin, Xiaoping Jia, Hongming Liu |
A Hypothesis-Based Approach to Detecting Runtime Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 60-65, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza |
Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 81-83, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVEIS ![In: 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, pp. 44-49, 2004, INSTICC Press, 972-8865-03-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|