An Approach to Intelligent Software Library Management.

@inproceedings{DBLP:conf/dasfaa/FreitagSMZ95,
  author    = {Burkhard Freitag and
               Bernhard Steffen and
               Tiziana Margaria and
               Ulrich Zukowski},
  editor    = {Tok Wang Ling and
               Yoshifumi Masunaga},
  title     = {An Approach to Intelligent Software Library Management},
  booktitle = {Database Systems for Advanced Applications '95, Proceedings of
               the 4th International Conference on Database Systems for Advanced
               Applications (DASFAA), Singapore, April 11-13, 1995},
  publisher = {World Scientific},
  series    = {Advanced Database Research and Development Series},
  volume    = {5},
  year      = {1995},
  isbn      = {981-02-2220-3},
  pages     = {71-78},
  ee        = {db/conf/dasfaa/FreitagSMZ95.html},
  crossref  = {DBLP:conf/dasfaa/95},
  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

[1]

Don S. Batory, Sean W. O'Malley: The Design and Implementation of Hierarchical Software Systems with Reusable Components. ACM Trans. Softw. Eng. Methodol. 1(4): 355-398(1992)

[2]

...

[3]

Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 8(2): 244-263(1986)

[4]

Rance Cleaveland, Joachim Parrow, Bernhard Steffen: The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. ACM Trans. Program. Lang. Syst. 15(1): 36-72(1993)

[5]

Premkumar T. Devanbu, Ronald J. Brachman, Peter G. Selfridge: LaSSIE: A Knowledge-Based Software Information System. Commun. ACM 34(5): 34-49(1991)

[6]

E. Allen Emerson: Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 995-1072

[7]

Burkhard Freitag: A Hypertext-Based Tool for Large Scale Software Reuse. CAiSE 1994: 283-296

[8]

...

[9]

Burkhard Freitag, Tiziana Margaria, Bernhard Steffen: A Pragmatic Approach to Software Synthesis. Workshop on Interface Definition Languages 1994: 46-58

[10]

Burkhard Freitag, Heribert Schütz, Günther Specht: LOLA - A Logic Language for Deductive Databases and its Implementation. DASFAA 1991: 216-225

[11]

...

[12]

...

[13]

...

[14]

S. Katz, Charles Richter, K.-S. The: PARIS: A System for Reusing Partially Interpreted Schemas. ICSE 1987: 377-386

[15]

Ali Mili, Rym Mili, Roland Mittermeir: Storing and Retrieving Software Components: A Refinement Based System. ICSE 1994: 91-100

[16]

...

[17]

John Mylopoulos, Alexander Borgida, Matthias Jarke, Manolis Koubarakis: Telos: Representing Knowledge About Information Systems. ACM Trans. Inf. Syst. 8(4): 325-362(1990)

[18]

Rubén Prieto Díaz: Implementing Faceted Classification for Software Reuse. Commun. ACM 34(5): 88-97(1991)

[19]

A. Prasad Sistla, Edmund M. Clarke: The Complexity of Propositional Linear Temporal Logics. J. ACM 32(3): 733-749(1985)

[20]

Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller: Die inferenzbasierte Softwareentwicklungsumgebung NORA. Inform., Forsch. Entwickl. 9(3): 116-131(1994)

[21]

...

[22]

...

[23]

Kevin D. Wentzel: Software Reuse - Facts and Myths. ICSE 1994: 267-268