| 000 | 00000nam u2200205 a 4500 | |
| 001 | 000046036396 | |
| 005 | 20200717105405 | |
| 006 | m d | |
| 007 | cr | |
| 008 | 200702s2015 sz a ob 000 0 eng d | |
| 020 | ▼a 9783319171128 | |
| 040 | ▼a 211009 ▼c 211009 ▼d 211009 | |
| 082 | 0 4 | ▼a 005.1/4 ▼2 23 |
| 084 | ▼a 005.14 ▼2 DDCK | |
| 090 | ▼a 005.14 | |
| 245 | 0 0 | ▼a Correct software in web applications and web services ▼h [electronic resource] / ▼c Bernhard Thalheim ... [et al.], editors. |
| 260 | ▼a Cham : ▼b Springer International Publishing : ▼b Imprint: Springer, ▼c 2015. | |
| 300 | ▼a 1 online resource (xiv, 332 p.) : ▼b ill. (chiefly col.). | |
| 490 | 1 | ▼a Texts and monographs in symbolic computation, ▼x 0943-853X, ▼x 2197-8409 (electronic) |
| 500 | ▼a Title from e-Book title page. | |
| 504 | ▼a Includes bibliographical references. | |
| 505 | 0 | ▼a 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 | ▼a 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. | |
| 530 | ▼a Issued also as a book. | |
| 538 | ▼a Mode of access: World Wide Web. | |
| 650 | 0 | ▼a Computer software ▼x Verification. |
| 650 | 0 | ▼a Web applications. |
| 650 | 0 | ▼a Application software ▼x Development. |
| 700 | 1 | ▼a Thalheim, B. ▼q (Bernhard), ▼d 1952-. |
| 830 | 0 | ▼a Texts and monographs in symbolic computation. |
| 856 | 4 0 | ▼u https://oca.korea.ac.kr/link.n2s?url=http://dx.doi.org/10.1007/978-3-319-17112-8 |
| 945 | ▼a KLPA | |
| 991 | ▼a E-Book(소장) |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/e-Book 컬렉션/ | 청구기호 CR 005.14 | 등록번호 E14027475 | 도서상태 대출불가(열람가능) | 반납예정일 | 예약 | 서비스 |