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 / butler.bib < prev    next >
Text File  |  1993-09-29  |  4KB  |  154 lines
  1. @Article(BOM,
  2. Author="D.S. Batory and S.W. O'Malley", 
  3. Title="{The Design and Implementation of Hierarchical Software Systems with 
  4. Reusable Components}", 
  5. Journal="ACM Trans. on Software Engineering and methodology",
  6. Volume="1", 
  7. Number="4",
  8. Pages="355--398",
  9. Year="1992") 
  10.  
  11. @Article(II, 
  12. Author="G. Butler",
  13. Title="{Computing in Permutation and Matrix Groups II: Backtrack Algorithm}",
  14. Journal="Math. Comp.",
  15. Volume="39", 
  16. Pages="671--680",
  17. Year="1982") 
  18.  
  19. @inproceedings(v4, 
  20. Author="G. Butler and J.J. Cannon",
  21. Title="{Cayley, Version 4 : The User Language}",
  22. Booktitle="{Symbolic and Algebraic Computation. Proceedings of 1988 
  23. International Symposium on Symbolic and Algebraic Computation, Rome}",
  24. Editor="P. Gianni",
  25. Pages="456--466",
  26. Publisher="Springer-Verlag",
  27. Address="Berlin",
  28. Month="July 4--8",
  29. Year="1989", 
  30. Note="Lecture Notes in Computer Science, 358")
  31.  
  32. @inproceedings(issac91, 
  33. Author="G. Butler and S.S Iyer and S.H. Ley",
  34. Title="{A Deductive Database for the Groups of Order Dividing 128}",
  35. Booktitle="{ISSAC 91}",
  36. Editor="S.M. Watt",
  37. Pages="210--218",
  38. Publisher="ACM Press",
  39. Address="New York",
  40. Year="1991") 
  41.  
  42. @unpublished(twogroups,
  43. Author="G. Butler and S.S Iyer and E.A. O'Brien",
  44. Title="{A Database of Groups of Prime-Power Order}",
  45. note="submitted to ACM TODS")
  46.  
  47. @inproceedings(GBSSI:ssdbm5, 
  48. Author="G. Butler and S.S. Iyer",
  49. Title="{Deductive Mathematical Databases --- A Case Study}",
  50. Booktitle="{Statistical and Scientific Database Management. Proceedings of 
  51. 5th International Conference on Statistical and Scientific Databases,
  52. Charlotte, North Carolina}",
  53. Editor="Z. Michalewicz",
  54. Pages="50--64",
  55. Publisher="Springer-Verlag",
  56. Address="Berlin",
  57. Month="April 3--5",
  58. Year="1990", 
  59. Note="Lecture Notes in Computer Science, 420")
  60.  
  61. @unpublished(ssg,
  62. Author="G. Butler and S.S Iyer",
  63. Title="{An Experimental Knowledge Base of Simple Groups}",
  64. note="in preparation")
  65.  
  66. @incollection(jjc:cayley,
  67. Author="J.J. Cannon",
  68. Title="{An Introduction to the Group Theory Language, Cayley}",
  69. Booktitle="{Computational Group Theory}",
  70. Editor="M.D. Atkinson",
  71. Pages="145--183",
  72. Publisher="Academic Press",
  73. Address="London",
  74. Year="1984")
  75.  
  76. @inproceedings(cook, 
  77. Author="W.R. Cook",
  78. Title="{Interfaces and Specifications for the Smalltalk-80 Collection
  79. Classes}",
  80. Booktitle="{OOPSLA'92}", 
  81. Pages="1--15",
  82. Year="1992") 
  83.  
  84. @Article(harms-weide,
  85. Author="D.E. Harms and B.W. Weide",
  86. Title="{Swapping vs Copying: Their Influence on the Design of Reusable 
  87. Software Components}", 
  88. Journal="IEEE Transactions on Software Engineering",
  89. Volume="17", 
  90. Pages="424--435",
  91. Year="1991") 
  92.  
  93. @inproceedings(contracts, 
  94. Author="R. Helm and I.M. Holland and D. Gangopadhyay",
  95. Title="{Contracts: Specifying Behavioral Compositions in Object-Oriented 
  96. Systems}",
  97. Booktitle="{ECOOP/OOPSLA'90}", 
  98. Pages="169--180",
  99. Year="1990") 
  100.  
  101. @Article(JF,
  102. Author="R.E. Johnson and B. Foote",
  103. Title="{Designing Reusable Classes}",
  104. Journal="Journal of Object-Oriented Programming",
  105. Volume="1", 
  106. Pages="22--35",
  107. Year="1988") 
  108.  
  109. @inproceedings(patterns,
  110. Author="R.E. Johnson",
  111. Title="{Documenting Frameworks Using Patterns}",
  112. Booktitle="{OOPSLA'92}", 
  113. Pages="63--76",
  114. Year="1992") 
  115.  
  116. @TechReport(leda,
  117. Author={K. Mehlhorn and S. N\"aher},
  118. Title="{LEDA, a Library of Efficient Data Types and Algorithms}",
  119. Institution={Universit\"at des Saarlandes, Saarbr\"ucken}, 
  120. Number="TR A 04/89, FB10",
  121. Year="1989") 
  122.  
  123. @Article(MS,
  124. Author="D.R. Musser and A.A. Stepanov",
  125. Title="{Generic programming}",
  126. Journal="LNCS",
  127. Volume="358", 
  128. Pages="13--25",
  129. Year="1989") 
  130.  
  131. @Book(MS89,
  132. Author="D.R. Musser and A.A. Stepanov",
  133. Title="{The Ada Generic Library: Linear Data Structure Packages}",
  134. Publisher="Springer-Verlag",
  135. Address="Berlin",
  136. Year="1989") 
  137.  
  138. @TechReport(bignum,
  139. Author="B. Serpette and J. Vuillemin and J.C. Herv\'e",
  140. Title="{BigNum: A Portable and Efficient Package for Arbitrary-Precision 
  141. Arithmetic}",
  142. Institution="Digital Equipment Corporation",
  143. Number="Paris Research Laboratory Report 2",
  144. Year="1989") 
  145.  
  146. @inproceedings(weide:wisr5,
  147. Author="B.W. Weide and J.E. Hollingsworth",
  148. Title="{Scalability of Reuse Technology to Large Systems Requires Local
  149. Certifiability}",
  150. Booktitle="Proceedings of the Fifth Annual Workshop on Software Reuse",
  151. Editor="Larry Latour and Steve L. Philbrick and Mark Stevens",
  152. Month="October",
  153. Year="1992") 
  154.