close
1.

図書

図書
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
2.

図書

図書
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
3.

図書

図書
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…
4.

図書

図書
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…
5.

図書

図書
sponsored by ACM SigSoft and IEEE CS
出版情報: New York : Association for Computing Machinery, c2008  xii, 363p. ; 28cm
所蔵情報: loading…
6.

図書

図書
DEBS ; USENIX Association ; IEEE Computer Society ; ACM Special Interest Group for the Management of Data ; ACM Sigsoft
出版情報: New York : Association for Computing Machinery, c2008  325 p. ; 28 cm
シリーズ名: ACM international conference proceedings series ; 332
所蔵情報: loading…
7.

図書

図書
ACM/IEEE International Conference on Automated Software Engineering ; IEEE Computer Society ; ACM Sigsoft ; SIGART
出版情報: New York : Association for Computing Machinery, c2007  577 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼