close
1.

電子ブック
ＥＢ
1. Proceedings of the fourth international conference on Architectural support for programming languages and operating systems
International Conference on Architectural Support for Programming Languages and Operating Systems, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 1991
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Proceedings of the 1991 ACM SIGMOD international conference on Management of data
ACM-Sigmod International Conference on Management of Data, James Clifford, Roger A. King, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 1991
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Proceedings of the sixth international conference on Architectural support for programming languages and operating systems
International Conference on Architectural Support for Programming Languages and Operating Systems, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , ACM, 1994
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Software Engineering  EESEC/FSE'97
ESEC/FSE '97, Mehdi Jazayeri, Helmut Schauer, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 1997
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Software Engineering  EESEC/FSE  E9
ESEC/FSE (Conference), Michel Lemoine, Oscar Marius Nierstrasz, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 1999
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck
Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker
Software Components
A Component and Communication Model for Push Systems / Manfred Hauswirth ; Mehdi Jazayeri
A Fine-Grained Model for Code Mobility / Cecilia Mascolo ; Gian Pietro Picco ; Gruia-Catalin Roman
Robots: A Real-Time Systems Architectural Style / Vered Gafni
Software Process
Collaboration and Composition: Issues for a Second Generation Process Language / Brian C. Warboys ; Dharini Balasubramaniam ; R. Mark Greenwood ; Graham N.C. Kirby ; Ken Mayes ; Ron Morrison ; Dave S. Munro
Using UML for Software Process Modeling / Dirk Jäger ; Ansgar Schleicher ; Bernhard Westfechtel
A Probabilistic Model for Software Projects / Frank Padberg
Specification
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future / Nancy G. Leveson ; Mats P.E. Heimdahl ; Jon Damon Reese
Using Model Checking to Generate Tests from Requirements Specifications / Angelo Gargantini ; Constance Heitmeyer
Specification-Based Prototyping for Embedded Systems / Jeffrey M. Thompson ; Steven P. Miller
Program Analysis
Coping with Type Casts in C / Michael Siff ; Satish Chandra ; Thomas Ball ; Krishna Kunchithapadam ; Thomas Reps
Efficient Points-to Analysis for Whole-Program Analysis / Donglin Liang ; Mary Jean Harrold
The Concept of Dynamic Analysis
Data-Flow Analysis of Program Fragments / Atanas Rountev ; Barbara G. Ryder ; William Landi
Testing and Debugging
Yesterday, My Program Worked. Today, It Does Not. Why? / Andreas Zeller
Comparison Checking: An Approach to Avoid Debugging of Optimized Code / Clara Jaramillo ; Rajiv Gupta ; Mary Lou Soffa
Structural Specification-Based Testing: Automated Support and Experimental Evaluation / Juei Chang ; Debra J. Richardson
An Efficient Relevant Slicing Method for Debugging / Tibor Gyimóthy ; Árpád Beszédes ; István Forgács
Java
Analyzing Exception Flow in JavaÖ Programs / Martin P. Robillard ; Gail C. Murphy
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs / Gleb Naumovich ; George S. Avrunin ; Lori A. Clarke
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java / Boris Bokowski
Architecture and Models
The CIP Method: Component- and Model-Based Construction of Embedded Systems / Hugo Fierz
Algebraic Software Architecture Reconfiguration / Michel Wermelinger ; José Luiz Fiadeiro
Consistency Checking for Multiple View Software Architectures / Pascal Fradet ; Daniel Le Métayer ; Michaël Périn
Reuse
Synergy between Component-Based and Generative Approaches / Stan Jarzabek ; Peter Knauber
Transitioning Legacy Assets to a Product Line Architecture / Joachim Bayer ; Jean-François Girard ; Martin Würthner ; Jean-Marc DeBaud ; Martin Apel
CHIME: A Metadata-Based Distributed Software Development Environment / Stephen E. Dossick ; Gail E. Kaiser
Verification and Checking
FACADE: A Typed Intermediate Language Dedicated to Smart Cards / Gilles Grimaud ; Jean-Louis Lanet ; Jean-Jacques Vandewalle
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification / Victor A. Braberman ; Miguel Felder
Checking Progress with Action Priority: Is it Fair? / Dimitra Giannakopoulou ; Jeff Magee ; Jeff Kramer
Author Index
Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck
Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker
6.

電子ブック
ＥＢ
6. Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
ESEC/FSE (Conference), Michel Lemoine, Oscar Marius Nierstrasz, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1999
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck
Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker
Software Components
A Component and Communication Model for Push Systems / Manfred Hauswirth ; Mehdi Jazayeri
A Fine-Grained Model for Code Mobility / Cecilia Mascolo ; Gian Pietro Picco ; Gruia-Catalin Roman
Robots: A Real-Time Systems Architectural Style / Vered Gafni
Software Process
Collaboration and Composition: Issues for a Second Generation Process Language / Brian C. Warboys ; Dharini Balasubramaniam ; R. Mark Greenwood ; Graham N.C. Kirby ; Ken Mayes ; Ron Morrison ; Dave S. Munro
Using UML for Software Process Modeling / Dirk Jäger ; Ansgar Schleicher ; Bernhard Westfechtel
A Probabilistic Model for Software Projects / Frank Padberg
Specification
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future / Nancy G. Leveson ; Mats P.E. Heimdahl ; Jon Damon Reese
Using Model Checking to Generate Tests from Requirements Specifications / Angelo Gargantini ; Constance Heitmeyer
Specification-Based Prototyping for Embedded Systems / Jeffrey M. Thompson ; Steven P. Miller
Program Analysis
Coping with Type Casts in C / Michael Siff ; Satish Chandra ; Thomas Ball ; Krishna Kunchithapadam ; Thomas Reps
Efficient Points-to Analysis for Whole-Program Analysis / Donglin Liang ; Mary Jean Harrold
The Concept of Dynamic Analysis
Data-Flow Analysis of Program Fragments / Atanas Rountev ; Barbara G. Ryder ; William Landi
Testing and Debugging
Yesterday, My Program Worked. Today, It Does Not. Why? / Andreas Zeller
Comparison Checking: An Approach to Avoid Debugging of Optimized Code / Clara Jaramillo ; Rajiv Gupta ; Mary Lou Soffa
Structural Specification-Based Testing: Automated Support and Experimental Evaluation / Juei Chang ; Debra J. Richardson
An Efficient Relevant Slicing Method for Debugging / Tibor Gyimóthy ; Árpád Beszédes ; István Forgács
Java
Analyzing Exception Flow in JavaÖ Programs / Martin P. Robillard ; Gail C. Murphy
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs / Gleb Naumovich ; George S. Avrunin ; Lori A. Clarke
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java / Boris Bokowski
Architecture and Models
The CIP Method: Component- and Model-Based Construction of Embedded Systems / Hugo Fierz
Algebraic Software Architecture Reconfiguration / Michel Wermelinger ; José Luiz Fiadeiro
Consistency Checking for Multiple View Software Architectures / Pascal Fradet ; Daniel Le Métayer ; Michaël Périn
Reuse
Synergy between Component-Based and Generative Approaches / Stan Jarzabek ; Peter Knauber
Transitioning Legacy Assets to a Product Line Architecture / Joachim Bayer ; Jean-François Girard ; Martin Würthner ; Jean-Marc DeBaud ; Martin Apel
CHIME: A Metadata-Based Distributed Software Development Environment / Stephen E. Dossick ; Gail E. Kaiser
Verification and Checking
FACADE: A Typed Intermediate Language Dedicated to Smart Cards / Gilles Grimaud ; Jean-Louis Lanet ; Jean-Jacques Vandewalle
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification / Victor A. Braberman ; Miguel Felder
Checking Progress with Action Priority: Is it Fair? / Dimitra Giannakopoulou ; Jeff Magee ; Jeff Kramer
Author Index
Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck
Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker
7.

電子ブック
ＥＢ
7. Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
ESEC/FSE '97, Mehdi Jazayeri, Helmut Schauer, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1997
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼