Correct Software in Web Applications and Web Services (Record no. 58468)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03492nam a22005535i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-319-17112-8 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200421112544.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 150612s2015 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783319171128 |
| -- | 978-3-319-17112-8 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 005.1 |
| 245 10 - TITLE STATEMENT | |
| Title | Correct Software in Web Applications and Web Services |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XIV, 332 p. 99 illus., 58 illus. in color. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | 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 Distribution -- Integrating 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| General subdivision | Mathematics. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Thalheim, Bernhard. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Schewe, Klaus-Dieter. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Prinz, Andreas. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Buchberger, Bruno. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-319-17112-8 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2015. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer mathematics. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Algorithms. |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Software Engineering/Programming and Operating Systems. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Mathematical Applications in Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Algorithms. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 0943-853X |
| 912 ## - | |
| -- | ZDB-2-SCS |
No items available.