Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Correct software in web applications...
~
SpringerLink (Online service)
Correct software in web applications and web services
Record Type:
Electronic resources : Monograph/item
Title/Author:
Correct software in web applications and web servicesedited by Bernhard Thalheim ... [et al.].
other author:
Thalheim, Bernhard.
Published:
Cham :Springer International Publishing :2015.
Description:
xiv, 332 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Computer softwareVerification.
Online resource:
http://dx.doi.org/10.1007/978-3-319-17112-8
ISBN:
9783319171128 (electronic bk.)
Correct software in web applications and web services
Correct software in web applications and web services
[electronic resource] /edited by Bernhard Thalheim ... [et al.]. - Cham :Springer International Publishing :2015. - xiv, 332 p. :ill., digital ;24 cm. - Texts & monographs in symbolic computation,0943-853X. - Texts & monographs in symbolic computation..
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.
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.
ISBN: 9783319171128 (electronic bk.)
Standard No.: 10.1007/978-3-319-17112-8doiSubjects--Topical Terms:
184731
Computer software
--Verification.
LC Class. No.: QA76.76.V47
Dewey Class. No.: 005.14
Correct software in web applications and web services
LDR
:02364nmm a2200337 a 4500
001
471272
003
DE-He213
005
20160115110222.0
006
m d
007
cr nn 008maaau
008
160223s2015 gw s 0 eng d
020
$a
9783319171128 (electronic bk.)
020
$a
9783319171111 (paper)
024
7
$a
10.1007/978-3-319-17112-8
$2
doi
035
$a
978-3-319-17112-8
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.76.V47
072
7
$a
UMZ
$2
bicssc
072
7
$a
UL
$2
bicssc
072
7
$a
COM051230
$2
bisacsh
082
0 4
$a
005.14
$2
23
090
$a
QA76.76.V47
$b
C824 2015
245
0 0
$a
Correct software in web applications and web services
$h
[electronic resource] /
$c
edited by Bernhard Thalheim ... [et al.].
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2015.
300
$a
xiv, 332 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Texts & monographs in symbolic computation,
$x
0943-853X
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.
650
0
$a
Computer software
$x
Verification.
$3
184731
650
0
$a
Web applications.
$3
609604
650
0
$a
Application software
$x
Development.
$3
189413
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Software Engineering/Programming and Operating Systems.
$3
273711
650
2 4
$a
Mathematical Applications in Computer Science.
$3
530811
650
2 4
$a
Algorithms.
$3
184661
700
1
$a
Thalheim, Bernhard.
$3
467208
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
830
0
$a
Texts & monographs in symbolic computation.
$3
726410
856
4 0
$u
http://dx.doi.org/10.1007/978-3-319-17112-8
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000117917
電子館藏
1圖書
電子書
EB QA76.76.V47 C824 2015
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-319-17112-8
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login