Formal Methods for Web Services

>> Google Books

Formal Methods for Web Services / Marco Bernardo, Takeo Kanade, Luca Padovani, Gianluigi Zavattaro

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2009

著者名:

ISBN:

9783642019173 [364201917X]
9783642019180 [3642019188]

書誌ID:

OB00354931

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Information Technology - Software Engineering

言語:

英語

目次情報:

Calculi for Service-Oriented Computing / Roberto Bruni

Service Interaction: Patterns, Formalization, and Analysis / Wil M.P. van der Aalst ; Arjan J. Mooij ; Christian Stahl ; Karsten Wolf

Synthesis and Composition of Web Services / Annapaola Marconi ; Marco Pistore

Fundamentals of Session Types / Vasco T. Vasconcelos

Asynchronous Session Types: Exceptions and Multiparty Interactions / Marco Carbone ; Nobuko Yoshida ; Kohei Honda

Contract-Based Discovery and Adaptation of Web Services / Luca Padovani

Contract-Based Discovery and Composition of Web Services / Mario Bravetti ; Gianluigi Zavattaro

Quantitative Analysis of Web Services Using SRMC / Allan Clark ; Stephen Gilmore ; Mirco Tribastone

Author Index

Calculi for Service-Oriented Computing / Roberto Bruni

Service Interaction: Patterns, Formalization, and Analysis / Wil M.P. van der Aalst ; Arjan J. Mooij ; Christian Stahl ; Karsten Wolf

Synthesis and Composition of Web Services / Annapaola Marconi ; Marco Pistore

Fundamentals of Session Types / Vasco T. Vasconcelos

Asynchronous Session Types: Exceptions and Multiparty Interactions / Marco Carbone ; Nobuko Yoshida ; Kohei Honda

Contract-Based Discovery and Adaptation of Web Services / Luca Padovani

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Formal Methods for Web Services Bernardo, Marco, Kanade, Takeo, Padovani, Luca, Zavattaro, Gianluigi SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Formal Methods for Eternal Networked Software Systems Bernardo, Marco, Issarny, Val?rie, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック Formal Methods for Computational Systems Biology Bernardo, Marco, Degano, Pierpaolo, Kanade, Takeo, Zavattaro, Gianluigi Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Formal Methods for Performance Evaluation Bernardo, Marco, Hillston, Jane, Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Formal Methods for Computational Systems Biology Bernardo, Marco, Degano, Pierpaolo, Kanade, Takeo, Zavattaro, Gianluigi SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Formal Methods for Hardware Verification Bernardo, Marco, Cimatti, Alessandro, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Web Services and Formal Methods Bravetti, Mario, Kanade, Takeo, Nau?nez, Manuel, N??ez, Manuel, Zavattaro, Gianluigi Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Formal Methods for Performance Evaluation Bernardo, Marco, Hillston, Jane, Hutchison, David, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Web Services and Formal Methods Bravetti, Mario, Kanade, Takeo, Nau?nez, Manuel, Núñez, Manuel, Zavattaro, Gianluigi SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Formal Methods for Quantitative Aspects of Programming Languages Aldini, Alessandro, Bernardo, Marco, Kanade, Takeo, Pierro, Alessandra, Wiklicky, Herbert Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Formal Methods for Hardware Verification Bernardo, Marco, Cimatti, Alessandro, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Formal Methods for Eternal Networked Software Systems Bernardo, Marco, Issarny, Valérie, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12