close
1.

図書

図書
Dang Van Hung , Martin Wirsing (eds.)
出版情報: Berlin : Springer, c2005  xiv, 614 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3722
所蔵情報: loading…
2.

図書

図書
Martin Wirsing, Alexander Knapp, Simonetta Balsamo, (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 357 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2941
所蔵情報: loading…
目次情報: 続きを見る
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case) / Egidio Astesiano ; Maura Cerioli ; Gianna Reggio
Tight Structuring for Precise UML-Based Requirement Specifications
Integrating Performance Modeling in the Software Development Process / Simonetta Balsamo ; Marta Simeoni
The Inevitable Pain of Software Development: Why There Is No Silver Bullet / Daniel M. Berry
Toward Component-Oriented Formal Software Development: An Algebraic Approach / Michel Bidoit ; Donald Sannella ; Andrzej Tarlecki
Higher Order Applicative XML Documents / Peter T. Breuer ; Carlos Delgado Kloos ; Vicente Luque Centeno ; Luis Fernández Sánchez
A New Paradigm for Requirements Specification and Analysis of System-of-Systems / Dale S. Caffall ; James B. Michael
Towards Ontology Driven Software Design / Paolo Ciancarini ; Valentina Presutti
A Model Based Development Approach for Distributed Embedded Systems / Frédéric Gilliers ; Fabrice Kordon ; Dan Regep
Pervasive Challenges for Software Components / Thomas Gschwind ; Mehdi Jazayeri ; Johann Oberleitner
Model Generation for Legacy Systems / Hardi Hungar ; Tiziana Margaria ; Bernhard Steffen
Automatic Failures-Free Connector Synthesis: An Example / Paola Inverardi ; Massimo Tivoli
Module Dependences in Software Design / Daniel Jackson
Towards Fully Automatic Execution Monitoring / Clinton Jeffery ; Mikhail Auguston ; Scott Underwood
Automation of Software System Development Using Natural Language Processing and Two-Level Grammar / Beum-Seuk Lee ; Barrett R. Bryant
A General Resource Framework for Real-Time Systems / Insup Lee ; Anna Philippou ; Oleg Sokolsky
Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems / Bruce Lewis
A Computational Model for Complex Systems of Embedded Systems / Luqi ; Ying Qiao ; Lin Zhang
Software Evolution as the Key to Productivity / Oscar Nierstrasz
Model-Checking Complex Software - A Memory Perspective / Murali Rangarajan ; Darren Cofer
Agile Modeling with the UML / Bernhard Rumpe
Predictable Component Architectures Using Dependent Finite State Machines / Heinz W. Schmidt ; Bernd J. Krämer ; Iman Poernomo ; Ralf Reussner
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering / Axel van Lamsweerde ; Emmanuel Letier
View Consistency in Software Development / Martin Wirsing ; Alexander Knapp
Author Index
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case) / Egidio Astesiano ; Maura Cerioli ; Gianna Reggio
Tight Structuring for Precise UML-Based Requirement Specifications
Integrating Performance Modeling in the Software Development Process / Simonetta Balsamo ; Marta Simeoni
3.

図書

図書
edited by Martin Wirsing
出版情報: Amsterdam ; Tokyo : North-Holland Pub. Co., 1987  xii, 453 p. ; 24 cm
所蔵情報: loading…
4.

図書

図書
R. Cori, M. Wirsing (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  ix, 404 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 294
所蔵情報: loading…
目次情報: 続きを見る
Complexity
Formal Languages
Rewriting Systems and Abstract Data Types
Graph Grammars
Distributed Algorithms
Geometrical Algorithms
Trace Languages
Semantics of Parallelism
Systems Demonstrations
Complexity
Formal Languages
Rewriting Systems and Abstract Data Types
5.

図書

図書
Martin Wirsing, Maurice Nivat (eds.)
出版情報: Berlin : Springer, c1996  xii, 640 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1101
所蔵情報: loading…
6.

図書

図書
edited by F.J. Brandenburg, G. Vidal-Naquet and M. Wirsing
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 483 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 247
所蔵情報: loading…
7.

図書

図書
M. Wirsing, J.A. Bergstra, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989-c1991  2 v. ; 25 cm
シリーズ名: Lecture notes in computer science ; 394, 490
所蔵情報: loading…
8.

図書

図書
M. Bruynooghe, M. Wirsing, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992  xi, 492 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 631
所蔵情報: loading…
9.

図書

図書
J. Maluszyński, M. Wirsing, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  xi, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 528
所蔵情報: loading…
10.

図書

図書
M. Broy, M. Wirsing, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  xii, 268 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 544
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼