close
1.

図書
図書
1. ACM International Symposium on Software Testing and Analysis, ISSTA 2007 : July 9-12, 2007, London, United Kingdom
International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York, N.Y. : Association for Computing Machinery, c2007  249 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Proceedings of the 2000 International Conference on Software Engineering, June 4-11, 2000, Limerick, Ireland (: ACM ; : IEEE)
sponsored by IEEE Computer Society Technical Council on Software Engineering, ACM Special Interest Group on Software Engineering, Irish Computer Society ; in cooperation with ACM Special Interest Group on Programming Languages
出版情報: New York, N.Y. : ACM Press, 2000  xviii, 843 p. ; 28 cm
所蔵情報: loading…
3.

雑誌
雑誌
3. International Conference on Aspect-Oriented Software Development : AOSD ...
International Conference on Aspect-Oriented Software Development ; Association for Computing Machinery ; ACM Special Interest Group in Programming Languages ; ACM Sigsoft
出版情報: New York, N.Y. : ACM Press, c2002-  v. ; 28 cm
巻次年月次: 1st (2002)-
所蔵情報: loading…
4.

雑誌
雑誌
4. ACM Workshop on Interdisciplinary Software Engineering Research : WISER
ACM Workshop on Interdisciplinary Software Engineering Research ; ACM Sigsoft ; ACM SIGSOFT Symposium on the Foundations of Software Engineering
出版情報: New York, N.Y. : Association for Computing Machinery, c2004-  v. ; 28 cm
巻次年月次: [1st] (2004)-
所蔵情報: loading…
5.

図書
図書
5. Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE '02, November 18-19, 2002, Charleston, South Carolina, USA
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages and Special Interest Group on Software Engineering
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  vi, 86 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. SIGSOFT 2002/FSE 10 : proceedings of the tenth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-10), November 18-22, 2002, Charleston, South Carolina, USA
edited by William G. Griswold ; sponsored by Special Interest Group on Software Engineering ; in cooperation with SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  vi, 178 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. OOPSLA 2002 : 17th ACM Conference on Object-oriented Programming, Systems, Languages, and Applications, conference proceedings, November 4-8, 2002, Washington State Convention and Trade Center, Seattle, Washington, USA
sponsored by ACM SIGPLAN ; in cooperation with ACM SIGSOFT
出版情報: New York, N.Y. : the Associaton for Computing Machinery, c2002  x, 386 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. Proceedings : IEEE joint International Conference on Requirements Engineering, 9-13 September 2002, Essen, Germany (: case ; : microfiche)
corporate sponsors by IEEE Computer Society Technical Council on Software Engineering (TCSE)..[et al.] ; cooperating societies, ACM Sigsoft...[et al.] ; supporters, ERCIM...[et al.]
出版情報: Los Alamitos, California : IEEE Computer Society, c2000  xvi, 358 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Call for Papers
Organizing Committee
Program Committee
Additional Reviewers
Steering Committee
Keynote Addresses
Scenarios and Design Cognition / John M. Carroll
Requirements, Architectures and Risks / Wojtek Kozaczynski
Risk Management in Challenging Business Software Projects / Frank Schonthaler
Goals in RE / Paper Session 1：
AGORA: Attributed Goal-Oriented Requirements Analysis Method / H. Kaiya ; H. Horai ; M. Saeki
Analyzing Website Privacy Requirements Using a Privacy Goal Taxonomy / A. Anton ; J. Earp ; A. Reese
Deriving Use Cases from Organizational Modeling / V. Santander ; J. Castro
RE Process / Experience Session 1：
Introducing Requirements Engineering: How to Make a Cultural Change Happen in Practice / M. Kauppinen ; S. Kujala ; T. Aaltio ; L. Lehtola
Improving the Requirements Engineering Process for an Electronic Clearinghouse / M. Fecko ; C. Lott
Initial Industrial Experience of Misuse Cases in Trade-Off Analysis / I. Alexander
Validation / Paper Session 2：
On the Use of Visualization in Formal Requirements Specification / N. Dulac ; T. Viguier ; N. Leveson ; M.-A. Storey
Visual Requirements Validation: Cases Study in a Corba-Supported Environment / P. Fenkam ; H. Gall ; M. Jazayeri
Embedded Systems / Industrial Talks 1：
Managing (Requirements) Evolutions of High Assurance Systems / M. Lemoine ; J. Foisseau
Model Based Requirements Engineering for Embedded Software / M. von der Beeck ; P. Braun ; M. Rappl ; C. Schroder
Component Reuse / Paper Session 3：
Legal Requirements Reuse: A Critical Success Factor for Requirements Quality and Personal Data Protection / A. Toval ; A. Olmos ; M. Piattini
A Quality-Model-Based Approach for Describing and Evaluating Software Packages / X. Franch ; J. Carvallo
Multi-faceted Requirements Modeling / C. Kong ; P. Alexander
Product Management / Industrial Talks 2：
Requirements Management in a Product Line Scenario / C. Ebert
Product Management Assessment--A New Approach to Optimize the Early Phases / T. Fritzhanns ; F. Kudorfer
RE and Design / Paper Session 4：
Requirements Patterns for Embedded Systems / S. Konrad ; B. Cheng
Relating Software Requirements and Architectures Using Problem Frames / J. Hall ; M. Jackson ; R. Laney ; B. Nuseibeh ; L. Rapanotti
Are Their Design Specifications Consistent with Our Requirements? / A. Kozlenkov ; A. Zisman
Use Cases / Paper Session 5：
Application of Linguistic Techniques for Use Case Analysis / A. Fantechi ; S. Gnesi ; G. Lami ; A. Maccari
Supporting Requirements Verification Using XSLT / A. Duran ; A. Ruiz-Cortes ; R. Corchuelo ; M. Toro
Reuse of Scenario Specifications Using an Automated Relational Learner: A Lightweight Approach / H. Woo ; W. Robinson
Validating Functional System Requirements with Scenarios / A. Sutcliffe ; A. Gregoriades
Requirements Management / Industrial Talks 3：
REDEST--14 Best Practice SME Experiments with Innovative Requirements Gathering Techniques / S. Hardiman
Tool-Based Risk Management Made Practical / H. Doernemann
The Reference Point Method: Requirements-Based ICT Convergence Solution Development / W. Gross ; T. Meyer ; F. Zimmer ; C. Herrmann
Requirements Engineering: How Do You Know How Good You Are? / A. Vickers ; A. Mavin ; H. May
RE-Visions
Early Aspects: A Model for Aspect-Oriented Requirements Engineering / A. Rashid ; P. Sawyer ; A. Moreira ; J. Araujo
Security Requirements Engineering: When Anti-requirements Hit the Fan / R. Crook ; D. Ince ; L. Lin
Requirements Interdependencies and Stakeholders Preferences / J. Giesen ; A. Volker
NL and UML / Industrial Talks 4：
Ambiguity and What to Do about It / B. Kovitz
A Process Model for Distributed Development of Networked Mechatronic Components in Motor Vehicles / K. Knorr ; A. Lapp ; P. Flores ; J. Schirmer ; D. Kraft ; J. Petersen ; M. Bourhaleb ; T. Bertram
Analysis beyond UML / C. Stutz ; J. Siedersleben ; D. Kretschmer ; W. Krug
RE for Product Lines / Paper Session 6：
The Product Line Mapping Approach to Defining and Structuring Product Portfolios / K. Schmid
Integrating ECUs in Vehicles--Requirements Engineering in Series Development / M. Hardt ; R. Mackenthun ; J. Bielefeld
Efficient and Systematic Software Evolution through Domain Analysis / I. John ; D. Muthig ; P. Sody ; E. Tolzmann
Requirements Selection / Experience Session 2：
Exploring the Relationship between Project Selection and Requirements Analysis: An Empirical Study of the New Millennium Program / M. Bergman ; G. Mark
Using Maturity Assessments to Understand the ERP Requirements Engineering Process / M. Daneva
Converging on the Optimal Attainment of Requirements / M. Feather ; T. Menzies
Change Management / Paper Session 7：
Systematic Requirements Recycling through Abstraction and Traceability / A. von Knethen ; B. Paech ; F. Kiedaisch ; F. Houdek
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology / J. Garcia-Duque ; J. Pazos-Arias ; B. Barragans-Martinez
Automating Speculative Queries through Event-Based Requirements Traceability / J. Cleland-Huang ; C. Chang ; G. Sethi ; K. Javvaji ; H. Hu ; J. Xia
Goals and Use Cases / Industrial Talks 5：
Requirements Engineering with Grail/Kaos: Tell the Requirements, All the Requirements, and Nothing Else but the Requirements / R. Darimont ; E. Delor ; J.-L. Roussel ; A. Rifaut
Requirements Engineering--Applying Theory to Reality / S. Dusire ; M. Flynn ; N. Dardenne
Extreme Programming Modified: Embrace Requirements Engineering Practices / J. Nawrocki ; M. Jasinski ; B. Walter ; A. WojciechowskiPaper Session 8：
Effectiveness of Elicitation Techniques in Distributed Requirements Engineering / W. Lloyd ; M. Rosson ; J. Arthur
The Impact of Stakeholders' Geographical Distribution on Managing Requirements in a Multi-Site Organization / D. Damian ; D. Zowghi
Application Challenges / Experience Session 3：
Requirements Engineering in Automotive Development--Experiences and Challenges / M. Weber ; J. Weisbrod
Managing Product Requirements for Medical IT Products / S. Higgins ; M. de Laat ; P. Gieles ; E. Geurts
Requirements Engineering in the Health Care Domain / L. Cysneiros
Author Index
Message from the Chairs
Call for Papers
Organizing Committee
9.

図書
図書
9. Proceedings, SEKE 2002 : fourteenth International Conference on Software Engineering and Knowledge Engineering
in cooperation with ACM SIGSOFT
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  xiv, 845 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. Proceedings of the joint 9th European Software Engineering Conference (ESEC) & 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11), Helsinki, Finland, September 1-5, 2003
edited by Paola Inverardi ; sponsored by ACM SIGSOFT and CEPIS ; in cooperation with Tietotekniikan liito & SIGPLAN ; with support from NOKIA, City of Helsinki, and Academy of Finland
出版情報: New York : the Association for Computing Machinery, c2003  x, 383 p. ; 28 cm
所蔵情報: loading…
11.

図書
図書
11. Proceedings : 11th IEEE International Requirements Engineering Conference, 8-12 September 2003, Monterey Bay, California, USA
sponsored by IEEE Computer Society...[et al.] ; in cooperation with ACM Sigsoft, IFIP Working Group 2.9, International Council on Systems Engineering (INCOSE)
出版情報: Los Alamitos, California : IEEE Computer Society, c2003  xv, 378 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Call for Papers
Organizing Committee
Program Committee
Additional Reviewers
Keynote Addresses
Requirements for the Internet / Vinton G. Cerf
The Journey toward Secure Systems: Achieving Assurance / Steve Lipner
Modern Systems Engineering: A Driving Force for Industrial Competitivity! / Heinz Stoewer
Technical Papers
Requirements Evolution / Session P1：
In Situ Requirements Analysis: A Deeper Examination of the Relationship between Requirements Determination and Project Selection / M. Bergman ; G. Mark
Requirements Stability Assessment Using Scenarios / D. Bush ; A. Finkelstein
Resolving Requirements Discovery in Testing and Operations / R. Lutz ; I. Mikulski
Requirements for Business Systems / Session P2：
Lessons Learnt from Five Years of Experience in ERP Requirements Engineering / M. Daneva
Requirements Engineering for a Pervasive Health Care System / J. Jorgensen ; C. Bossen
Monitoring Web Service Requirements / W. Robinson
DWARF: An Approach for Requirements Definition and Management of Data Warehouse Systems / F. Paim ; J. de Castro
Combining Formal and Informal Techniques / Session P3：
Acquiring and Incorporating State-Dependent Timing Requirements / C.-S. Shih ; J. Liu
Refinement-Based Requirements Modeling Using Triggered Message Sequence Charts / B. Sengupta ; R. Cleaveland
Specifying and Analyzing Early Requirements: Some Experimental Results / A. Fuxman ; L. Liu ; M. Pistore ; M. Roveri ; J. Mylopoulos
Goal-Driven Requirements / Session P4：
Requirements Analysis for Customizable Software: A Goals-Skills-Preferences Framework / B. Hui ; S. Liaskos
Adding Hypermedia Requirements to Goal-Driven Analysis / D. Bolchini ; P. Paolini ; G. Randazzo
Improving Requirements Tracing via Information Retrieval / J. Hayes ; A. Dekhtyar ; J. Osborne
Requirements Elicitation / Session P5：
Security and Privacy Requirements Analysis within a Social Setting / E. Yu
Formal Structure for Specifying the Content and Quality of the Electronic Health Record / H. Covvey ; D. Zitner ; D. Berry ; D. Cowan ; M. Shepherd
Elicitation Technique Selection: How Do Experts Do It? / A. Hickey ; A. Davis
Making Formal Techniques Usable / Session P6：
A Reference Model for Requirements Engineering / J. Hall ; L. Rapanotti
Understanding and Comparing Model-Based Specification Notations / J. Niu ; J. Atlee ; N. Day
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models / R. De Landtsheer ; E. Letier ; A. van Lamsweerde
Requirements Elicitation (2) / Session P7：
Determining Socio-technical Systems Requirements: Experiences with Generating and Walking through Scenarios / A. Mavin ; N. Maiden
Requirements Elicitation for the Design of Venue Operations for the Athens 2004 Olympic Games / P. Loucopoulos ; K. Zografos ; N. Prekas
Teaching Requirements Engineering through Role Playing: Lessons Learnt / D. Zowghi ; S. Paryani
Requirements Prioritizing and Negotiation / Session P8：
A Benchmarking Method for Information Systems / L. Hagge ; J. Kreutzkamp
An Analytical Model for Requirements Selection Quality Evaluation in Product Software Development / B. Regnell ; L. Karlsson ; M. Host
Evolutionary Requirements Analysis / A. Sutcliffe ; W.-C. Chang ; R. Neville
Industry Talks
Requirements Analysis / Industry Session 1：
Customer Requirements and User Requirements: Why the Discrepancies? / M. Deraitus ; A. Miller
Evaluating the Quality of a UML Business Model / B. Berenbach
Using Convergent Design Processes to Surface Hidden Ambiguity and Conflict in Requirements / R. Barnes
Requirements Gathering / Industry Session 2：
Embracing Requirements Variety for e-Governments Based on Multiple Product-Lines Frameworks / M. Aoyama ; K. Watanabe ; Y. Nishio ; Y. Moriwaki
From Requirements to Release Criteria: Specifying, Monitoring, and Demonstrating Product Quality / E. Simmons
The Automated Extraction of Requirements from UML Models
Metrics & Measurement / Industry Session 3：
Measuring Requirements Traceability from Multiple Angles at Multiple Lifecycle Entry Points / D. Becker
One Approach to the Metric Baselining Imperative for Requirements Processes / R. Chardon ; M. Dorfman
RE in Flatness Measurement and Control Systems Development at ABB / N. Yilmazturk
State of Practice / Industry Session 4：
Daily Challenges in Requirements Engineering / F. Salvatore ; T. Alameda
Practical Lessons from 40 System Integrating Projects / T. Nakamura ; S. Matsuda
Requirements Based Testing at HP OpenView / G. Heller ; P. Vollmer
Testing & Traceability / Industry Session 5：
Testing with Partial Traced Requirements: A Necessary Step towards Higher Quality System Level Verification / S. Catrava
Requirements, Configuration Management and Traceability for Safety Critical Software / G. Romanski
Requirement Tracking: A Streamlined Approach / J. Archer
Mini-Tutorials
Ontology as a Requirements Engineering Product / K. Breitman ; J. Leite
Scenario-Based Requirements Engineering
QFD for Customer-Focused Requirements Engineering / G. Herzwurm ; S. Schockert ; W. Pietsch
Panel Sessions
Marketing Meets Requirements Engineering / M. Rossi ; T. Tuunanen
Requirements Engineering in Practice: Making the Business Case for Requirements Engineering / N. Mead ; N. Kameli
Poster Presentations and Research Tool Demos
Posters and Demos Session 1
Demos
Nimbus: A Tool for Specification Centered Development / M. Heimdahl ; M. Whalen ; J. Thompson
FAUST: Formal Analysis Using Specification Tools / A. Rifaut ; P. Massonet ; J.-F. Molderez ; C. Ponsard ; P. Stadnik ; H. Tran Van
SMaRT-Scenario Management and Requirements Tool / W. Stufflebeam ; A. Anton ; T. Alspaugh
Relating Practitioner Needs to Research Activities / M. Feather ; T. Menzies ; J. Connelly
Poster Presentations
Contrasting Use Case, Goal, and Scenario Analysis of the Euronet System
Trade-Off Analysis between Security Policies for Java Mobile Codes and Requirements for Java Application / H. Kaiya ; K. Sasaki ; Y. Maebashi ; K. Kaijiri
Bringing Usability to the Early Stages of Software Development / L. Cysneiros ; A. Kushniruk
Posters and Demos Session 2
Goal-Oriented Idea Generation Method for Requirements Elicitation / K. Oshiro ; K. Watahiki ; M. Saeki
Software Requirements for Architectured Systems / E. Navarro ; I. Ramos ; J. Perez
Market Driven Requirements Elicitation via Critical Success Chains
Integrating RE Methods to Support Use Case Based Requirements Specification / S. Jones ; M. Flynn
Introducing Abuse Frames for Analysing Security Requirements / L. Lin ; B. Nuseibeh ; D. Ince ; M. Jackson ; J. Moffett
An Approach to Visualise and Reconcile Use Case Descriptions from Multiple Viewpoints / D. Richards ; A.-B. Fure ; O. Aguilera
Media-Assisted Product and Process Requirements Traceability in Supply Chains / M. Jarke ; O. Fritzen ; M. Miatidis ; M. Schluter
Author Index
Foreword
Call for Papers
Organizing Committee
12.

図書
図書
12. Proceedings : 18th IEEE International Conference on Automated Software Engineering, Montreal, Quebec, Canada, October 6 to 10, 2003
sponsored by IEEE Computer Society, CRIM, ACM-SIGART, ACM-SIGSOFT ; supported by Ministere du Developpement Economique et Regional du Quebec, Universite de Montreal, RCM2
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xii, 382 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Conference Committee
International Program Committee
Additional Reviewers
Regular Papers
Requirements, Interfaces and Groupware
An Empirical Study on Groupware Support for Software Inspection Meetings / P. Grunbacher ; M. Halling ; S. Biffl
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach / M. Sabetzadeh ; S. Easterbrook
Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications / A. Strelzoff ; L. Petzold
Testing I
Fault Localization with Nearest Neighbor Queries / M. Renieris ; S. Reiss
Tool-Assisted Unit Test Selection Based on Operational Violations / T. Xie ; D. Notkin
A New Structural Coverage Criterion for Dynamic Detection of Program Invariants / N. Gupta ; Z. Heidepriem
Software Architectures and Distributed Systems
DeCo: A Declarative Coordination Framework for Scientific Model Federations / D. Herington ; D. Stotts
A Programmable Client-Server Model: Robust Extensibility via DSLs / L. Reveillere ; C. Consel
Specification and Synthesis of Hybrid Automata for Physics-Based Animation / T. Ellman
Model Checking
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores / I. Shlyakhter ; R. Seater ; M. Sridharan ; M. Taghdiri ; D. Jackson
Parallel Breadth-First Search LTL Model-Checking / J. Barnat ; L. Brim ; J. Chaloupka
Automated Environment Generation for Software Model Checking / O. Tkachuk ; M. Dwyer ; C. Pasareanu
Software Components
Aspectizing Server-Side Distribution / E. Tilevich ; S. Urbanski ; Y. Smaragdakis ; M. Fleury
Automating Component Adaptation for Reuse / B. Morel ; P. Alexander
Model-Based Verification of Web Service Compositions / H. Foster ; S. Uchitel ; J. Magee ; J. Kramer
Testing II
What Test Oracle Should I Use for Effective GUI Testing? / A. Memon ; I. Banerjee ; A. Nagarajan
A Type System for Statically Detecting Spreadsheet Errors / Y. Ahmad ; T. Antoniu ; S. Goldwater ; S. Krishnamurthi
Testing Database Transaction Concurrency / Y. Deng ; P. Frankl ; Z. Chen
Software Evolution and Maintenance
On the Automatic Evolution of an OS Kernel Using Temporal Logic and AOP / R. Aberg ; J. Lawall ; M. Sudholt ; G. Muller ; A. Le Meur
Unspeculation / N. Snavely ; S. Debray ; G. Andrews
SPQR: Flexible Automated Design Pattern Extraction from Source Code / J. Smith
Automatically Inferring Concern Code from Program Investigation Activities / M. Robillard ; G. Murphy
Short Papers
A Model-Driven Approach to Non-Functional Analysis of Software Architectures / J. Skene ; W. Emmerich
Extending Diagnosis to Debug Programs with Exceptions / W. Mayer ; M. Stumptner
Generating Design Pattern Detectors from Pattern Specifications / D. Heuzeroth ; W. Lowe ; S. Mandel
Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks / L. Guo ; B. Cukic ; H. Singh
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models / P. Bunus ; P. Fritzson
Automatic Generation of Content Management Systems from EER-Based Specifications / S. Vigna
Automated Requirements-Based Generation of Test Cases for Product Families / C. Nebut ; S. Pickin ; Y. Le Traon ; J. Jezequel
XRay Views: Understanding the Internals of Classes / G. Arevalo ; S. Ducasse ; O. Nierstrasz
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations / C. Turner ; T. Graham ; C. Wolfe ; J. Ball ; D. Holman ; H. Stewart ; A. Ryman
A Pragmatic Study of Binary Class Relationships / Y. Gueheneuc ; H. Albin-Amiot
The Features Signatures of Evolving Programs / D. Licata ; C. Harris
Test Suite Design for Code Generation Tools / I. Sturmer ; M. Conrad
Theoretical Foundations of Updating Systems / H. Harris ; M. Ryan
An Incremental Approach to Task-Specific Information Delivery in SE Processes / H. Holz
Architecture Style-Based Calculi for Non-functional Properties / D. Wile
Certifying Measurement Unit Safety Policy / G. Rosu ; F. Chen
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search / E. Diaz ; J. Tuya ; R. Blanco
Model Checking Software Requirement Specifications Using Domain Reduction Abstraction / Y. Choi ; M. Heimdahl
An Approach for Tracing and Understanding Asynchronous Architectures / S. Hendrickson ; E. Dashofy ; R. Taylor
Refactoring C with Conditional Compilation / A. Garrido ; R. Johnson
A Java Component Model for Evolving Software Systems / M. Silva ; P. Guerra ; C. Rubira
Depiction and Playout of Multi-threaded Program Executions / A. Roychoudhury
Applying AutoBayes to the Analysis of Planetary Nebulae Images / B. Fischer ; J. Schumann
Automation for Exception Freedom Proofs / B. Ellis ; A. Ireland
Overview of OpenModel-Based Validation with Partial Information / R. Hall ; A. Zisman
Doctoral Symposium Papers
Detecting Requirements Interactions: A Three-Level Framework / M. Shehata ; A. Eberlein
Automating Relative Debugging / A. Searle ; J. Gough ; D. Abramson
Communicating Requirements Using End-User GUI Constructions with Argumentation / J. Moore
Graph Rewriting and Transformation (GreAT): A Solution for the Model Integrated Computing (MIC) Bottleneck / A. Agrawal
Visual Specification of Concurrent Systems / D. Safranek
VUML: A Viewpoint Oriented UML Extension / M. Nassar
An Infrastructure to Support Meta-Differencing and Refactoring of Source Code / M. Collard
Author Index
Preface
Conference Committee
International Program Committee
13.

図書
図書
13. Proceedings of the 23rd International Conference on Software Engineering, May 12-19, 2001, Toronto, Ontario, Canada
International Conference on Software Engineering ; IEEE Computer Society. Technical Council on Software Engineering ; ACM Sigsoft ; ACM Special Interest Group in Programming Languages
出版情報: Los Alamitos, Cailf. : IEEE Computer Society, c2001  xxix, 844 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Conference Organization
Sponsors and Supporters
Technical Papers
Design and Specification of Distributed Systems
Composition Patterns: An Approach to Designing Reusable Aspects / S. Clarke ; R. J. Walker
MAS--An Interactive Synthesizer to Support Behavioral Modeling in UML / E. Makinen ; T. Systa
Analysis and Testing of Web Applications / F. Ricca ; P. Tonella
Static Analysis
The Right Algorithm at the Right Time: Comparing Data Flow
Analysis Algorithms for Finite State Verification / J. M. Cobleigh ; L. A. Clarke ; L. J. Osterweil
Static Checking of Interrupt-Driven Software / D. Brylow ; N. Damgaard ; J. Palsberg
Lightweight Analysis of Operational Specifications Using Inference Graphs / L. K. Dillon ; R. E. K. Stirewalt
Process Improvement for Multi-Site Environments
Commitment Development in Software Process Improvement: Critical Misconceptions / P. Abrahamsson
An Empirical Study of Global Software Development: Distance and Speed / J. D. Herbsleb ; A. Mockus ; T. A. Finholt ; R. E. Grinter
Software Product Lines: Organizational Alternatives / J. Bosch
Design Recovery and Program Understanding
Supporting Program Comprehension Using Semantic and Structural Information / J. I. Maletic ; A. Marcus
On the Syllogistic Structure of Object-Oriented Programming / D. Rayside ; K. Kontogiannis
A Scenario-Driven Approach to Traceability / A. Egyed
Effective Uses of Inspections
Systematic Object-Oriented Inspection--An Empirical Study / A. Dunsmore ; M. Roper ; M. Wood
Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles / S. Biffl ; W. Grossmann
Investigating the Cost-Effectiveness of Reinspections in Software Development / B. Freimut ; O. Laitenberger
Building Formal Analysis Tools
A Component-Based Approach to Building Formal Analysis Tools
Tool-Supported Program Abstraction for Finite-State Verification / M. B. Dwyer ; J. Hatcliff ; R. Joehanes ; S. Laubach ; C. S. Pasareanu ; Robby ; H. Zheng ; W. Visser
A Workbench for Synthesising Behaviour Models from Scenarios / S. Uchitel ; J. Kramer
Dynamic Analysis and Testing
The Specification and Testing of Quantified Progress Properties in Distributed Systems / P. Krishnamurthy ; P. A. G. Sivilotti
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution / A. Bertolino ; P. Inverardi ; H. Muccini
Encoding Program Executions / S. P. Reiss ; M. Renieris
Construction of Component-Based Systems
Dynamic and Selective Combination of Extensions in Component-Based Applications / E. Truyen ; B. Vanhaute ; W. Joosen ; P. Verbaeten ; B. Norregaard Jorgensen
Generating Wrappers for Command Line Programs: The Cal-Aggie Wrap-O-Matic Project / E. Wohlstadter ; S. Jackson ; P. Devanbu
Designing Components versus Objects: A Transformational Approach / D. H. Lorenz ; J. Vlissides
Reengineering and Software Evolution
Exploiting the Map Metaphor in a Tool for Software Evolution / W. G. Griswold ; J. J. Yuan ; Y. Kato
Separating Features in Source Code: An Exploratory Study / G. C. Murphy ; A. Lai ; M. P. Robillard
Comparing Frameworks and Layered Refinement / R. Cardone ; C. Lin
Analysis of Architectures
Quantifying the Costs and Benefits of Architectural Decisions / R. Kazman ; J. Asundi ; M. Klein
Survivability Analysis of Networked Systems / S. Jha ; J. M. Wing
Adaptive Feedback Scheduling of Incremental and Design-to-Time Tasks / P. H. Feiler ; J. J. Walker
Improving the Testing Process
Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization / S. Elbaum ; A. Malishevsky ; G. Rothermel
Finding Failures by Cluster Analysis of Execution Profiles / W. Dickinson ; D. Leon ; A. Podgurski
Understanding IV and V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program / M. V. Zelkowitz ; I. Rus
Reliability and Mobile Agents
Theory of Software Reliability Based on Components / D. Hamlet ; D. Mason ; D. Woit
Engineering Mobile-Agent Applications via Context-Dependent Coordination / G. Cabri ; L. Leonardi ; F. Zambonelli
Consistent Group Membership in Ad Hoc Networks / G.-C. Roman ; Q. Huang ; A. Hazemi
Analysis of Requirements
Fast Formal Analysis of Requirements via "Topoi Diagrams" / T. Menzies ; J. Powell ; M. E. Houle
Conceptual Modeling through Linguistic Analysis Using LIDA / S. P. Overmyer ; B. Lavoie ; O. Rambow
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints / S. Easterbrook ; M. Chechik
Functional Paleontology: System Evolution as the User Sees It / A. I. Anton ; C. Potts
Formal Frameworks
A General Framework for Formalizing UML with Formal Languages / W. E. McUmber ; B. H. C. Cheng
Efficient Filtering in Publish-Subscribe Systems Using Binary Decision Diagrams / A. Campailla ; S. Chaki ; E. Clarke ; H. Veith
A Scalable Formal Method for Design and Automatic Checking of User Interfaces / J. Berstel ; S. Crespi Reghizzi ; G. Roussel ; P. San Pietro
Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering / A. M. Haeberer ; T. S. E. Maibaum
Architectures for Emerging Applications
An Architecture for Heterogeneous Groupware Applications / I. Marsic
A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry / K. Sullivan ; A. Saxena
XAS: A System for Accessing Componentized, Virtual XML Documents / M.-L. Lo ; S.-K. Chen ; S. Padmanabhan ; J.-Y. Chung
Case Study Papers
Infrastructure Support
Using the Web for Document Versioning: An Implementation Report for Delta V / J. J. Hunt ; J. Reuter
Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case Study / S. Tilley ; S. Huang
A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library / A. Aoki ; K. Hayashi ; K. Kishida ; K. Nakakoji ; Y. Nishinaka ; B. Reeves ; A. Takashima ; Y. Yamamoto
Applications of New Paradigms in Software Development
Case Study: Extreme Programming in a University Environment / M. M. Muller ; W. F. Tichy
Improving Validation Activities in a Global Software Development / C. Ebert ; C. H. Parro ; R. Suttels ; H. Kolarczyk
Applying WinWin to Quality Requirements: A Case Study / H. In ; B. Boehm ; T. Rodgers ; M. Deutsch
Software Evolution
Tigra--An Architectural Style for Enterprise Application Integration / W. Emmerich ; E. Ellmer ; H. Fieglein
Reengineering Analysis of Object-Oriented Systems via Duplication Analysis / F. Fioravanti ; G. Migliarese ; P. Nesi
Education Papers
Practical Software Engineering Education
Educating Software Engineering Students to Manage Risk / D. Port
A Formal Approach to Component-Based Software Engineering: Education and Evaluation / M. Sitaraman ; T. J. Long ; B. W. Weide ; E. J. Harner ; L. Wang
Corrective Maintenance Maturity Model (CM[superscript 3]): Maintainer's Education and Training / M. Kajko-Mattsson ; S. Forssander ; U. Olsson
Degree Programs for Software Engineering Education
An Efficient Set of Software Degree Programs for One Domain / T. Shepard
The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education / J. D. Tvedt ; R. Tesoriero ; K. A. Gary
Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs / K. L. Modesitt ; D. Bagert ; L. Werth
Plenary Sessions
Software Engineering and the Internet / D. Sabbah
The Coming-of-Age of Software Architecture Research / M. Shaw
"Tolerating Inconsistency" Revisited / R. Balzer
Software Engineering Challenges: A CIO's Perspective / B. Voigt
Reuse That Pays / L. M. Northrop
Challenges and Achievements in Software Engineering / G. Engels ; W. Schafer
Process-Centered Software Engineering Environments: Academic and Industrial Perspectives / V. Gruhn
Specification and Modeling: An Academic Perspective / M. Broy
Specification and Modeling: An Industrial Perspective / B. Selic
Invited Industry Presentations / F. Coallier ; D. Perry
Global Software Development: The Bell Labs Collaboratory / D. Atkins ; M. Handel ; J. Herbsleb ; G. Wills
Does More Necessarily Mean Better? The Software Performance and Reliability Bottleneck / M. Cheng
Software Engineering in a Startup / A. Ricciardi
Technology Drivers and Research Challenges of Future e-Business / S. Feldman
Challenge of Keitai Software: Software Engineering for Next Generation Mobile Phone Systems / Y. Hanai ; M. Aoyama
Web Services and Software Engineering: Challenges and Opportunities / S. Weerawarana
Enterprise Methodology =/= Software Development Methdology / J. Q. Ning
Mining Selected Components: The Options Analysis for Reengineering (OAR) / D. Smith ; L. O'Brien ; J. Bergey
Achieving Usability through Software Architecture / L. Bass ; B. E. John
Frontiers of Software Practice / H. Muller
Enabling Technologies for the Future of Voice-Based Web Access / S. Woods
Jini Network Technology: Devices, Desires, and Designs
Inter-Language Object Sharing with the Common Language Runtime: Infrastructure for MS .NET / J. Hamilton
Collaborative Software Engineering / A. Brown
AntiPatterns in Software Architecture / T. Mobray
Dependability of Embedded Systems / J. Knight
Simple Object Access Protocol (SOAP) and Web Services / A. Ryman
Auditing Legacy Systems for Security and Survivability / T. Longstaff
Panels
Software Engineering Body of Knowledge (Swebok)
Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
Panel: Perspectives on Software Engineering
Tutorials
UML for Software Engineers / R. France ; C. Kobryn
The Intertwining between Risk and Project Management / K. Fruhauf
Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience / K. Wallnau
From Use Cases to Code--Rigorous Software Development with UML / A. Zundorf
OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML Exposition / H. Younessi ; B. Henderson-Sellers
Describing Software Architecture with UML / P. Kruchten ; W. Kozazynski
Software Product Lines and Software Architecture Design
How to Do Inspections When There is No Time / D. Kelly
EasyWinWin: A Groupware-Supported Methodology for Requirements Negotiation / P. Grunbacher ; R. O. Briggs
Tutorial on Fundamental Concepts for Practical Software Architecture / A. Ran
An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things / J. White
Improving Software Inspections by Using Reading Techniques / F. Shull ; I. Russ ; V. Basili
Mining Components for a Software Architecture and a Product Line: The Options Analysis for Reengineering (OAR) Method
Hyper/J: Multi-Dimensional Separation of Concerns for Java / P. Tarr ; H. Ossher
Enterprise JavaBean Architecture and Design Issues
State, Event, Time and Diagram in System Modeling / J. S. Dong
From UML to Java, Building a 3-Tier Architecture: Case Study / T. Korson
Designing Concurrent, Distributed, and Real-Time Applications with UML / H. Gomaa
Using Transformation Systems for Software Maintenance and Reengineering / I. D. Baxter
Effective Software Architecture Design: From Global Analysis to UML Descriptions / R. L. Nord ; D. J. Paulish ; D. Soni ; C. Hofmeister
Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs) / D. Amyot ; G. Mussbacher
Introduction to the Attribute Driven Design Method / F. Bachmann
Workshops
2nd International Workshop on Living with Inconsistency
4th ICSE Workshop on "Software Engineering over the Internet" / F. Maurer
Second ICSE Workshop on Software Product Lines: Economics, Architectures, and Applications / P. Knauber ; G. Succi
The Second International Workshop on Automated Program Analysis, Testing and Verification / N. Tracey ; J. Penix ; W. C. Visser
Workshop on Software Engineering and Mobility / G. P. Picco
ICSE Workshop on Software Visualization / W. De Pauw ; J. T. Stasko
Generative Techniques for Product Lines / G. Butler ; D. Batory ; K. Czarnecki ; U. Eisenecker
SEMINAL: Software Engineering using Metaheuristic INnovative ALgorithms / M. Harman ; B. Jones
From Software Requirements to Architectures / J. Castro
3rd International Workshop on Net-Centric Computing (NCC 2001): Theme: Migrating to the Web / J. Jahnke ; E. Stroulia ; K. Wong
Workshop to Consider Global Aspects of Software Engineering Professionalism / J. B. Thompson ; H. M. Edwards
Third International Workshop on Economics-Driven Software Engineering Research / D. Notkin ; W. Harrison
4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction / I. Crnkovic ; H. Schmidt ; J. Stafford
SCM-10: Tenth International Workshop on Software Configuration Management: New Practices, New Challenges, and New Boundaries / A. van der Hoek
XML Technologies and Software Engineering / C. Mascolo ; A. Finkelstein
Workshop on Advanced Separation of Concerns in Software Engineering / W. Kozaczynski ; G. Larsen
1st Workshop on Open Source Software Engineering / J. Feller ; B. Fitzgerald
Doctoral Symposium
Visualization and Interpretation of Analysis Results within the Context of Formalized UML Diagrams / L. A. Campbell
Modeling and Controlling the Software Test Process / J. W. Cangussu
Using Software Component Generators to Construct a Meta-Weaver Framework / J. Gray
Supporting the Deployment of Object-Oriented Frameworks / D. Hou
Model Checking Distributed Objects Design / N. Kaveh
Web Engineering Device Independent Web Services / E. Kirda
Evolving Legacy Systems using Feature Engineering and CBSE / A. Mehta
Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency Management / D. Smolko
Reuse of Verification Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process / R. P. Diaz Redondo ; J. J. Pazos Arias
Traceability for System Families / D. Streitferdt
David L. Parnas Symposium / D. Hoffman ; D. Weiss
New Software Engineering Faculty Symposium / L. Osterweil ; G. Silberman
Formal Research Demonstrations
Software Architecture
Model Processing Tools in UML / J. Koskinen ; J. Peltonen ; P. Selonen ; K. Koskimies
Architecture-Oriented Programming Using FRED / M. Hakala ; J. Hautamaki ; J. Paakki ; A. Viljamaa ; J. Viljamaa
Reuse and Integration
CodeWeb: Data Mining Library Reuse Patterns / A. Michail
Holmes: An Intelligent System to Support Software Product Line Development / J. Yip ; W. Pedrycz
Babel: Representing Business Rules in XML for Application Integration / H. Zhang
Verification and Maintenance
Jmocha: A Model Checking Tool that Exploits Design Structure / R. Alur ; L. de Alfaro ; R. Grosu ; T. A. Henzinger ; M. Kang ; C. M. Kirsch ; R. Majumdar ; F. Mang ; B. Y. Wang
Maintenance Support Tools for Java programs: CCFinder and JAAT / T. Kamiya ; F. Ohata ; K. Kondou ; S. Kusumoto ; K. Inoue
Using OCL-Queries for Debugging C++ / C. Hobatr ; B. A. Malloy
Author Index
Message from the Chairs
Conference Organization
Sponsors and Supporters
14.

図書
図書
14. Proceedings of the Ninth International Symposium on Hardware/Software Codesign : CODES 2001, April 25-27, 2001, Copenhagen, Denmark
sponsored by : ACM SIGDA ... [et al.]
出版情報: New York : ACM, c2001  xi, 271 p. ; 28 cm
所蔵情報: loading…
15.

図書
図書
15. Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, May 19-25, 2002, Orlando, Florida (: ACM)
sponsored by Association for Computing Machinery, ACM Sigsoft, IEEE Computer Society Technical Council on Software Engineering
出版情報: New York : ACM Press, c2002  xxiii, 744 p. ; 28 cm
所蔵情報: loading…
16.

図書
図書
16. Proceedings, SOFTVIS 2008 : 4th ACM Symposium on Software Visualization, Herrsching am Ammersee, Germany, September 16-17, 2008
program chairs, Christopher Hundhausen, Alexandru Telea ; gerenal chair, Rainer Koschke ; proceedings production editor, Stephen N. Spencer ; sponsored by ACM SIGGRAPH ... [et al.]
出版情報: New York : Association for Computing Machinery, c2008  224 p. ; 28 cm
所蔵情報: loading…
17.

図書
図書
17. ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006 : July 17-20, 2006, Portland, Maine, USA
International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York, N.Y. : ACM Press, c2006  [10], 265, [10] p. ; 28 cm
所蔵情報: loading…
18.

図書
図書
18. 4th International Workshop on Dynamics Analysis, WODA'06 : held at the 28th International Conference on Software Engineering, May 20-28, 2006, Shanghai, China
International Workshop on Dynamic Analysis ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2006  87 p. ; 28 cm
所蔵情報: loading…
19.

図書
図書
19. Early Aspects at ICSE : Workshop in Aspect-Oriented Requirements Engineering and Architecture Design, EA'06 : held at the 28th International Conference on Software Engineering, May 20-28, 2006, Shanghai, China
EA ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2006  66 p. ; 28 cm
所蔵情報: loading…
20.

図書
図書
20. International Workshop on Automation of Software Test, AST'06 : held at the 28th International Conference on Software Engineering, May 20-28, 2006, Shanghai, China
International Workshop on Automation of Software Test ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2006  124 p. ; 28 cm
所蔵情報: loading…
21.

図書
図書
21. 4th Workshop on Parallel and Distributed Systems : Testing and Debugging 2006 : PADTAD-IV : held at the International Symposium on Software Testing and Analysis (ISSTA 2006), July 17, 2006, Portland, Maine, USA
Workshop on Parallel and Distributed Systems : Testing and Debugging ; International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2006  78 p. ; 28 cm
所蔵情報: loading…
22.

図書
図書
22. Proceedings of the Third International Workshop on Software Quality Assurance (SOQUA 2006) : co-located with the Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (ACM SIGSOFT 2006/FSE 14)
Neelam Gupta, Yves Ledru, Johannes Mayer
出版情報: New York : Association for Computing Machinery, c2006  79 p. ; 28 cm
所蔵情報: loading…
23.

図書
図書
23. Proceedings, SOFTVIS 06 : ACM Symposium on Software Visualization : Brighton, United Kingdom, September 04-05, 2006
program co-chairs, Margaret Burnett, Stephan Diehl ; symposium chair, Eileen Kraemer ; proceedings production editor, Stephen N. Spencer ; sponsored by ACM SIGCHI ... [et al.]
出版情報: New York : Association for Computing Machinery, c2006  203 p. ; 28 cm
所蔵情報: loading…
24.

図書
図書
24. The 3rd ACM International Workshop on Traceability in Emerging Forms of Software Engineering : TEFSE 2005 : proceedings : 8 November 2005, Long Beach, California, USA : held in conjunction with the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2005
editors, Jonathan I. Maletic ... [et al.] ; sponsored by ACM, SIGSOFT, SIGART
出版情報: New York, NY : Association for Computing Machinery, c2005  79 p. ; 28 cm
所蔵情報: loading…
25.

図書
図書
25. Inaugural International Conference on Distributed Event-Based Systems : DEBS 07 : June 20-22, 2007, Toronto, Ontario, Canada
DEBS ; USENIX Association ; IEEE Computer Society ; ACM Special Interest Group for the Management of Data ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2007  [14], 263 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 233
所蔵情報: loading…
26.

図書
図書
26. The Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007 : proceedings : co-located with FCRC 2007, 9-16 June 2007
in cooperation with ACM SIGSOFT
出版情報: [New York] : Association for Computing Machinery, c2007  457, [20] p. ; 28 cm
所蔵情報: loading…
27.

図書
図書
27. SEM 2006 : workshop proceedings : sixth International Workshop on Software Engingeering and Middleware, Portland, Oregon, November 10, 2006
editors, Eric Wohlstadter and Charles Zhang
出版情報: New York, N.Y. : Association for Computing Machinery, c2006  70 p. ; 28 cm
所蔵情報: loading…
28.

図書
図書
28. 5th Workshop on Parallel and Distributed Systems : Testing and Debugging 2007 : held at ISSTA 2007, July 9-12, 2007, London, United Kingdom
Workshop on Parallel and Distributed Systems : Testing and Debugging ; International Symposium on Software Testing and Analysis ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2007  64 p. ; 28 cm
所蔵情報: loading…
29.

図書
図書
29. ADC 2003 : proceedings of the Agile Development Conference : 25-28 June 2003, Salt Lake City, Utah, USA
event sponsors, Thought Works (Title Sponsor) ... [et al.] ; media sponsors, Cutter Consortium, Software Development Magazine ; in cooperation with, ACM SigSoft, AITO, IEEE
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  viii, 165 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Conference Chair
Program Committee
Experience Reports Committee
Research Papers
YP and Urban Simulation: Applying an Agile Programming Methodology in a Politically Tempestuous Domain / B. Freeman-Benson ; A. Borning
XP Culture: Why the Twelve Practices Both Are and Are Not the Most Significant Thing / H. Robinson ; H. Sharp
Parfait: Towards a Framework-Based Agile Reengineering Process / M. Cagnin ; J. Maldonado ; F. Germano ; R. Penteado
Observations on Balancing Discipline and Agility / B. Boehm ; R. Turner
Finding a Place for Discount Usability Engineering in Agile Development: Throwing Down the Gauntlet / D. Kane
Test Driven Development and the Scientific Method / R. Mugridge
Experience Reports
Change Your Organization (For Peons) / J. Little
Evolving Agile in the Enterprise: Implementing XP on a Grand Scale / M. Spayd
Improving the Interface between Business and Product Development Using Agile Practices and the Cycles of Control Framework / J. Vanhanen ; J. Itkonen ; P. Sulonen
It's More Than Just Toys and Food: Leading Agile Development in an Enterprise-Class Start-Up / J. Blotner
Retrofitting an Acceptance Test Framework for Clarity / E. Tempero
"Ready-to-Roll" Boxcar Development--A Flexible, Quality-Weighted Process / R. Hill
Iteration Advocate/Iteration Transition Meeting: Small Sampling of New Agile Techniques Used at a Major Telecommunications Firm / B. Boelsterli
Making Agile Software Development Work in a Government Contracting Environment: Measuring Velocity with Earned Value / G. Alleman ; M. Henderson ; R. Seggelke
Certifying for CMM Level 2 and ISO9001 with XPScrum / C. Vriens
Agile Development in the Old Economy / G. Derbier
Introducing Agile Development into Bioinformatics: An Experience Report
Agile Development and Remote Teams: Learning to Love the Phone / C. Sepulveda
Unfixing the Fixed Scope Project: Using Agile Methodologies to Create Flexibility in Project Scope / J. Patton
An Agile Request for Proposal Process (RFP) Process / J. Andrea
Daily Iterations: Approaching Code Freeze and Half the Team Is Not Agile / C. Cooley
Author Index
Message from the Conference Chair
Program Committee
Experience Reports Committee
30.

図書
図書
30. Proceedings second International Workshop on Software and Performance : WOSP 2000, September 17-20, 2000, Ottawa, Canada
sponsored by ACM SIGMETRICS, SIGSOFT ; in cooperation with IFIP Working Group 6.3 and 7.3 Computer Measurement Group (CMG) ; with financial assistance from Nortel Networks, Hewlett-Packard Laboratories
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  x, 226 p. ; ill. ; 28 cm
所蔵情報: loading…
31.

図書
図書
31. Proceedings : 12th IEEE International Requirements Engineering Conference, Kyoto, Japan, September 6-10, 2004
sponsored by IEEE Computer Society Technical Council on Software Engineering (TCSE), Information Processing Society of Japan (IPSJ) ; supported by ACM Special Interest Group on Software Engineering (SIGSOFT)...[et al]
出版情報: Los Alamitos, California : IEEE Computer Society, c2004  xv, 367 p. ; 28 cm
所蔵情報: loading…
32.

図書
図書
32. 1st International Workshop on Software Architectures and Mobility 2008 (SAM 2008) : held at ICSE 2008 : Leipzig, Germany, 10 May 2008
International Workshop on Software Architectures and Mobility ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  59 p. ; 28 cm
所蔵情報: loading…
33.

図書
図書
33. 2nd International Workshop on Ultra-Large-Scale Software-Intensive Systems 2008 (ULSSIS 08) : held at ICSE 2008 : Leipzig, Germany, 10-11 May 2008
International Workshop on Ultra-Large-Scale Software-Intensive Systems ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  72 p. ; 28 cm
所蔵情報: loading…
34.

図書
図書
34. 3rd International Workshop on Automation of Software Test 2008 (AST 2008) : held at ICSE : Leipzig, Germany 11 May 2008
International Workshop on Automation of Software Test ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  92 p. ; 28 cm
所蔵情報: loading…
35.

図書
図書
35. 3rd Workshop on Sharing and Reusing Architectural Knowledge (SHARK 2008) held st ICSE 2008 : Leipzig, Germany, 13 May 2008
ACM International Workshop on Sharing and Reusing Architectural Knowledge ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  86 p. ; 28 cm
所蔵情報: loading…
36.

図書
図書
36. 4th International Workshop on Predictor Models in Software Engineering 2008 (PROMISE 2008) : held at ICSE 2008 : Leipzig, Germany, 12-13 May 2008
International Workshop on Predictor Models in Software Engineering ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  100 p. ; 28 cm
所蔵情報: loading…
37.

図書
図書
37. 4th Workshop on End-user Software Engineering 2008 : (WEUSE IV) : held at ICSE 2008 : Leipzig, Germany, 12 May 2008
Workshop on End-User Software Engineering ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  94 p. ; 28 cm
所蔵情報: loading…
38.

図書
図書
38. Inaugural Workshop on Software Development Governance 2008 : (SDG 2008) : held at ICSE 2008 : Leipzig, Germany, 12 May 2008
SDG2008 ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  28 p. ; 28 cm
所蔵情報: loading…
39.

図書
図書
39. International Workshop on Comparison and Versioning of Software Models 2008 (CVSM 08) : held at ICSE 2008 : Leipzig, Germany 17 May 2008
ACM International Workshop on Comparison and Versioning of Software Models ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  46 p. ; 28 cm
所蔵情報: loading…
40.

図書
図書
40. Scrutinizing Agile Practices or Shoot-Out at the Agile Corral Workshop 2008 (APOS 2008) : held at ICSE 2008 : Leipzig, Germany 10 May 2008
ACM International Workshop on Scrutinizing Agile Practices or Shoot-Out at the Agile Corral ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  41 p. ; 28 cm
所蔵情報: loading…
41.

図書
図書
41. Software Engineering in East and South Europe Workshop 2008 (SEESE 08) : held at ICSE 2008 : Leipzig, Germany, 13 May 2008
SEESE 2008 ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008
所蔵情報: loading…
42.

図書
図書
42. International Workshop on Cooperative and Human Aspects of Software Engineering 2008 (CHASE 2008) : held at ICSE 2008 : Leipzig, Germany 13 May 2008,
ACM International Workshop on Cooperative and Human Aspects of Software Engineering ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  112 p. ; 28 cm
所蔵情報: loading…
43.

図書
図書
43. Working Conference Mining Software Repositories 2008 : (MSR 08) : held at ICSE 2008 : Leipzig, Germany, 10-11 May 2008
Working Conference on Mining Software Repositories ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  152 p. ; 28 cm
所蔵情報: loading…
44.

図書
図書
44. Workshop on Models in Software Engineering 2008 (MiSE 08) : held at ICSE 2008 : Leipzig, Germany, 10-11 May 2008
Workshop on Models in Software Engineering ; International Conference on Software Engineering ; ACM Sigsoft
出版情報: New York, N.Y. : Association for Computing Machinery, c2008  81 p. ; 28 cm
所蔵情報: loading…
45.

図書
図書
45. 2nd International Workshop on Hot Topics in Software Upgrades 2009 (HotSWUp 09) : held at OOPSLA 2009 : Orland. Florida, USA, 25 October 2009
Object-Oriented Programming Systems, Languages and Applications ; ACM Special Interest Group in Programming Languages ; ACM Sigsoft
出版情報: New York : Associaton for Computing Machinery, c2009  46 p. ; 28 cm
所蔵情報: loading…
46.

図書
図書
46. 10th International Conference on Ubiquitous Computing (UBICOMP 2008) : Seoul, Korea, 21-24 September 2008
UbiComp ; Association for Computing Machinery ; ACM SIGMOBILE ; SIGCHI (Group : U.S.) ; ACM Sigsoft ; SIGWEB
出版情報: New York : Association for Computing Machinery, c2008  389 p. ; 28 cm
所蔵情報: loading…
47.

図書
図書
47. ESEM '08 : proceedings of the 2008 ACM-IEEE International Symposium on Empirical Software and Measurement : Kaiserslautern, Germany, Octocer 9-10, 2008
sponsored by ACM SigSoft and IEEE CS
出版情報: New York : Association for Computing Machinery, c2008  xii, 363p. ; 28cm
所蔵情報: loading…
48.

図書
図書
48. 3rd International Workshop on Graph and Model Transformations 2008 (GraMoT 08) : held at ICSE 2008 : Leipzig, Germany, 12 May 2008
International Workshop on Graph and Model Transformations ; ACM Sigsoft ; Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, c2008  52 p. ; 28 cm
所蔵情報: loading…
49.

図書
図書
49. International Workshop on Multicore Software Engineering (IWMSE 2008) : held at ICSE 2008 : Leipzig, Germany 11 May 2008
ACM International Workshop on Multicore Software Engineering ; International Workshop on Multicore Software Engineering ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  68 cm ; 28 cm
所蔵情報: loading…
50.

図書
図書
50. Warm Up Workshop for ACM/IEEE ICSE 2010 (WUP 09) : Cape Town, South Africa, 1-3, April 2009
editors, Nenad Medvidovic, Tetsuo Tamai
出版情報: New York, N.Y. : Association for Computing Machinery, c2009  51 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼