Towards KBMS for Software Development: An Overview of the DAIDA Project.

@inproceedings{DBLP:conf/edbt/Team88,
  editor    = {Joachim W. Schmidt and
               Stefano Ceri and
               Michele Missikoff},
  title     = {Towards KBMS for Software Development: An Overview of the DAIDA
               Project},
  booktitle = {Advances in Database Technology - EDBT'88, Proceedings of the
               International Conference on Extending Database Technology, Venice,
               Italy, March 14-18, 1988},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {303},
  year      = {1988},
  isbn      = {3-540-19074-0},
  pages     = {572-577},
  ee        = {db/conf/edbt/Team88.html},
  crossref  = {DBLP:conf/edbt/88},
  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/An2-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

[ALLE83]

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

[BALZ85]

Robert Balzer: A 15 Year Perspective on Automatic Programming. IEEE Trans. Software Eng. 11(11): 1257-1268(1985) BibTeX

[BAUE76]

Friedrich L. Bauer: Programming as an Evolutionary Process. ICSE 1976: 223-234 BibTeX

[BMMS87]

...

[BORG87]

...

[DEKL86]

Johan de Kleer: An Assumption-Based TMS. Artif. Intell. 28(2): 127-162(1986) BibTeX

[DJ85]

Vasant Dhar, Matthias Jarke: Dependency Directed Reasoning and Learning in Systems Maintenance Support. IEEE Trans. Software Eng. 14(2): 211-227(1988) BibTeX

[ECKH85]

...

[GBM86]

...

[HEHN84-1]

Eric C. R. Hehner: Predicative Programming, Part I. Commun. ACM 27(2): 134-143(1984) BibTeX

[HEHN84-2]

Eric C. R. Hehner: Predicative Programming, Part II. Commun. ACM 27(2): 144-151(1984) BibTeX

[JJR87]

...

[JLS85]

Matthias Jarke, Volker Linnemann, Joachim W. Schmidt: Data Constructors: On the Integration of Rules and Relations. VLDB 1985: 227-240 BibTeX

[JV87]

...

[MRS84]

...

[MBW80]

John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX

[O'DR87]

...

[RICH84]

...

[SKW85]

Douglas R. Smith, Gordon Kotik, Stephen J. Westfold: Research on Knowledge-Based Software Environments at Kestrel Institute. IEEE Trans. Software Eng. 11(11): 1278-1295(1985) BibTeX

[SNØD86]

Richard T. Snodgrass: Research Concerning Time in Databases - Project Summaries. SIGMOD Record 15(4): 19-39(1986) BibTeX

[WEDD87]

...