A Method for Requirements Elicitation and Formal Specification.

@inproceedings{DBLP:conf/er/HeiselS99,
  author    = {Maritta Heisel and
               Jeanine Souqui{\`e}res},
  editor    = {Jacky Akoka and
               Mokrane Bouzeghoub and
               Isabelle Comyn-Wattiau and
               Elisabeth M{\'e}tais},
  title     = {A Method for Requirements Elicitation and Formal Specification},
  booktitle = {Conceptual Modeling - ER '99, 18th International Conference on
               Conceptual Modeling, Paris, France, November, 15-18, 1999, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1728},
  year      = {1999},
  isbn      = {3-540-66686-9},
  pages     = {309-324},
  ee        = {db/conf/er/HeiselS99.html},
  crossref  = {DBLP:conf/er/99},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An5-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX

[2]

Anne Dardenne, Axel van Lamsweerde, Stephen Fickas: Goal-Directed Requirements Acquisition. Sci. Comput. Program. 20(1-2): 3-50(1993) BibTeX

[3]

Robert Darimont, Axel van Lamsweerde: Formal Refinement Patterns for Goal-Driven Requirements Elaboration. SIGSOFT FSE 1996: 179-190 BibTeX

[4]

...

[5]

Martin S. Feather, Stephen Fickas, B. Robert Helm: Composite System Design: The Good News and the Bad News. KBSE 1991: 16-25 BibTeX

[6]

Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi: Strategies for Incorporating Formal Specifications in Software Development. Commun. ACM 37(10): 74-86(1994) BibTeX

[7]

...

[8]

...

[9]

...

[10]

Michael Jackson, Pamela Zave: Deriving Specifications from Requirements: An Example. ICSE 1995: 15-24 BibTeX

[11]

Matthias Jarke: Requirements Tracing - Introduction. Commun. ACM 41(12): 32-36(1998) BibTeX

[12]

...

[13]

Nicole Lévy, Jeanine Souquières: Modelling Specification Construction by Successive Approximations. AMAST 1997: 351-364 BibTeX

[14]

...

[15]

...

[16]

...

[17]

Pamela Zave, Michael Jackson: Four Dark Corners of Requirements Engineering. ACM Trans. Softw. Eng. Methodol. 6(1): 1-30(1997) BibTeX