Towards a Formalism to Produce a Programmer Assistant CASE Tool.

@article{DBLP:journals/tkde/Cooke90,
  author    = {Daniel E. Cooke},
  title     = {Towards a Formalism to Produce a Programmer Assistant CASE Tool},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {2},
  number    = {3},
  year      = {1990},
  pages     = {320-326},
  ee        = {db/journals/tkde/Cooke90.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

Joint ACM SIGMOD / IEEE Computer Society 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/An3-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/aDVD2 or /dvd

References

[1]

J. Cleaveland: Building Application Generators. IEEE Software 5(4): 25-33(1988) BibTeX

[2]

E. F. Codd: Further Normalization of the Data Base Relational Model. IBM Research Report, San Jose, California RJ909: (1971) BibTeX

[3]

...

[4]

Alan M. Davis: A Comparison of Techniques for the Specification of External System Behavior. Commun. ACM 31(9): 1098-1115(1988) BibTeX

[5]

Edsger W. Dijkstra: Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Commun. ACM 18(8): 453-457(1975) BibTeX

[6]

C. A. R. Hoare: An Overview of Some Formal Methods for Program Design. IEEE Computer 20(9): 85-91(1987) BibTeX

[7]

...

[8]

Zohar Manna, Richard J. Waldinger: A Deductive Approach to Program Synthesis. ACM Trans. Program. Lang. Syst. 2(1): 90-121(1980) BibTeX

[9]

S. Misra, Paul J. Jalics: Third-Generation versus Fourth-Generation Software Generation. IEEE Software 5(4): 8-14(1988) BibTeX

[10]

Helmuth Partsch, Ralf Steinbrüggen: Program Transformation Systems. ACM Comput. Surv. 15(3): 199-236(1983) BibTeX

[11]

...

[12]

...

[13]

...

[14]

Charles Rich, Richard C. Waters: Automatic Programming: Myths and Prospects. IEEE Computer 21(8): 40-51(1988) BibTeX