Search dblp for Publications

export results for "toc:db/books/collections/thalheim2015.bht:"

 download as .bib file

@incollection{DBLP:books/sp/15/Ait-SadouneA15,
  author       = {Idir A{\"{\i}}t{-}Sadoune and
                  Yamine A{\"{\i}}t Ameur},
  editor       = {Bernhard Thalheim and
                  Klaus{-}Dieter Schewe and
                  Andreas Prinz and
                  Bruno Buchberger},
  title        = {Formal Modelling and Verification of Transactional Web Service Composition:
                  {A} Refinement and Proof Approach with Event-B},
  booktitle    = {Correct Software in Web Applications and Web Services},
  series       = {Texts and monographs in symbolic computation},
  pages        = {1--27},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17112-8\_1},
  doi          = {10.1007/978-3-319-17112-8\_1},
  timestamp    = {Wed, 25 Sep 2019 17:41:11 +0200},
  biburl       = {https://dblp.org/rec/books/sp/15/Ait-SadouneA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/15/BergholtzAJ15,
  author       = {Maria Bergholtz and
                  Birger Andersson and
                  Paul Johannesson},
  editor       = {Bernhard Thalheim and
                  Klaus{-}Dieter Schewe and
                  Andreas Prinz and
                  Bruno Buchberger},
  title        = {Towards a Model of Services Based on Cocreation, Abstraction and Rights
                  Distribution},
  booktitle    = {Correct Software in Web Applications and Web Services},
  series       = {Texts and monographs in symbolic computation},
  pages        = {29--44},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17112-8\_2},
  doi          = {10.1007/978-3-319-17112-8\_2},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/15/BergholtzAJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/15/BorekKMRSS15,
  author       = {Marian Borek and
                  Kuzman Katkalov and
                  Nina Moebius and
                  Wolfgang Reif and
                  Gerhard Schellhorn and
                  Kurt Stenzel},
  editor       = {Bernhard Thalheim and
                  Klaus{-}Dieter Schewe and
                  Andreas Prinz and
                  Bruno Buchberger},
  title        = {Integrating a Model-Driven Approach and Formal Verification for the
                  Development of Secure Service Applications},
  booktitle    = {Correct Software in Web Applications and Web Services},
  series       = {Texts and monographs in symbolic computation},
  pages        = {45--81},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17112-8\_3},
  doi          = {10.1007/978-3-319-17112-8\_3},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/15/BorekKMRSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/15/BosaHV15,
  author       = {K{\'{a}}roly B{\'{o}}sa and
                  Roxana{-}Maria Holom and
                  Mircea Boris Vleju},
  editor       = {Bernhard Thalheim and
                  Klaus{-}Dieter Schewe and
                  Andreas Prinz and
                  Bruno Buchberger},
  title        = {A Formal Model of Client-Cloud Interaction},
  booktitle    = {Correct Software in Web Applications and Web Services},
  series       = {Texts and monographs in symbolic computation},
  pages        = {83--144},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17112-8\_4},
  doi          = {10.1007/978-3-319-17112-8\_4},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/15/BosaHV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/15/DahanayakeT15,
  author       = {Ajantha Dahanayake and
                  Bernhard Thalheim},
  editor       = {Bernhard Thalheim and
                  Klaus{-}Dieter Schewe and
                  Andreas Prinz and
                  Bruno Buchberger},
  title        = {W\({}^{\mbox{{\({_\ast}\)}}}\)H: The Conceptual Model for Services},
  booktitle    = {Correct Software in Web Applications and Web Services},
  series       = {Texts and monographs in symbolic computation},
  pages        = {145--176},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17112-8\_5},
  doi          = {10.1007/978-3-319-17112-8\_5},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/15/DahanayakeT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/15/LampesbergerR15,
  author       = {Harald Lampesberger and
                  Mariam Rady},
  editor       = {Bernhard Thalheim and
                  Klaus{-}Dieter Schewe and
                  Andreas Prinz and
                  Bruno Buchberger},
  title        = {Monitoring of Client-Cloud Interaction},
  booktitle    = {Correct Software in Web Applications and Web Services},
  series       = {Texts and monographs in symbolic computation},
  pages        = {177--228},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17112-8\_6},
  doi          = {10.1007/978-3-319-17112-8\_6},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/15/LampesbergerR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/15/MirandolaPRS15,
  author       = {Raffaela Mirandola and
                  Pasqualina Potena and
                  Elvinia Riccobene and
                  Patrizia Scandurra},
  editor       = {Bernhard Thalheim and
                  Klaus{-}Dieter Schewe and
                  Andreas Prinz and
                  Bruno Buchberger},
  title        = {Formal Reliability Models for Web Services},
  booktitle    = {Correct Software in Web Applications and Web Services},
  series       = {Texts and monographs in symbolic computation},
  pages        = {229--256},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17112-8\_7},
  doi          = {10.1007/978-3-319-17112-8\_7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/15/MirandolaPRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/15/ScheweW15,
  author       = {Klaus{-}Dieter Schewe and
                  Qing Wang},
  editor       = {Bernhard Thalheim and
                  Klaus{-}Dieter Schewe and
                  Andreas Prinz and
                  Bruno Buchberger},
  title        = {What Constitutes a Service on the Web?},
  booktitle    = {Correct Software in Web Applications and Web Services},
  series       = {Texts and monographs in symbolic computation},
  pages        = {257--292},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17112-8\_8},
  doi          = {10.1007/978-3-319-17112-8\_8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/15/ScheweW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/15/ThalheimS15,
  author       = {Bernhard Thalheim and
                  Klaus{-}Dieter Schewe},
  editor       = {Bernhard Thalheim and
                  Klaus{-}Dieter Schewe and
                  Andreas Prinz and
                  Bruno Buchberger},
  title        = {Codesign of Web Information Systems},
  booktitle    = {Correct Software in Web Applications and Web Services},
  series       = {Texts and monographs in symbolic computation},
  pages        = {293--332},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17112-8\_9},
  doi          = {10.1007/978-3-319-17112-8\_9},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/15/ThalheimS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/sp/thalheim2015,
  editor       = {Bernhard Thalheim and
                  Klaus{-}Dieter Schewe and
                  Andreas Prinz and
                  Bruno Buchberger},
  title        = {Correct Software in Web Applications and Web Services},
  series       = {Texts and monographs in symbolic computation},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17112-8},
  doi          = {10.1007/978-3-319-17112-8},
  isbn         = {978-3-319-17111-1},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/thalheim2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.