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

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!