dblp: RE 1997 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

RE 1997: Annapolis, MD, USA

• 

• 

• 

• 

• 
  jump to

  • Session 1: Keynote Address
  • Session 2B: Applications and Tools 1
  • Session 4A: Inconsistencies and Exceptions
  • Session 5: Keynote Address
  • Session 6B: Applications and Tools 2
  • Session 8A: Case Studies
  • Session 9: Keynote Address
  • Session 10B: Workshop
  • Session 11B: Panel

• 

• > Home > Conferences and Workshops > RE

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

• 
  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

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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: