default search action
RE 1997: Annapolis, MD, USA
- 3rd IEEE International Symposium on Requirements Engineering (RE'97), January 5-8, 1997, Annapolis, MD, USA. IEEE Computer Society 1997, ISBN 0-8186-7740-6
Session 1: Keynote Address
- Anthony Hall:
What's the Use of Requirements Engineering? 2-
Session 2A: Reuse
- W. Lam, John A. McDermid, Andrew J. Vickers:
Ten Steps Towards Systematic Requirements Reuse. 6-15 - Robert Darimont, Jeanine Souquières:
Reusing Operational Requirements: A Process-Oriented Approach. 16- - Philippe Massonet, Axel van Lamsweerde:
Analogical Reuse of Requirements Frameworks. 26-
Session 2B: Applications and Tools 1
- Ahti Salo:
Groupware-Assisted Requirements Assessment. 40 - Chonchanok Viravan:
Lessons Learned from Applying the Spiral Model in the Software. 40 - Philip Morris, Marcelo Masera, Marc Wilikens:
Industrial Workshop on Requirements for R&D in Requirements Engineering. 41 - Shaoying Liu:
SOFL: A Formal Engineering Methodology for Industrial Applications. 41
Session 3A: Scenarios and Use Cases
- Julio César Sampaio do Prado Leite, Gustavo Rossi, Federico Balaguer, Vanesa Maiorana, Gladys Noemí Kaplan, Graciela D. S. Hadad, Alejandro Oliveros:
Enhancing a Requirements Baseline with Scenarios. 44-53 - Bénédicte Dano, Henri Briand, Franck Barbier:
An Approach Based on the Concept of Use Case to Produce Dynamic Object-Oriented Specifications. 54-64 - Alistair G. Sutcliffe:
A Technique Combination Approach to Requirements Engineering. 65-
Session 4A: Inconsistencies and Exceptions
- Anthony Hunter
, Bashar Nuseibeh:
Analyzing Inconsistent Specifications. 78-86 - John Yen, W. Amos Tiao:
A Systematic Tradeoff Analysis for Conflicting Imprecise Requirements. 87-
Session 4B: Panel
- Nazim H. Madhavji, Ted Thompson, Pericles Loucopoulos, William W. Agresti, Karel Vredenburg:
The Impact of Environment Evolution on Requirements Changes. 98-99
Session 5: Keynote Address
- Colin Potts:
Requirements Models in Context. 102-
Session 6A: Foundations
- Pamela Zave, Michael Jackson:
Requirements for Telecommunications Services: An Attack on Complexity. 106-117 - Colin Potts, Wendy Newstetter:
Naturalistic Inquiry and Requirements Engineering: Reconciling Their Theoretical Foundations. 118-127 - Philippe Du Bois, Eric Dubois, Jean-Marc Zeippen:
On the Use of a Formal R. E. Language - The Generalized Railroad Crossing Problem. 128-
Session 6B: Applications and Tools 2
- Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde:
GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout. 140 - Theodore Hammer, Linda H. Rosenberg, Lenore Huffman, Lawrence E. Hyatt:
Requirements Metrics - Value Added. 141 - Haim Kilov, Ian Simmonds:
Eliciting Requirements: Beyond the Blank Sheet of Paper. 141
Session 7: Keynote Address
- John M. Rushby:
Calculating with Requirements. 144-
Session 8A: Case Studies
- Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys:
Integrated Safety Analysis of Requirements Specifications. 148-159 - Steve M. Easterbrook, John R. Callahan:
Formal Methods for V&V of Partial Specifications: An Experience RSeport. 160-168 - Orlena Gotel, Anthony Finkelstein:
Extended Requirements Traceability: Results of an Industrial Case Study. 169-
Session 8B: Workshop
- Alistair G. Sutcliffe:
Exploring Scenarios in Requirements Engineering. 180-
Session 9: Keynote Address
- David Harel:
Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. 184-
Session 10A: Languages and Tools
- Neeraj K. Gupta, Lalita Jategaonkar Jagadeesan, Eleftherios Koutsofios, David M. Weiss:
Auditdraw: Generating Audits the FAST Way. 188-197 - Hanêne Ben-Abdallah, Insup Lee, Young-Si Kim:
Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. 198-209 - Mats Per Erik Heimdahl, David J. Keenan:
Generating Code from Hierarchical State-Based Requirements. 210-
Session 10B: Workshop
- Stephen Fickas:
Software on Demand: Issues for RE. 222-223
Session 11A: Life-Cycle
- Eric S. K. Yu:
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering. 226-235 - Daniela Rosca, Mark Feblowitz, Chris Wild:
Decision Making Methodology in Support of the Business Rules Lifecycle. 236-246 - Didar Zowghi
A Logical Framework for Modeling and Reasoning About the Evolution of Requirements. 247-
Session 11B: Panel
- Steve Miller:
How Can Requirements Engineering Research Become Requirements Engineering Practice? 260
Tutorials
- Bashar Nuseibeh, Suzanne Robertson:
Making Requirements Measurable. 262 - Stuart R. Faulk, Constance L. Heitmeyer:
The SCR Approach to Requirements Specification and Analysis. 263 - Mats Per Erik Heimdahl, Jon Damon Reese:
Software Requirements Specification and System Safety. 264 - Anthony Finkelstein, Richard Stevens:
Requirements Traceability. 265 - Roel J. Wieringa:
Advanced Object-Oriented Requirements Specification Methods. 266
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: