home *** CD-ROM | disk | FTP | other *** search
/ ftp.umcs.maine.edu / 2015-02-07.ftp.umcs.maine.edu.tar / ftp.umcs.maine.edu / pub / WISR / wisr6 / proceedings / tex / beidler.bib < prev    next >
Text File  |  1993-09-28  |  2KB  |  87 lines
  1. @techReport(Bei93a,
  2. AUTHOR="John Beidler",
  3. KEY="Beidler93a",
  4. TITLE="{A Package to Support Practical Uses of Program Correctness}",
  5. Publisher="Proceedings of ASEET-7",
  6. YEAR="1993")
  7.  
  8. @techReport(Bei93b,
  9. AUTHOR="John Beidler",
  10. KEY="Beidler93b",
  11. TITLE="{Structuring Iterators to Encourage Reuse}",
  12. Publisher="Proceedings of Ada-Europe 1993",
  13. YEAR="1993")
  14.  
  15. @techReport(Bei92a,
  16. AUTHOR="John Beidler",
  17. KEY="beidler92a",
  18. TITLE="{A ROle for Iterators as a Tool for Software Reuse}",
  19. Publisher="Proceedings of WAdaS, 1992",
  20. YEAR="1992")
  21.  
  22. @techReport(bei92b,
  23. AUTHOR="John Beidler",
  24. KEY="Beidler92b",
  25. TITLE="{Building on the Booch Components:  What Can be Learned When Modifying
  26. Real World Software Tools For Educational Use}",
  27. Publisher="Tri-Ada '92",
  28. YEAR="1992")
  29.  
  30. @techReport(boo86,
  31. AUTHOR="Grady Booch",
  32. KEY="Booch86",
  33. TITLE="{Software Components in Ada}",
  34. Publisher="Benjamin Cummings",
  35. YEAR="1986")
  36.  
  37. @techReport(EVB,
  38. AUTHOR="EVB Software Engineering",
  39. KEY="EVB",
  40. TITLE="{The GRACE Components}",
  41. Publisher="EVB Software Engineering",
  42. YEAR="1989")
  43.  
  44. @techReport(Gut77,
  45. AUTHOR="J.V. Guttag",
  46. KEY="Guttag77",
  47. TITLE="{Abstract Data Types and the Development of Algorithms}",
  48. Publisher="CACM", Month = "March",
  49. YEAR="1977")
  50.  
  51. @techReport(Holl92,
  52. AUTHOR="Joseph Eugene Hollingsworth",
  53. KEY="Hollings",
  54. TITLE="{Software Component Design-for-Reuse:  A Language-Independent 
  55. Discipline Aplied to Ada}",
  56. Institution="Ohio State University",
  57. YEAR="1992")
  58.  
  59. @techReport(Jac86,
  60. AUTHOR="Paul Jackowitz and John Beidler",
  61. KEY="Jac86",
  62. TITLE="{Consistent Generics in Modula-2}",
  63. Publisher="ACM SIGPLAN Notices", Month = "April",
  64. YEAR="1986")
  65.  
  66. @techReport(Sch91,
  67. AUTHOR="G. Michael Schneider and G. Bruell",
  68. KEY="sch91",
  69. TITLE="{Concepts in Data Structures and Software Development}",
  70. Publisher="West Publishing",
  71. YEAR="1991")
  72.  
  73. @techReport(Sha81,
  74. AUTHOR="Mary Shaw, W. Wulf, and R. London",
  75. KEY="shaw81",
  76. TITLE="{Abstraction and Verification in Alphard: Iteration and
  77. Generators (in Alphard: Form and Content)}",
  78. Publisher="Springer-Verlag",
  79. YEAR="1981")
  80.  
  81. @techReport(Stu86,
  82. AUTHOR="Stubbs, D. and N. Webre",
  83. KEY="Stubbs",
  84. TITLE="{Data Structures with Abstract Data Types and Modula-2}",
  85. Publisher="Brooks Cole",
  86. YEAR="1987")
  87.