close
1.

電子ブック
ＥＢ
1. Agent-Oriented Software Engineering IX
Michael Luck, Jorge J. Gomez-Sanz, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Logic-Based Program Synthesis and Transformation
Michael Hanus, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Software Engineering
Andrea Lucia, Filomena Ferrucci, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Software Requirements and Design
The Future of Software: Adaptation and Dependability / Paola Inverardi ; Massimo Tivoli
Autonomic Computing Now You See It, Now You Don't: Design and Evolution of Autonomic Software Systems / Hausi A. Muller ; Holger M. Kienle ; Ulrike Stege
Impact of Usability on Software Requirements and Design / Natalia Juristo
Software Testing and Reverse Engineering
Service-Oriented Architectures Testing: A Survey / Gerardo Canfora and Massimiliano Di Penta
The PLASTIC Framework and Tools for Testing Service-Oriented Applications / Antonia Bertolino ; Guglielmo De Angelis ; Lars Frantzen ; Andrea Polini
Architecture Reconstruction: Tutorial on Reverse Engineering to the Architectural Level / Rainer Koschke
Management
Collaboration in Distributed Software Development / Filippo Lanubile
Web Cost Estimation and Productivity Benchmarking / Emilia Mendes
Knowledge Base and Experience Factory for Empowering Competitiveness / Giuseppe Visaggio
Author Index
Software Requirements and Design
The Future of Software: Adaptation and Dependability / Paola Inverardi ; Massimo Tivoli
Autonomic Computing Now You See It, Now You Don't: Design and Evolution of Autonomic Software Systems / Hausi A. Muller ; Holger M. Kienle ; Ulrike Stege
4.

電子ブック
ＥＢ
4. Software Language Engineering
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Fundamental Approaches to Software Engineering
Marsha Chechik, Takeo Kanade, Martin Wirsing
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Hardware and Software: Verification and Testing
Hana Chockler, Alan J. Hu, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Models in Software Engineering
Michel R. V. Chaudron, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Trustworthy Global Computing
Christos Kaklamanis, Takeo Kanade, Flemming Nielson
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Formal Methods for Web Services
Marco Bernardo, Takeo Kanade, Luca Padovani, Gianluigi Zavattaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
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
10.

電子ブック
ＥＢ
10. Trustworthy Software Development Processes
Qing Wang, Vahid Garousi, Takeo Kanade, Raymond Madachy, Dietmar Pfahl
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼