close
1.

電子ブック
ＥＢ
1. Formal Methods for Industrial Applications
Abrial, Jean-Raymond Abrial, Egon Börger, Hans Langmaack
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1996
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Advances in Software Engineering
Egon Börger, Antonio Cisternino, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Foundations and Methodology
The Name and Nature of Software Engineering / Michael Jackson
A Modeling Language for Program Design and Synthesis / Don Batory
A Method for Verifiable and Validatable Business Process Modeling / Egon Borger ; Bernhard Thalheim
SOA and Web Services
Service Oriented Architecture: Overview and Directions / Boualem Benatallah ; Hamid R. Motahari Nezhad
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions / Domenico Bianculli ; Carlo Ghezzi ; Paola Spoletini ; Luciano Baresi ; Sam Guinea
Software Technology
Software Manipulation with Annotations in Java / Vincenzo Gervasi ; Giacomo A. Galilei
Zero-Overhead Composable Aspects for .NET / Rasmus Johansen ; Peter Sestoft ; Stephan Spangenberg
Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution / Sebastien Vaucouleur
Security
Security in Distributed Applications / Dieter Gollmann
Author Index
Foundations and Methodology
The Name and Nature of Software Engineering / Michael Jackson
A Modeling Language for Program Design and Synthesis / Don Batory
3.

電子ブック
ＥＢ
3. CSL '89
Workshop on Computer Science Logic, Egon Börger, Hans Kleine Büning, Michael M. Richter
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1990
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Computer Science Logic
Workshop on Computer Science Logic, Egon Börger
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1991
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Computer Science Logic
Workshop on Computer Science Logic, Egon Börger, G. Jager, H. Kleine B:uning, Michael M. Richter
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1992
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Computer Science Logic
Workshop on Computer Science Logic, Egon Börger
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1993
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Computer Science Logic
Workshop on Computer Science Logic, Egon Börger, Yuri Gurevich, Karl Meinke
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1994
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Abstract State Machines 2003
ASM 2003, Egon Börger, Angelo Gargantini, Elvinia Riccobene
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2003
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Abstract State Machines, B and Z
Egon Börger, Paul Boca, Jonathan P. Bowen, Michael Butler, Takeo Kanade
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Subject-Oriented Business Process Management
Albert Fleischmann, Egon Börger, Stefan Obermeier, Werner Schmidt, Christian Stary
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼