Correct software in web applications and web services

Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B.-Towards a Model of Services based on Co-creation, Abstraction and Rights DistributionIntegrating a Model-Driven Approach and Formal Verification for the Development of Secure Se...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Thalheim, Bernhard (HerausgeberIn), Schewe, Klaus-Dieter (BerichterstatterIn), Prinz, Andreas (BerichterstatterIn), Buchberger, Bruno (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham, Heidelberg u.a. Springer 2015
Schriftenreihe:	Texts & monographs in symbolic computation
Schlagworte:	Computer science > Software engineering > Algorithms > Computer Science > Aufsatzsammlung > Informatik > Software Engineering > Betriebssystem > Software > Algorithmus
Online Zugang:	Cover
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Beschreibung
Zusammenfassung:	Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B.-Towards a Model of Services based on Co-creation, Abstraction and Rights DistributionIntegrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications -- A Formal Model of Client-Cloud Interaction -- W*H: The Conceptual Model for Services -- Monitoring of Client-Cloud Interaction -- Formal Reliability Models for Web Services -- What Constitutes a Service on the Web? -- Co-Design of Web Information Systems.
Beschreibung:	Literaturangaben
Beschreibung:	XIV, 332 S. Ill., graph. Darst.
ISBN:	9783319171111 978-3-319-17111-1