Search records | 東京工業大学附属図書館蔵書検索

選択: 全てをチェック | 全てのチェックをはずす

表示順選択

10 | 50 | 100 / ページ

検索結果: 91 件

電子ブック

ＥＢ

1. Cooperative Bug Isolation

Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.

出版情報:	Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
子書誌情報:	loading…
所蔵情報:	loading…

目次情報: 続きを見る

Introduction / 1：

Perfect, or Close Enough / 1.1：

Automatic Failure Reporting / 1.2：

The Next Step Forward / 1.3：

Cooperative Bug Isolation / 1.4：

Instrumentation Framework / 2：

Basic Instrumentation Strategy / 2.1：

Sampling the Bernoulli Way / 2.1.1：

From Blocks to Functions / 2.1.2：

Interprocedural Issues / 2.1.3：

Instrumentation Schemes for Distributed Debugging / 2.2：

Issues in Remote Sampling / 2.2.1：

Counter-Based Instrumentation Schemes / 2.2.2：

Additional Instrumentation Schemes / 2.2.3：

Performance and Optimizations / 2.3：

Static Branch Prediction / 2.3.1：

Weightless Functions / 2.3.2：

Empty and Singleton Regions / 2.3.3：

Local Countdown Caching / 2.3.4：

Random Countdown Generation / 2.3.5：

Path Balancing / 2.3.6：

Statically Selective Sampling / 2.3.7：

Optimization Recap / 2.3.8：

Adaptive Sampling / 2.4：

Nonuniformity Via Multiple Countdowns / 2.4.1：

Nonuniformity Via Non-Unit Site Weights / 2.4.2：

Policy Notes / 2.4.3：

Realistic Sampling Rates / 2.5：

Practical Considerations / 3：

Native Compiler Integration / 3.1：

Static Site Information / 3.1.1：

Libraries and Plugins / 3.2：

Threads / 3.3：

Next-Sample Countdown / 3.3.1：

Predicate Counters / 3.3.2：

Compilation Unit Registry and Report File / 3.3.3：

Time Stamp Clock / 3.3.4：

Performance Evaluation / 3.3.5：

Privacy and Security / 3.4：

User Interaction / 3.5：

Status of the Public Deployment / 3.6：

Resource Requirements / 3.6.1：

Reporting Trends / 3.6.2：

Techniques for Statistical Debugging / 4：

Notation and Terminology / 4.1：

Predicate Elimination / 4.2：

Instrumentation Strategy / 4.2.1：

Elimination Strategies / 4.2.2：

Data Collection and Analysis / 4.2.3：

Refinement over time / 4.2.4：

Performance Impact / 4.2.5：

Limitations and Insights / 4.2.6：

Regularized Logistic Regression / 4.3：

Crash Prediction Using Logistic Regression / 4.3.1：

Moss: A Multiple-Bug Challenge / 4.3.2：

Nonuniform Sampling / 4.4.1：

Analysis Results / 4.4.2：

Iterative Bug Isolation and Elimination / 4.5：

Increase Scores / 4.5.1：

Statistical Interpretation / 4.5.2：

Balancing Specificity and Sensitivity / 4.5.3：

Redundancy Elimination / 4.5.4：

Case Studies / 4.6：

Moss / 4.6.1：

CCRYPT / 4.6.2：

BC / 4.6.3：

EXIF / 4.6.4：

Rhythmbox / 4.6.5：

Related Work / 5：

Static Analysis / 5.1：

Profiling and Tracing / 5.2：

Dynamic Analysis / 5.3：

Conclusion / 6：

References

Introduction / 1：

Perfect, or Close Enough / 1.1：

Automatic Failure Reporting / 1.2：

電子ブック

ＥＢ

2. Cooperative Bug Isolation

Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.

出版情報:	SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
子書誌情報:	loading…
所蔵情報:	loading…

目次情報: 続きを見る

Introduction / 1：

Perfect, or Close Enough / 1.1：

Automatic Failure Reporting / 1.2：

The Next Step Forward / 1.3：

Cooperative Bug Isolation / 1.4：

Instrumentation Framework / 2：

Basic Instrumentation Strategy / 2.1：

Sampling the Bernoulli Way / 2.1.1：

From Blocks to Functions / 2.1.2：

Interprocedural Issues / 2.1.3：

Instrumentation Schemes for Distributed Debugging / 2.2：

Issues in Remote Sampling / 2.2.1：

Counter-Based Instrumentation Schemes / 2.2.2：

Additional Instrumentation Schemes / 2.2.3：

Performance and Optimizations / 2.3：

Static Branch Prediction / 2.3.1：

Weightless Functions / 2.3.2：

Empty and Singleton Regions / 2.3.3：

Local Countdown Caching / 2.3.4：

Random Countdown Generation / 2.3.5：

Path Balancing / 2.3.6：

Statically Selective Sampling / 2.3.7：

Optimization Recap / 2.3.8：

Adaptive Sampling / 2.4：

Nonuniformity Via Multiple Countdowns / 2.4.1：

Nonuniformity Via Non-Unit Site Weights / 2.4.2：

Policy Notes / 2.4.3：

Realistic Sampling Rates / 2.5：

Practical Considerations / 3：

Native Compiler Integration / 3.1：

Static Site Information / 3.1.1：

Libraries and Plugins / 3.2：

Threads / 3.3：

Next-Sample Countdown / 3.3.1：

Predicate Counters / 3.3.2：

Compilation Unit Registry and Report File / 3.3.3：

Time Stamp Clock / 3.3.4：

Performance Evaluation / 3.3.5：

Privacy and Security / 3.4：

User Interaction / 3.5：

Status of the Public Deployment / 3.6：

Resource Requirements / 3.6.1：

Reporting Trends / 3.6.2：

Techniques for Statistical Debugging / 4：

Notation and Terminology / 4.1：

Predicate Elimination / 4.2：

Instrumentation Strategy / 4.2.1：

Elimination Strategies / 4.2.2：

Data Collection and Analysis / 4.2.3：

Refinement over time / 4.2.4：

Performance Impact / 4.2.5：

Limitations and Insights / 4.2.6：

Regularized Logistic Regression / 4.3：

Crash Prediction Using Logistic Regression / 4.3.1：

Moss: A Multiple-Bug Challenge / 4.3.2：

Nonuniform Sampling / 4.4.1：

Analysis Results / 4.4.2：

Iterative Bug Isolation and Elimination / 4.5：

Increase Scores / 4.5.1：

Statistical Interpretation / 4.5.2：

Balancing Specificity and Sensitivity / 4.5.3：

Redundancy Elimination / 4.5.4：

Case Studies / 4.6：

Moss / 4.6.1：

CCRYPT / 4.6.2：

BC / 4.6.3：

EXIF / 4.6.4：

Rhythmbox / 4.6.5：

Related Work / 5：

Static Analysis / 5.1：

Profiling and Tracing / 5.2：

Dynamic Analysis / 5.3：

Conclusion / 6：

References

Introduction / 1：

Perfect, or Close Enough / 1.1：

Automatic Failure Reporting / 1.2：

電子ブック

ＥＢ

3. Variations on Constants

Markus M?ller-Olm, Takeo Kanade

出版情報:	Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
子書誌情報:	loading…
所蔵情報:	loading…

目次情報: 続きを見る

Introduction / 1：

A Hierarchy of Constants / 2：

A Taxonomy of Constants / 2.1：

Flow Graphs / 2.1.1：

May- and Must-Constants / 2.1.2：

Weakened Constant Detection Problems / 2.1.3：

Classes of Integer Constants / 2.1.4：

Known Results / 2.2：

New Undecidability Results / 2.3：

New Intractability Results / 2.4：

Summary / 2.5：

Deciding Constants by Effective Weakest Preconditions / 3：

Presburger and Polynomial Constants / 3.1：

Presburger-Constant Detection at a Glance / 3.2：

A Generic Algorithm / 3.3：

Detection of Presburger Constants / 3.4：

A Primer on Computable Ideal Theory / 3.5：

Zeros / 3.6：

Substitution / 3.6.3：

Projection / 3.6.4：

Detection of Polynomial Constants / 3.7：

Conclusion / 3.8：

Limits of Parallel Flow Analysis / 4：

A Motivating Example / 4.1：

Parallel Programs / 4.2：

Interprocedural Copy-Constant Detection / 4.3：

Two-Counter Machines / 4.3.1：

Constructing a Program / 4.3.2：

Correctness of the Reduction / 4.3.3：

Intraprocedural Copy-Constant Detection / 4.4：

Copy-Constant Detection in Loop-Free Programs / 4.5：

Beyond Fork/Join Parallelism / 4.6：

Owicki/Gries-Style Program Proofs / 4.7：

Correctness of the Reduction in Section 4.3 / 4.8：

Enriching the Program / 4.8.1：

The Proof Outlines / 4.8.2：

Interference Freedom / 4.8.3：

Correctness of the Reduction in Section 4.4 / 4.9：

An Auxiliary Predicate / 4.9.1：

Proof Outline for Main / 4.9.3：

Parallel Flow Graphs / 4.9.6：

Operational Semantics / 5.1：

Atomic Runs / 5.3：

The Run Sets of Ultimate Interest / 5.4：

The Constraint Systems / 5.5：

Same-Level Runs / 5.5.1：

Inverse Same-Level Runs / 5.5.2：

Two Assumptions and a Simple Analysis / 5.5.3：

Reaching Runs / 5.5.4：

Terminating Runs / 5.5.5：

Bridging Runs / 5.5.6：

The General Case / 5.5.7：

Discussion / 5.6：

Non-atomic Execution / 6：

Modeling Non-atomic Execution by Virtual Variables / 6.1：

The Domain of Non-atomic Run Sets / 6.2：

Base Statements / 6.3.1：

Sequential Composition / 6.3.2：

Interleaving Operator / 6.3.3：

Pre-operator / 6.3.4：

Post-operator / 6.3.5：

Dependence Traces / 6.4：

Transparency and Dependences / 7.1：

Implication Order / 7.2：

Subsumption Order / 7.4：

A Lattice of Antichains / 7.5：

Short Dependence Traces / 7.6：

The Abstract Domain / 7.7：

Interleaving / 7.8：

Complementary Dependence Traces / 7.11.1：

Soundness Lemmas / 7.11.2：

Completeness Lemmas / 7.11.4：

Proof of Theorem 7.11.1 / 7.11.5：

Base Edges / 7.12：

Running Time / 7.13：

Detecting Copy Constants and Eliminating Faint Code / 7.14：

Copy-Constant Detection / 8.1：

Faint-Code Elimination / 8.2：

Complexity in the Non-atomic Scenario / 8.3：

The SAT-reduction / 9.1：

Towards Stronger Lower Bounds / 9.2：

Assignment Statements That Propagate Twice / 9.2.1：

Propagating Runs of Exponential Length / 9.2.2：

Future Research / 9.3：

A Primer on Constraint-Based Program Analysis / A：

References

Introduction / 1：

A Hierarchy of Constants / 2：

A Taxonomy of Constants / 2.1：

電子ブック

ＥＢ

4. Variations on Constants

Markus Müller-Olm, Takeo Kanade, Josef Kittler

出版情報:	SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
子書誌情報:	loading…
所蔵情報:	loading…

目次情報: 続きを見る

Introduction / 1：

A Hierarchy of Constants / 2：

A Taxonomy of Constants / 2.1：

Flow Graphs / 2.1.1：

May- and Must-Constants / 2.1.2：

Weakened Constant Detection Problems / 2.1.3：

Classes of Integer Constants / 2.1.4：

Known Results / 2.2：

New Undecidability Results / 2.3：

New Intractability Results / 2.4：

Summary / 2.5：

Deciding Constants by Effective Weakest Preconditions / 3：

Presburger and Polynomial Constants / 3.1：

Presburger-Constant Detection at a Glance / 3.2：

A Generic Algorithm / 3.3：

Detection of Presburger Constants / 3.4：

A Primer on Computable Ideal Theory / 3.5：

Zeros / 3.6：

Substitution / 3.6.3：

Projection / 3.6.4：

Detection of Polynomial Constants / 3.7：

Conclusion / 3.8：

Limits of Parallel Flow Analysis / 4：

A Motivating Example / 4.1：

Parallel Programs / 4.2：

Interprocedural Copy-Constant Detection / 4.3：

Two-Counter Machines / 4.3.1：

Constructing a Program / 4.3.2：

Correctness of the Reduction / 4.3.3：

Intraprocedural Copy-Constant Detection / 4.4：

Copy-Constant Detection in Loop-Free Programs / 4.5：

Beyond Fork/Join Parallelism / 4.6：

Owicki/Gries-Style Program Proofs / 4.7：

Correctness of the Reduction in Section 4.3 / 4.8：

Enriching the Program / 4.8.1：

The Proof Outlines / 4.8.2：

Interference Freedom / 4.8.3：

Correctness of the Reduction in Section 4.4 / 4.9：

An Auxiliary Predicate / 4.9.1：

Proof Outline for Main / 4.9.3：

Parallel Flow Graphs / 4.9.6：

Operational Semantics / 5.1：

Atomic Runs / 5.3：

The Run Sets of Ultimate Interest / 5.4：

The Constraint Systems / 5.5：

Same-Level Runs / 5.5.1：

Inverse Same-Level Runs / 5.5.2：

Two Assumptions and a Simple Analysis / 5.5.3：

Reaching Runs / 5.5.4：

Terminating Runs / 5.5.5：

Bridging Runs / 5.5.6：

The General Case / 5.5.7：

Discussion / 5.6：

Non-atomic Execution / 6：

Modeling Non-atomic Execution by Virtual Variables / 6.1：

The Domain of Non-atomic Run Sets / 6.2：

Base Statements / 6.3.1：

Sequential Composition / 6.3.2：

Interleaving Operator / 6.3.3：

Pre-operator / 6.3.4：

Post-operator / 6.3.5：

Dependence Traces / 6.4：

Transparency and Dependences / 7.1：

Implication Order / 7.2：

Subsumption Order / 7.4：

A Lattice of Antichains / 7.5：

Short Dependence Traces / 7.6：

The Abstract Domain / 7.7：

Interleaving / 7.8：

Complementary Dependence Traces / 7.11.1：

Soundness Lemmas / 7.11.2：

Completeness Lemmas / 7.11.4：

Proof of Theorem 7.11.1 / 7.11.5：

Base Edges / 7.12：

Running Time / 7.13：

Detecting Copy Constants and Eliminating Faint Code / 7.14：

Copy-Constant Detection / 8.1：

Faint-Code Elimination / 8.2：

Complexity in the Non-atomic Scenario / 8.3：

The SAT-reduction / 9.1：

Towards Stronger Lower Bounds / 9.2：

Assignment Statements That Propagate Twice / 9.2.1：

Propagating Runs of Exponential Length / 9.2.2：

Future Research / 9.3：

A Primer on Constraint-Based Program Analysis / A：

References

Introduction / 1：

A Hierarchy of Constants / 2：

A Taxonomy of Constants / 2.1：

電子ブック

ＥＢ

5. Software Architecture

EWSA 2005, Takeo Kanade, Ronald Morrison, Flavio Oquendo

出版情報:	Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
子書誌情報:	loading…
所蔵情報:	loading…

電子ブック

ＥＢ

6. Software Architecture

EWSA 2005, Takeo Kanade, Ronald Morrison, Flavio Oquendo, Josef Kittler

出版情報:	SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
子書誌情報:	loading…
所蔵情報:	loading…

電子ブック

ＥＢ

7. Formal Methods for Components and Objects

Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Takeo Kanade, Michael Leuschel

出版情報:	Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
子書誌情報:	loading…
所蔵情報:	loading…

目次情報: 続きを見る

The BIONETS Project

A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian KammÃ¼ller ; Muhammad Uzair Khan

The COMPAS Project

Verification of Context-Dependent Channel-Based Service Models / Natallia Kokash ; Christian Krause ; Erik P. de Vink

The CREDO Project

The Credo Methodology (Extended Version) / Immo Grabe ; Mohammad Mahdi Jaghoori ; Joachim Klein ; Sascha KlÃ¼ppelholz ; Andries Stam ; Christel Baier ; Tobias Blechmann ; Bernhard K. Aichernig ; Frank de Boer ; Andreas Griesmayer ; Einar Broch Johnsen ; Marcel Kyas ; Wolfgang Leister ; Rudolf Schlatte ; Martin Steffen ; Simon Tschirner ; Liang Xuedong ; Wang Yi

The DEPLOY Project

Guided Formal Development: Patterns for Modelling and Refinement / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky

Applying Event-B Atomicity Decomposition to a Multi Media Protocol / Asieh Salehi Fathabadi ; Michael Butler

The FM-SOA Working Group

Abstract Certification of Global Non-interference in Rewriting Logic / Mauricio Alba-Castro ; MarÃa Alpuente ; Santiago Escobar

The HATS Project

Interleaving Symbolic Execution and Partial Evaluation / Richard Bubel ; Reiner HÃ¤hnle ; Ran Ji

The INESS Project

The Use of Model Transformation in the INESS Project / Osmar M. dos Santos ; Jim Woodcock ; Richard F. Paige ; Steve King

Suitability of mCRL2 for Concurrent-System Design: A 2 x 2 Switch Case Study / Frank P.M. Stappers ; Michel A. Reniers ; Jan Friso Groote

The MOGENTES Project

Mapping UML to Labeled Transition Systems for Test-Case Generation: A Translation via Object-Oriented Action Systems / Willibald Krenn ; Rupert Schlick

Mutation-Based Test Case Generation for Simulink Models / Angelo Brillout ; Nannan He ; Michele Mazzucchi ; Daniel Kroening ; Mitra Purandare ; Philipp RÃ¼mmer ; Georg Weissenbacher

Model-Based Mutation Testing of Hybrid Systems / Harald Brandl ; Elisabeth JÃ¶bstl

The PROTEST Project

Property-Based Testing - The ProTest Project / John Derrick ; Neil Walkinshaw ; Thomas Arts ; Clara Benac Earle ; Francesco Cesarini ; Lars-Ake Fredlund ; Victor Gulias ; John Hughes ; Simon Thompson

Incrementally Discovering Testable Specifications from Program Executions

The QUASIMODO Project

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata / Alexandre David ; Kim G. Larsen ; Axel Legay ; Ulrik Nyman ; Andrzej Wasowski

The How and Why of Interactive Markov Chains / Holger Hermanns ; Joost-Pieter Katoen

Author Index

The BIONETS Project

A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian KammÃ¼ller ; Muhammad Uzair Khan

The COMPAS Project

電子ブック

ＥＢ

8. Formal Methods for Components and Objects

Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Takeo Kanade, Michael Leuschel

出版情報:	SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
子書誌情報:	loading…
所蔵情報:	loading…

目次情報: 続きを見る

The BIONETS Project

A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian KammÃ¼ller ; Muhammad Uzair Khan

The COMPAS Project

Verification of Context-Dependent Channel-Based Service Models / Natallia Kokash ; Christian Krause ; Erik P. de Vink

The CREDO Project

The DEPLOY Project

Guided Formal Development: Patterns for Modelling and Refinement / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky

Applying Event-B Atomicity Decomposition to a Multi Media Protocol / Asieh Salehi Fathabadi ; Michael Butler

The FM-SOA Working Group

Abstract Certification of Global Non-interference in Rewriting Logic / Mauricio Alba-Castro ; MarÃa Alpuente ; Santiago Escobar

The HATS Project

Interleaving Symbolic Execution and Partial Evaluation / Richard Bubel ; Reiner HÃ¤hnle ; Ran Ji

The INESS Project

The Use of Model Transformation in the INESS Project / Osmar M. dos Santos ; Jim Woodcock ; Richard F. Paige ; Steve King

Suitability of mCRL2 for Concurrent-System Design: A 2 x 2 Switch Case Study / Frank P.M. Stappers ; Michel A. Reniers ; Jan Friso Groote

The MOGENTES Project

Mapping UML to Labeled Transition Systems for Test-Case Generation: A Translation via Object-Oriented Action Systems / Willibald Krenn ; Rupert Schlick

Mutation-Based Test Case Generation for Simulink Models / Angelo Brillout ; Nannan He ; Michele Mazzucchi ; Daniel Kroening ; Mitra Purandare ; Philipp RÃ¼mmer ; Georg Weissenbacher

Model-Based Mutation Testing of Hybrid Systems / Harald Brandl ; Elisabeth JÃ¶bstl

The PROTEST Project

Property-Based Testing - The ProTest Project / John Derrick ; Neil Walkinshaw ; Thomas Arts ; Clara Benac Earle ; Francesco Cesarini ; Lars-Ake Fredlund ; Victor Gulias ; John Hughes ; Simon Thompson

Incrementally Discovering Testable Specifications from Program Executions

The QUASIMODO Project

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata / Alexandre David ; Kim G. Larsen ; Axel Legay ; Ulrik Nyman ; Andrzej Wasowski

The How and Why of Interactive Markov Chains / Holger Hermanns ; Joost-Pieter Katoen

Author Index

The BIONETS Project

A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian KammÃ¼ller ; Muhammad Uzair Khan

The COMPAS Project

電子ブック

ＥＢ

9. Rapid Integration of Software Engineering Techniques

Nicolas Guelfi, Didier Buchs, David Hutchison, Takeo Kanade

出版情報:	Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
子書誌情報:	loading…
所蔵情報:	loading…

目次情報: 続きを見る

Graphical Composition of Grid Services / Kenneth J. Turner ; Koon Leai Larry Tan

A UML 2.0 Profile for Architecting B3G Applications / Mauro Caporuscio ; Valerie Issarny

RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation / Giovanni Aiello ; Marco Alessi ; Massimo Cossentino ; Alfonso Urso ; Giuseppe Vella

Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain / Massimo Felici

Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture / Mario Anzures-Garcia ; Miguel J. Hornos ; Patricia Paderewski-Rodriguez

Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS / Marc-Elian Begin ; Guillermo Diez-Andino Sancho ; Alberto Di Meglio ; Enrico Ferro ; Elisabetta Ronchieri ; Matteo Selmi ; Marian Zurek

Architectural Verification of Black-Box Component-Based Systems / Antonia Bertolino ; Henry Muccini ; Andrea Polini

Systematic Generation of XML Instances to Test Complex Software Applications / Jinghua Gao ; Eda Marchetti

Transformations of UML 2 Models Using Concrete Syntax Patterns / Markus Schmidt

Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping / Matteo Risoldi ; Vasco Amaral

Invited Paper

SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping / Adrien Coyette ; Jean Vanderdonckt ; Quentin Limbourg

Author Index

Graphical Composition of Grid Services / Kenneth J. Turner ; Koon Leai Larry Tan

A UML 2.0 Profile for Architecting B3G Applications / Mauro Caporuscio ; Valerie Issarny

RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation / Giovanni Aiello ; Marco Alessi ; Massimo Cossentino ; Alfonso Urso ; Giuseppe Vella

10.

電子ブック

ＥＢ

10. Rapid Integration of Software Engineering Techniques

Nicolas Guelfi, Didier Buchs, David Hutchison, Takeo Kanade

出版情報:	SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
子書誌情報:	loading…
所蔵情報:	loading…