Istituto di Scienza e Tecnologie dell'Informazione     
Ferrari G., Gnesi S., Montanari U., Raggi R., Trentanni G., Tuosto E. Verification on the Web of mobile systems. In: 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004) Systems (Porto, Portugal, 14-17, April 2004). Proceedings, pp. 72 - 74. ScitePress, 2004.
The vast majority of current available verification environments have been built by sticking to traditional architectural style centralized and without dealing with interoperability and dynamic recongurability. In this paper we present a verification toolkit whose design and implementation exploit the Web service architectural paradigm.
URL: http://www.scitepress.org/DigitalLibrary/PublicationsDetail.aspx?ID=S1cZei60WSk=&t=1
DOI: 10.5220/0002660300720074
Subject Formal verification
Mobile systems
D.2.2 Design Tools and Techniques
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional