![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
, Ray Offen:
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.