lnu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Compositional Verification of Middleware-Based Software Architecture Descriptions
Università dellýAquila, Italy.ORCID-id: 0000-0001-6981-0966
Università dellýAquila, Italy.
Università dellýAquila, Italy.
2004 (Engelska)Ingår i: Proceedings of the 26th International Conference on Software Engineering (ICSE '04), IEEE Press, 2004, s. 221-230Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

In this paper we present a compositional reasoning to verify middleware-based software architecturedescriptions. We consider a nowadays typical software system development, namely the development of a software application A on a middleware M. Our goal is to efficiently integrate verification techniques, like model checking, in the software life cycle in order to improve the overall software quality. The approach exploits the structure imposed on the system by the software architecture in order to develop an assume-guarantee methodology to reduce properties verification from global to local. We apply the methodology on a non-trivial case study namely the development of a Gnutella system on top of the SIENA event-notification middleware.

Ort, förlag, år, upplaga, sidor
IEEE Press, 2004. s. 221-230
Nationell ämneskategori
Data- och informationsvetenskap Programvaruteknik
Identifikatorer
URN: urn:nbn:se:lnu:diva-40942DOI: 10.1109/ICSE.2004.1317444OAI: oai:DiVA.org:lnu-40942DiVA, id: diva2:795979
Konferens
The 26th International Conference on Software Engineering, 23-28 May, 2004
Tillgänglig från: 2015-03-17 Skapad: 2015-03-17 Senast uppdaterad: 2018-01-11Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltexthttp://dl.acm.org/citation.cfm?id=998675.999427

Personposter BETA

Caporuscio, Mauro

Sök vidare i DiVA

Av författaren/redaktören
Caporuscio, Mauro
Data- och informationsvetenskapProgramvaruteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 78 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf