Abstract is missing.
- A Generic Framework for Model Checking Software ArchitecturesRadu Mateescu. 1
- A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UMLW. L. Yeung. 2-9
- Reasoning about the Properties of an Enterprise Information SystemJohn A. van der Poll, Paula Kotzé. 10-19
- Model Synthesis from Imprecise SpecificationsBill Mitchell, Robert Thomson, Paul Bristow. 20-25
- Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi AutomataMiguel J. Hornos. 26-33
- High Level Design Quality Assessment of Object Oriented CodesR. A. Khan, Khurram Mustafa. 34-43
- Construction of Verified Models for Systems Construction of Verified Models for Systems Represented as NetworksAgustín Yagüe, Pedro Pablo Alarcón, Juan Garbajosa, Alexei Lisounkin, Gerhard Schreck. 44-49
- A Multi-Stage Approach to Asymmetric Legacy Information IntegrationY. Tang, J. B. Zhang, C. H. Tan, M. M. Wong, T. J. Ng. 50-59
- A Hypothesis-Based Approach to Detecting Runtime ViolationsLizhang Qin, Xiaoping Jia, Hongming Liu. 60-65
- Fault-based Testing of E-Commerce ApplicationsMarisa A. Sanchez, Juan Carlos Augusto, Miguel Felder. 66-74
- Verication On The Web Of Mobile SystemsGian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto. 72-74
- New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDRIl-Gon Kim, Jin-Young Choi. 75-77
- Collaboration-based verification of Object-Oriented models in HOLKenro Yatake, Toshiaki Aoki, Takuya Katayama. 78-80
- Systematic Design of Real-Time Systems Based on CSP+T Process AlgebraManuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza. 81-83
- Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic TerminologyJaime Ramírez, Angélica de Antonio. 84-86
- Verifying user interface behaviour with model checkingJosé Creissac Campos, Michael D. Harrison, Karsten Loer. 87-96