default search action

combined dblp search
author search
venue search
publication search

ask others

Correct Software in Web Applications and Web Services 2015

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - books/sp/thalheim2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/thalheim2015
Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger:
Correct Software in Web Applications and Web Services. Texts and monographs in symbolic computation, Springer 2015, ISBN 978-3-319-17111-1
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/Ait-SadouneA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/Ait-SadouneA15
Idir Aït-Sadoune, Yamine Aït Ameur:
Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B. 1-27
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/BergholtzAJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/BergholtzAJ15
Maria Bergholtz, Birger Andersson, Paul Johannesson:
Towards a Model of Services Based on Cocreation, Abstraction and Rights Distribution. 29-44
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/BorekKMRSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/BorekKMRSS15
Marian Borek, Kuzman Katkalov, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications. 45-81
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/BosaHV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/BosaHV15
Károly Bósa, Roxana-Maria Holom, Mircea Boris Vleju:
A Formal Model of Client-Cloud Interaction. 83-144
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/DahanayakeT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/DahanayakeT15
Ajantha Dahanayake, Bernhard Thalheim:
W^∗H: The Conceptual Model for Services. 145-176
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/LampesbergerR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/LampesbergerR15
Harald Lampesberger, Mariam Rady:
Monitoring of Client-Cloud Interaction. 177-228
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/MirandolaPRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/MirandolaPRS15
Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra:
Formal Reliability Models for Web Services. 229-256
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/ScheweW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/ScheweW15
Klaus-Dieter Schewe, Qing Wang:
What Constitutes a Service on the Web? 257-292
- view
  authority control:
- export record
  dblp key:
  - books/sp/15/ThalheimS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/15/ThalheimS15
Bernhard Thalheim, Klaus-Dieter Schewe:
Codesign of Web Information Systems. 293-332

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.