A Data Model for Requirements Analysis.

@inproceedings{DBLP:conf/icde/DuboisHLRW86,
  author    = {Eric Dubois and
               Jacques Hagelstein and
               Eugene Lahou and
               Andr{\'e} Rifaut and
               Fiona Williams},
  title     = {A Data Model for Requirements Analysis},
  booktitle = {Proceedings of the Second International Conference on Data Engineering,
               February 5-7, 1986, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1986},
  isbn      = {0-8186-0655-X},
  pages     = {646-653},
  ee        = {db/conf/icde/DuboisHLRW86.html},
  crossref  = {DBLP:conf/icde/86},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1986 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

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/An2-6 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

Printed Edition

References

[1]

...

[2]

James F. Allen: Maintaining Knowledge about Temporal Intervals. Commun. ACM 26(11): 832-843(1983)

[3]

...

[4]

...

[5]

...

[6]

Valdis Berzins, Michael Gray: Analysis and Design in MSG.84: Formalizing Functional Specifications. IEEE Trans. Software Eng. 11(8): 657-670(1985)

[7]

...

[8]

...

[9]

Alexander Borgida, Sol J. Greenspan, John Mylopoulos: Knowledge Representation as the Basis for Requirements Specifications. IEEE Computer 18(4): 82-91(1985)

[10]

...

[11]

Michael L. Brodie, Dzenan Ridjanovic: On the Design and Specification of Database Transactions. On Conceptual Modelling (Intervale) 1982: 277-312

[12]

Janis A. Bubenko Jr.: Information Modeling in the Context of System Development. IFIP Congress 1980: 395-411

[13]

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

[14]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970)

[15]

E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979)

[16]

...

[17]

...

[18]

...

[19]

...

[20]

...

[21]

John V. Guttag, James J. Horning: An Introduction to the Larch Shared Language. IFIP Congress 1983: 809-814

[22]

...

[23]

...

[24]

Sol J. Greenspan, John Mylopoulos, Alexander Borgida: Capturing More World Knowledge in the Requirements Specification. ICSE 1982: 225-235

[25]

...

[26]

...

[27]

...

[28]

Drew V. McDermott: A Temporal Logic for Reasoning About Processes and Plans. Cognitive Science 6: 101-155(1982)

[29]

...

[30]

...

[31]

Jean-Marie Nicolas, Hervé Gallaire: Data Base: Theory vs. Interpretation. Logic and Data Bases 1977: 33-54

[32]

...

[33]

...

[34]

...

[35]

...

[36]

Douglas T. Ross, Kenneth E. Schoman Jr.: Structured Analysis for Requirements Definition. IEEE Trans. Software Eng. 3(1): 6-15(1977)

[37]

...

[38]

...

[39]

Amílcar Sernadas: Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187(1980)

[40]

Daniel Teichroew, Ernest A. Hershey III: PSL/PSA: A Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems. IEEE Trans. Software Eng. 3(1): 41-48(1977)

[41]

...

[42]

Pamela Zave: An Operational Approach to Requirements Specification for Embedded Systems. IEEE Trans. Software Eng. 8(3): 250-269(1982)