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 / weide.bib < prev    next >
Text File  |  1993-07-15  |  3KB  |  119 lines
  1. %%%%%% TEMPLATE.BIB for WISR'92, version 1.2, 6/28/92 %%%%%%
  2. %%%%%% Position paper by Weide, Heym, and Ogden %%%%%%
  3.  
  4. @Article(guaspari90,
  5. Author="D. Guaspari and C. Marceau and W. Polak",
  6. Key="Guaspari",
  7. Title="{Formal Verification of Ada Programs}",
  8. Journal="IEEE Transactions on Software Engineering",
  9. Volume="16",
  10. Number="9",
  11. Month="September",
  12. Year="1990",
  13. Pages="1058-1075")
  14.  
  15. @Article(clarke79,
  16. Author="E.M. Clarke",
  17. Key="Clarke",
  18. Title="{Programming Language Constructs for Which It Is Impossible To Obtain
  19. Good Hoare Axiom Systems}",
  20. Journal="Journal of the ACM",
  21. Volume="26",
  22. Number="1",
  23. Month="January",
  24. Year="1979",
  25. Pages="129-147")
  26.  
  27. @Article(cook78,
  28. Author="S.A. Cook",
  29. Key="Cook",
  30. Title="{Soundness and Completeness of an Axiom System for Program
  31. Verification}",
  32. Journal="SIAM Journal of Computing",
  33. Volume="7",
  34. Number="1",
  35. Month="February",
  36. Year="1978",
  37. Pages="70-90")
  38.  
  39. @Article(harms91,
  40. Author="D.E. Harms and B.W. Weide",
  41. Key="Harms",
  42. Title="{Copying and Swapping: Influences on the Design of Reusable Software
  43. Components}",
  44. Journal="IEEE Transactions on Software Engineering",
  45. Volume="17",
  46. Number="5",
  47. Month="May",
  48. Year="1991",
  49. Pages="424-435")
  50.  
  51. @Inproceedings(weide92,
  52. Author="B.W. Weide and J.E. Hollingsworth",
  53. Key="Weide",
  54. Title="{Scalability of Reuse Technology to Large Systems Requires Local
  55. Certifiability}",
  56. BookTitle="{Proceedings 5th Workshop on Software Reuse}",
  57. Year="1992")
  58.  
  59. @Article(ernst91,
  60. Author="G.W. Ernst and R.J. Hookway and J.A. Menegay and W.F. Ogden",
  61. Key="Ernst",
  62. Title="{Modular Verification of Ada Generics}",
  63. Journal="Computer Language",
  64. Volume="16",
  65. Number="3/4",
  66. Year="1991",
  67. Pages="259-280")
  68.  
  69. @Article(griss93,
  70. Author="M. Griss and W. Tracz",
  71. Key="Griss",
  72. Title="{WISR '92: 5th Workshop on Software Reuse Working Group Reports}",
  73. Journal="Software Engineering Notes",
  74. Volume="18",
  75. Number="2",
  76. Month="April",
  77. Year="1993",
  78. Pages="74-85")
  79.  
  80. @Article(myers93,
  81. Author="W. Myers",
  82. Key="Myers",
  83. Title="{Workshop Participants Take the Pulse of Reuse}",
  84. Journal="IEEE Software",
  85. Volume="10",
  86. Number="1",
  87. Month="January",
  88. Year="1993",
  89. Pages="116-117")
  90.  
  91. @TechReport(hollingsworth92,
  92. Author="J.E. Hollingsworth",
  93. Key="Hollingsworth",
  94. Title="{Software Component Design-for-Reuse: A Language-Independent Discipline
  95. Applied to Ada}",
  96. Institution="Ohio State University, Dept. of Computer and Information
  97. Science",
  98. Month="August",
  99. Year="1992")
  100.  
  101. @TechReport(ernst85,
  102. Author="G.W. Ernst and J.A. Menegay and R.J. Hookway and W.F. Ogden",
  103. Key="Ernst",
  104. Title="{Semantics of Programming Languages for Modular Verification}",
  105. Institution="Case Western Reserve University, Dept. of Computer Engineering
  106. and Science",
  107. Month="October",
  108. Year="1985",
  109. Number="CES-85-4")
  110.  
  111. @TechReport(krone88,
  112. Author="J. Krone",
  113. Key="Krone",
  114. Title="{The Role of Verification in Software Reusability}",
  115. Institution="Ohio State University, Dept. of Computer and Information
  116. Science",
  117. Month="August",
  118. Year="1988")
  119.