| 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  |
VVEIS  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Radu Mateescu 0001 |
A Generic Framework for Model Checking Software Architectures. |
VVEIS |
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. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Bill Mitchell, Robert Thomson 0002, Paul Bristow |
Model Synthesis from Imprecise Specifications. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | José Creissac Campos, Michael D. Harrison, Karsten Loer |
Verifying user interface behaviour with model checking. |
VVEIS |
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. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Raees Ahmad Khan, Khurram Mustafa |
High Level Design Quality Assessment of Object Oriented Codes. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marisa A. Sanchez, Juan Carlos Augusto, Miguel Felder |
Fault-based Testing of E-Commerce Applications. |
VVEIS |
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. |
VVEIS |
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. |
VVEIS |
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. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | W. L. Yeung |
A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Kenro Yatake, Toshiaki Aoki, Takuya Katayama |
Collaboration-based verification of Object-Oriented models in HOL. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | John A. van der Poll, Paula Kotzé |
Reasoning about the Properties of an Enterprise Information System. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Lizhang Qin, Xiaoping Jia, Hongming Liu |
A Hypothesis-Based Approach to Detecting Runtime Violations. |
VVEIS |
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. |
VVEIS |
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. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license