Tools and Verification (Contributo in volume (capitolo o saggio))

Type

• Prodotto della ricerca (Classe)
• Contributo in volume (capitolo o saggio) (Classe)

Label

• Tools and Verification (Contributo in volume (capitolo o saggio)) (literal)

Anno

• 2011-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-642-20401-2_19 (literal)

Alternative label

• Bartoletti M., Caires L., Lanese I., Mazzanti F., Sangiorgi D., Vieira H. T., Zunino R. (2011)
  Tools and Verification
  Springer-Verlag, Berlin/Heidelberg (Germania) in Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, 2011
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Bartoletti M., Caires L., Lanese I., Mazzanti F., Sangiorgi D., Vieira H. T., Zunino R. (literal)

Pagina inizio

• 408 (literal)

Pagina fine

• 427 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://link.springer.com/chapter/10.1007/978-3-642-20401-2_19 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

• 6582 (literal)

Note

• PuMa (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari, Italy ; CITI and Dep. de Informatica, FCT, Universidade Nova de Lisboa, Portugal ; Focus Team, Università di Bologna/INRIA, Italy ; CNR-ISTI, Pisa, Italy; Dipartimento di Ingegneria e Scienza dell'Informazione, Università di Trento, Italy (literal)

Titolo

• Tools and Verification (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-3-642-20400-5 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

• Martin Wirsing, Matthias Hölzl (literal)

Abstract

• This chapter presents different tools that have been developed inside the Sensoria project. Sensoria studied qualitative analysis techniques for verifying properties of service implementations with respect to their formal specifications. The tools presented in this chapter have been developed to carry out the analysis in an automated, or semi-automated, way. We present four different tools, all developed during the Sensoria project, exploiting new techniques and calculi from the Sensoria project itself. (literal)

Editore

• Springer-Verlag (Editore)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• FRANCO MAZZANTI (Persona)

Incoming links:

Autore CNR di

• FRANCO MAZZANTI (Persona)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Editore di

• Springer-Verlag (Editore)