ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

A Method for Requirements Elicitation and Formal Specification.

Maritta Heisel, Jeanine Souquières: A Method for Requirements Elicitation and Formal Specification. ER 1999: 309-324
@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}
}
BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 5 Issue 2, JACM, VLDB-J, POS, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

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
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:10:21 2009