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 / stillman.bib < prev    next >
Text File  |  1993-07-18  |  8KB  |  257 lines
  1. @techreport     ( ASSE92,
  2. key     =       "ASSET" ,
  3. author  =       "{Asset Source for Software Engineering Technology (ASSET)}" ,
  4. title   =       "{ASSET Operations Plan}" ,
  5. institution=    "US Air Force Systems Command, Electronic Systems Division" ,
  6. address =       "Hanscom Air Force Base, MA" ,
  7. type    =       "{IBM STARS Technical Report}" ,
  8. number  =       "CDRL 05602-001" ,
  9. month   =       "June" ,
  10. year    =       "1992" ,
  11. keywords=       "reuse, library" ,
  12. bibdate =       "Jul 29 1992"
  13. )
  14.  
  15. @article        ( Basi92,
  16. key     =       "Basili" ,
  17. author  =       "Victor Basili and Gianluigi Caldiera and Giovanni Cantone" ,
  18. title   =       "{A Reference Architecture for the Component Factory}" ,
  19. journal =       "ACM Transactions on Software Engineering and Methodology" ,
  20. volume  =       "1" ,
  21. number  =       "1" ,
  22. month   =       "January" ,
  23. year    =       "1992" ,
  24. pages   =       "53--80" ,
  25. keywords=       "reuse, process, architecture" ,
  26. bibdate =       "Jul 31 1992"
  27. )
  28.  
  29. @techreport     ( CARD92,
  30. key     =       "CARDS" ,
  31. author  =       "{Central Archive for Reusable Defense Software (CARDS)}" ,
  32. title   =       "{Library Operation Policies and Procedures}" ,
  33. institution=    "US Air Force Systems Command, Electronic Systems Division" ,
  34. address =       "Hanscom Air Force Base, MA" ,
  35. type    =       "Paramax STARS Technical Report" ,
  36. number  =       "STARS-AC-03533/001/00" ,
  37. month   =       "January" ,
  38. year    =       "1992" ,
  39. keywords=       "reuse, library" ,
  40. bibdate =       "Thurs Jul 9 1992"
  41. )
  42.  
  43. @techreport     ( CFRP92a,
  44. key     =       "STARS" ,
  45. author  =       "{Software Technology for Adaptable Reliable Systems (STARS)}"
  46. ,
  47. title   =       "{STARS Reuse Concepts Volume I - Conceptual Framework for
  48.                  Reuse Processes}" ,
  49. institution=    "US Air Force Systems Command, Electronic Systems Division" ,
  50. address =       "Hanscom Air Force Base, MA" ,
  51. type    =       "Paramax STARS Technical Report" ,
  52. number  =       "STARS-TC-04040/001/01" ,
  53. month   =       "September" ,
  54. year    =       "1992" ,
  55. keywords=       "reuse, process, software engineering" ,
  56. bibdate =       "Thurs Jul 9 1992"
  57. )
  58.  
  59. @techreport     ( CFRP92b,
  60. key     =       "STARS" ,
  61. author  =       "{Software Technology for Adaptable Reliable Systems (STARS)}"
  62. ,
  63. title   =       "{STARS Reuse Concepts Volume II - Reuse Process
  64.                  Architecture}" ,
  65. institution=    "US Air Force Systems Command, Electronic Systems Division" ,
  66. address =       "Hanscom Air Force Base, MA" ,
  67. type    =       "Paramax STARS Technical Report" ,
  68. number  =       "STARS-TC-04040/002/00" ,
  69. month   =       "September" ,
  70. year    =       "1992" ,
  71. keywords=       "reuse, process, software engineering" ,
  72. bibdate =       "Thurs Jul 9 1992" ,
  73. )
  74.  
  75. @inproceedings  ( Davi91,
  76. key     =       "Davis" ,
  77. author  =       "M.J. Davis" ,
  78. title   =       "{STARS Framework for Reuse Processes}" ,
  79. booktitle=      "Proceedings of the Fourth Annual Workshop on Software Reuse" ,
  80. publisher=      "IEEE Computer Society" ,
  81. month   =       "November" ,
  82. year    =       "1991"
  83. )
  84.  
  85. @inproceedings  ( Davi92,
  86. key     =       "Davis" ,
  87. author  =       "M.J. Davis" ,
  88. title   =       "{STARS Reuse Maturity Model:  Guidelines for Reuse
  89.                  Strategy Formulation}" ,
  90. booktitle=      "Proceedings of the Fifth Annual Workshop on Software Reuse" ,
  91. month   =       "November" ,
  92. year    =       "1992"
  93. )
  94.  
  95. @book           ( Demi86,
  96. key     =       "Deming" ,
  97. author  =       "W. Deming" ,
  98. title   =       "{Out of the Crisis}" ,
  99. publisher=      "MIT Press" ,
  100. address =       "Cambridge, MA" ,
  101. year    =       "1986" ,
  102. keywords=       "process"
  103. )
  104.  
  105. @book           ( Prie91,
  106. key     =       "Prieto-Diaz" ,
  107. editor  =       "R. Prieto-Diaz and G. Arango" ,
  108. title   =       "{Domain Analysis and Software Systems Modeling}" ,
  109. publisher=      "IEEE Computer Society Press" ,
  110. address =       "Silver Spring, MD" ,
  111. year    =       "1991" ,
  112. keywords=       "reuse, modeling, domain analysis, domain engineering"
  113. )
  114.  
  115. @techreport     ( RAPI90,
  116. key     =       "RAPID" ,
  117. author  =       "{Reusable Ada Products for Information System Development
  118.                  (RAPID)}" ,
  119. title   =       "{Final RAPID Center Reusable Software Component (RSC)
  120.                   Procedures}" ,
  121. institution=    "US Army Information Systems Engineering Command" ,
  122. address =       "Ft. Belvoir, VA" ,
  123. type    =       "Softech Technical Report" ,
  124. number  =       "3451-4-326/4" ,
  125. month   =       "June" ,
  126. year    =       "1990" ,
  127. keywords=       "reuse, library, process, certification" ,
  128. )
  129.  
  130. @book           ( Seng90,
  131. key     =       "Senge" ,
  132. author  =       "P.M. Senge" ,
  133. title   =       "{The Fifth Discipline}" ,
  134. publisher=      "Doubleday/Currency" ,
  135. address =       "New York, NY" ,
  136. year    =       "1990" ,
  137. keywords=       "organization, management, learning"
  138. )
  139.  
  140. @misc           ( USHR89,
  141. key     =       "Congress" ,
  142. author  =       "{U.S. House of Representatives}" ,
  143. title   =       "{Bugs in the Program:  Problems in Federal Government
  144.                  Computer Software Development and Regulation}" ,
  145. howpublished=   "{U.S. House of Representatives Staff Study, Subcommittee
  146.                  on Investigations and Oversight, Committee on Science,
  147.                  Space, and Technology}" ,
  148. month   =       "September" ,
  149. year    =       "1989" ,
  150. keywords=       "software, acquisition, regulation"
  151. )
  152.  
  153. @proceedings    ( WISR91,
  154. key     =       "WISR" ,
  155. organization=   "{IEEE Computer Society and University of Maine}" ,
  156. title   =       "Proceedings of the Fourth Annual Workshop on Software Reuse" ,
  157. address =       "Herndon, VA" ,
  158. month   =       "November" ,
  159. year    =       "1991"
  160. )
  161.  
  162. @manual  ( larchada,
  163. key = "Larch",
  164. author = "Odyssey Research Associates." ,
  165. title  =  "{Larch/{A}da Reference Manual}" ,
  166. institution= "Odyssey Research Associates, Inc.." ,
  167. address = "Ithaca, NY" ,
  168. type = "ORA Technical Report" ,
  169. number = "TR-89-0037" ,
  170. month  = "September" ,
  171. year  =  "1989" ,
  172. keywords=  "Formal Verification/Software, Ada"
  173. )
  174.  
  175. @article ( penelope,
  176. key  = "Penelope",
  177. author = "David Guaspari and Carla Marceau and Wolfgang Polak",
  178. title = "Formal Verification of {A}da Programs",
  179. institution="Odyssey Research Associates",
  180. address="Ithaca, NY",
  181. type = "ORA Technical Report",
  182. journal = "IEEE Software Engineering",
  183. volume = "16",
  184. month = "Sept",
  185. year = "1990",
  186. pages = "1058-1075",
  187. keywords= "Formal Verification/Software, Ada"
  188. )
  189.  
  190. @inproceedings( hird,
  191. key="Hird",
  192. author = "Geoffrey R. Hird",
  193. title = "{Towards Reuse of Verified Ada Software}",
  194. booktitle= "Proceedings of Tri-Ada '90",
  195. institution="Odyssey Research Associates",
  196. address ="Ithaca, NY",
  197. type="ORA Technical Report",
  198. number="",
  199. month = "December",
  200. year = "1990",
  201. pages = "14-21",
  202. keywords = "Ada, Reuse, Formal Verification/Software"
  203. )
  204.  
  205. @techreport( dssa,
  206. key="Taylor",
  207. author ="Dr. James H. Taylor and Dr. Richard Platek",
  208. title="{Domain-Specific Software Architectures for Hybrid Control}",
  209. booktitle="{The Domain-Specific Software Architecture Program}",
  210. institution="Carnegie-Mellon University Software Engineering Institute",
  211. type="Special Report",
  212. number="CMU/SEI-92-SR-9",
  213. month="June",
  214. year="1992"
  215. )
  216.  
  217. @techreport( booch,
  218. key ="Eichenlaub",
  219. author="Carl T. Eichenlaub and C. Douglas Harper and Geoffrey Hird",
  220. title="{Using Penelope to Assess the Correctness of NASA Ada
  221. Software:  A Demonstration of Formal Methods as a Couterpart
  222. to Testing}",
  223. institution="Odyssey Research Associates, Inc.",
  224. address="Ithaca, NY",
  225. type="NASA Contract Report",
  226. number="4509",
  227. month="May",
  228. year="1993"
  229. )
  230.  
  231. @inproceedings    ( simos,
  232. key = "Simos" ,
  233. author="Mark Simos",
  234. organization=   "{IEEE Computer Society and University of Maine}" ,
  235. title   =       "Towards an Industry-Wide Consensus Reuse Process Model",
  236. booktitle="Proceedings of the Fifth Annual Workshop on Software Reuse" ,
  237. year    =       "1992"
  238. )
  239.  
  240. @inproceedings    ( knight,
  241. key     =       "Knight" ,
  242. author="John Knight and Darrell M. Kienzle",
  243. organization=   "{IEEE Computer Society and University of Maine}" ,
  244. title   =       "Reuse of Specifications",
  245. booktitle="Proceedings of the Fifth Annual Workshop on Software Reuse" ,
  246. year    =       "1992"
  247. )
  248.  
  249. @inproceedings    ( cheng,
  250. key     =       "Cheng" ,
  251. author="Betty Cheng and Jun-jang Jeng",
  252. organization=   "{IEEE Computer Society and University of Maine}" ,
  253. title   =       "Formal Methods Applied to Reuse",
  254. booktitle="Proceedings of the Fifth Annual Workshop on Software Reuse" ,
  255. year    =       "1992"
  256. )
  257.