Requirements Engineering, Volume 7

Volume 7, Number 1, 2002

• Camille Salinesi, Andreas L. Opdahl, Matti Rossi:
  Editorial: Seventh International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'01). 1-2
  Electronic Edition (Springer LINK) BibTeX
• Allen H. Dutoit, Barbara Paech:
  Rationale-Based Use Case Specification. 3-19
  Electronic Edition (Springer LINK) BibTeX
• Johan Natt och Dag, Björn Regnell, Pär Carlshamre, Michael Andersson, Joachim Karlsson:
  A Feasibility Study of Automated Natural Language Requirements Analysis in Market-Driven Development. 20-33
  Electronic Edition (Springer LINK) BibTeX
• Andreas Homrighausen, Hans-Werner Six, Mario Winter:
  Round-Trip Prototyping Based on Integrated Functional and User Interface Requirements Specifications. 34-45
  Electronic Edition (Springer LINK) BibTeX

Volume 7, Number 2, 2002

• Jane Coughlan, Robert D. Macredie:
  Effective Communication in Requirements Elicitation: A Comparison of Methodologies. 47-60
  Electronic Edition (Springer LINK) BibTeX
• Emilio Insfrán, Oscar Pastor, Roel Wieringa:
  Requirements Engineering-Based Conceptual Modelling. 61-72
  Electronic Edition (Springer LINK) BibTeX
• Fabio Casati, Maria Grazia Fugini, Isabelle Mirbel, Barbara Pernici:
  WIRES: A Methodology for Developing Workflow Applications. 73-106
  Electronic Edition (Springer LINK) BibTeX
• Alan M. Davis, Ann M. Hickey:
  viewpoints: Requirements Researchers: Do We Practice What We Preach? 107-111
  Electronic Edition (Springer LINK) BibTeX

Volume 7, Number 3, 2002

• Hermann Kaindl, Sjaak Brinkkemper, Janis A. Bubenko Jr., Barbara Farbey, Sol J. Greenspan, Constance L. Heitmeyer, Julio Cesar Sampaio do Prado Leite, Nancy R. Mead, John Mylopoulos, Jawed I. A. Siddiqi:
  Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda. 113-123
  Electronic Edition (Springer LINK) BibTeX
• Bill Karakostas, Dimitris Panagiotakis, George Fakas:
  Workflow Requirements Modelling Using XML. 124-138
  Electronic Edition (Springer LINK) BibTeX
• Pär Carlshamre:
  Release Planning in Market-Driven Software Product Development: Provoking an Understanding. 139-151
  Electronic Edition (Springer LINK) BibTeX
• Mark Bergman, John Leslie King, Kalle Lyytinen:
  Large-Scale Requirements Analysis Revisited: The need for Understanding the Political Ecology of Requirements Engineering. 152-171
  Electronic Edition (Springer LINK) BibTeX
• Ray Offen:
  viewpoints: Domain Understanding is the Key to Successful System Development. 172-175
  Electronic Edition (Springer LINK) BibTeX

Volume 7, Number 4, December 2002

• Annie I. Antón:
  Guest Editorial: Requirements Engineering for Information Security. 177-178
  Electronic Edition (link) BibTeX
• Darrell Raymond:
  Authorisation Requirements on a Budget. 179-191
  Electronic Edition (link) BibTeX
• Cynthia E. Irvine, Timothy E. Levin, Jeffery D. Wilson, David J. Shifflett, Barbara Pereira:
  An Approach to Security Requirements Engineering for a High Assurance System. 192-206
  Electronic Edition (link) BibTeX
• Guy G. Helmer, Johnny S. Wong, Mark Slagell, Vasant Honavar, Les Miller, Robyn R. Lutz:
  A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System. 207-220
  Electronic Edition (link) BibTeX
• Steve M. Easterbrook, Marsha Chechik:
  Guest Editorial: Special Issue on Model Checking in Requirements Engineering. 221-224
  Electronic Edition (link) BibTeX
• Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
  Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. 225-242
  Electronic Edition (link) BibTeX
• Rik Eshuis, David N. Jansen, Roel Wieringa:
  Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. 243-263
  Electronic Edition (link) BibTeX
• Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt:
  Automatically Detecting and Visualising Errors in UML Diagrams. 264-287
  Electronic Edition (link) BibTeX