Reusable Software Components

Advances in Computers

Volumn 33, Issue C, 1991, Pages 1-65

  Weide, Bruce W ^a   Ogden, William F ^a   Zweben, Stuart H ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY--PROGRAMMING THEORY;

SOFTWARE DEVELOPMENT; SOFTWARE REUSE; SOFTWARE SPECIFICATION;

COMPUTER SOFTWARE;

EID: 0025888669     PISSN: 00652458     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0065-2458(08)60164-3     Document Type: Article

References (80)

1. Ada Joint Program Office (1983). “Reference Manual for the Ada Programming Language.” ANSI/MIL-STD-1815A-1983. U.S. Government Printing Office, Washington, D.C.
2. Apple Computer (1985). “Inside Macintosh—Volumes I–V.” Addison-Wesley, Reading, Massachusetts.
3. Bentley, J.L., Writing Efficient Programs, 1982, Prentice-Hall, Englewood Cliffs, New Jersey.
4. Berard, E.V., Creating Reusable Ada Software, 1987, EVB Software Engineering, Frederick, Maryland.
5. Biggerstaff, T.J., Perlis, A.J., Software Reusability—Volume I: Concepts and Models, Volume II: Applications and Experience., 1989, Addison-Wesley, New York.
6. Birtwistle, G., Dahl, O.-J., Myrhaug, B., Nygaard, K., Simula Begin, 1973, Studentliteratur, Lund, and Auerbach, New York.
7. Bjørner, D., Jones, C.B., Macan Airchinnigh, M., Neuhold, E.J., VDM '87: VDM—A Formal Method at Work., 1987, Springer-Verlag, Berlin.
8. Boehm, B.W., Improving Software Productivity. Computer 20:9 (1987), 43–57.
9. Booch, G., Software Components with Ada, 1987, Benjamin/Cummings, Menlo Park, California.
10. 1990 Computer Science and Technology Board (1990). Scaling Up: A Research Agenda for Software Engineering. Comm. ACM 33 (3), 281–293.
11. Cox, B.J., Object Oriented Programming: An Evolutionary Approach, 1986, Addison-Wesley, Reading, Massachusetts.
12. DeMillo, R.A., Lipton, R.J., Perlis, A.J., Social Processes and Proofs of Theorems and Programs. Comm. ACM 22:5 (1979), 271–280.
13. Dijkstra, E.W., The Humble Programmer. Comm. ACM 15:10 (1972), 859–866.
14. Edwards, S., The 3C Model of Reusable Software Components. Third Ann. Workshop: Methods and Tools for Reuse., 1990, Syracuse University CASE Center, Syracuse, New York.
15. Embley, D., Woodfield, S., Assessing the Quality of Abstract Data Types Written in Ada. Proc. Intl. Conf. on Softw. Eng. IEEE, 1988, 144–153.
16. Ernst, G.W., Navlakha, J.K., Ogden, W.F., Verification of Programs with Procedure-Type Parameters. Acta Inf. 2:4 (1982), 522–543.
17. Fairley, R., Software Engineering Concepts, 1985, McGraw-Hill, New York.
18. Feldman, M.B., Data Structures with Modula-2, 1988, Prentice Hall, Englewood Cliffs, New Jersey.
19. Fetzer, J.H., Program Verification: The Very Idea. Comm. ACM 31:9 (1988), 1048–1063.
20. Floyd, R., Assigning Meanings to Programs. Proc. AMS Symp. on Appl. Math. MAS, 1967, 119–131.
21. Gannon, J.D., McMullin, P., Hamlet, R., Data-Abstraction Implementation, Specification, and Testing. TOPLAS 3:3 (1981), 211–223.
22. Gannon, J.D., Zelkowitz, M.V., Two Implementation Models of Abstract Data Types. Comp. Lang. 12:1 (1987), 21–25.
23. Gautier, R.J., Wallis, P.J.L., Software Reuse with Ada., 1990, Peter Peregrinus, London.
24. Gerrard, C.P., Coleman, D., Gallimore, R.M., Formal Specification and Design Time Testing. IEEE Trans, on Softw. Eng. 16:1 (1990), 1–12.
25. Goguen, J., Parameterized Programming. IEEE Trans. on Softw. Eng. SE-10:5 (1984), 528–543.
26. Goldberg, A., Robson, D., Smalltalk-80: The Language and Its Implementation, 1983, Addison-Wesley, Reading, Massachusetts.
27. Gourlay, J.S., A Mathematical Framework for the Investigation of Testing. IEEE Trans. on Softw. Eng. SE-9:6 (1983), 686–709.
28. Gu, J., Smith, K.F., A Structured Approach for VLSI Circuit Design. Computer 22:11 (1989), 9–22.
29. Guaspari, D., Marceau, C., Polak, W., Formal Verification of Ada Programs. IEEE Trans. on Softw. Eng. 16:9 (1990), 1058–1075.
30. Guttag, J.V., Horning, J.J., Wing, J.M., The Larch Family of Specification Languages. IEEE Software 2:5 (1985), 24–36.
31. Guttag, J.V., Horning, J.J., Report on the Larch Shared Language. Sci. of Comp. Prog. 6 (1986), 103–134.
32. Guttag, J.V., Horning, J.J., A Larch Shared Language Handbook. Sci. of Comp. Prog. 6 (1986), 135–157.
33. Harms, D. E. (1990). The Influence of Software Reuse on Programming Language Design. Ph.D. dissertation, Dept. of Computer and Information Science, Ohio State University, Columbus.
34. Hegazy, W. A. (1989). The Requirements of Testing a Class of Reusable Software Modules. Ph.D. dissertation, Dept. of Computer and Information Science, Ohio State University, Columbus.
35. Hibbard, P., Hisgen, A., Rosenberg, J., Sherman, M., Programming in Ada: Examples. Hibbard, P., Hisgen, A., Rosenberg, J., Shaw, M., Sherman, M., (eds.) Studies in Ada Style, 1983, Springer-Verlag, New York, 35–101.
36. Hoare, C.A.R., An Axiomatic Basis for Computer Programming. Comm. ACM 12:10 (1969), 576–581.
37. Hoare, C.A.R., Hints on Programming Language Design. Horowitz, E., (eds.) Programming Languages: A Grand Tour, 1983, Computer Science Press, Rockville, Maryland.
38. 1984 IEEE (1984). Special issue on software reusability. IEEE Trans. on Software Eng. SE-10(5).
39. Jones, W.C., Data Structures Using Modula-2, 1988, Wiley, New York.
40. Krone, J. (1988). The Role of Verification in Software Reusability. Ph.D. dissertation, Dept. of Computer and Information Science, Ohio State University, Columbus.
41. LaLonde, W.R., Designing Families of Data Types Using Exemplars. TOPLAS 11:2 (1989), 212–248.
42. Latour, L., Wheeler, T., Frakes, W., Descriptive and Predictive Aspects of the 3Cs Model: SETA 1 Working Group Summary. Third Ann. Workshop: Methods and Tools for Reuse, 1990, Syracuse University CASE Center, Syracuse, New York.
43. Liskov, B., Guttag, J., Abstraction and Specification in Program Development, 1986, McGraw-Hill, New York.
44. Liskov, B.H., Zilles, S.N., Specification Techniques for Data Abstractions. IEEE Trans. on Softw. Eng. SE-1:1 (1975), 7–19.
45. Liskov, B.H., Atkinson, R., Bloom, T., Moss, E., Schaffert, J.C., Scheifler, R., Snyder, A., CLU Reference Manual, 1981, Springer-Verlag, New York.
46. Livintchouk, S.D., Matsumoto, A.S., Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification. IEEE Trans. on Softw. Eng. SE-10:5 (1984), 544–551.
47. London, R.L., Milsted, K.R., Specifying Reusable Components Using Z: Realistic Sets and Dictionaries. Softw. Eng. Notes 14:3 (1989), 120–127.
48. Luckham, D., vonHenke, F.W., Krieg-Brückner, B., Owe, O., ANNA: A Language for Annotating Ada Programs, 1987, Springer-Verlag, Berlin.
49. Martin, J.J., Data Types and Data Structures, 1986, Prentice Hall, Englewood Cliffs, New Jersey.
50. McIlroy, M.D., Mass-Produced Software Components. Buxton, J.M., Naur, P., Randell, B., (eds.) Software Engineering Concepts and Techniques, 1976, Petrocelli/Charter, Brussels, 88–98.
51. Meyer, B., On Formalism in Specification. IEEE Software 2:1 (1985), 6–26.
52. Meyer, B., Genericity versus Inheritance. OOPSLA '86 Proc., 1986, ACM, New York., 391–405.
53. Meyer, B., Object-Oriented Software Construction, 1988, Prentice Hall, Englewood Cliffs, New Jersey.
54. Muralidharan, S., On Inclusion of the Private Part in Ada Package Specifications. Proc. 7th Ann. Natl. Conf. on Ada Tech, 1989, ANCOST, Fort Monmouth, New Jersey, 188–192.
55. Muralidharan, S., Weide, B.W., Should Data Abstraction Be Violated to Enhance Software Reuse?. Proc. 8th Ann. Natl. Conf. on Ada Tech, 1990, ANCOST, Fort Monmouth, New Jersey., 515–524.
56. Musser, D.R., Stepanov, A.A., The Ada Generic Library: Linear List Processing Packages, 1989, Springer-Verlag, New York.
57. Parnas, D.L., On the Criteria to Be Used in Decomposing Systems into Modules. Comm. ACM 15:12 (1972), 1053–1058.
58. Pittel, T. S. (1990). “Pointers in RESOLVE: Specification and Implementation.” M. S. thesis, Dept. of Computer and Information Science, Ohio State University, Columbus.
59. Prieto-Diaz, R., Domain Analysis for Reusability. Proc. COMPSAC '8, 1987, IEEE, Silver Spring, Maryland., 23–29.
60. Prieto-Diaz, R., Domain Analysis: An Introduction. Softw. Eng. Notes 15:2 (1990), 47–54.
61. Raj, R.K., Code Inheritance Considered Harmful. Third Ann. Workshop: Methods and Tools for Reuse, 1990, Syracuse University CASE Center, Syracuse, New York.
62. Raj, R.K., Levy, H.M., A Compositional Model for Software Reuse. Comp. J. 32:4 (1989), 312–322.
63. Samuelson, P., Is Copyright Law Steering the Right Course?. IEEE Software 5:5 (1988), 78–86.
64. Shaw, M., ALPHARD: Form and Content., 1981, Springer-Verlag, New York.
65. Shaw, M., The Impact of Abstraction Concerns on Modern Programming Languages. Hibbard, P., Hisgen, A., Rosenberg, J., Shaw, M., Sherman, M., (eds.) Studies in Ada Style, 1983, Springer-Verlag, New York., 7–32.
66. Sitaraman, M. (1990). Mechanisms and Methods for Performance Tuning of Reusable Software Components. Ph.D. dissertation, Dept. of Computer and Information Science, Ohio State University, Columbus.
67. Snyder, A., Encapsulation and Inheritance in Object-Oriented Systems. OOPSLA '86 Proc, 1986, ACM, New York., 38–45.
68. Spivey, J.M., The Z Notation: A Reference Manual, 1989, Prentice-Hall, Englewood Cliffs, New Jersey.
69. Stroustrup, B., The C++ Programming Language, 1986, Addison-Wesley, Reading, Massachusetts.
70. Stubbs, D.F., Webre, N.W., Data Structures with Abstract Data Types and Modula-2, 1987, Brooks/Cole, Monterey, California.
71. Tomijima, A.U., How Japan's Recently Amended Copyright Law Affects Software. IEEE Software 4:1 (1987), 17–21.
72. Tracz, W., Reusability Comes of Age. IEEE Software 4:4 (1987), 6–8.
73. Tracz, W., Where Does Reuse Start?. Softw. Eng. Notes 15:2 (1990), 42–46.
74. Tracz, W., The Three Cons of Software Reuse. Third Ann. Workshop: Methods and Tools for Reuse, 1990, Syracuse University CASE Center, Syracuse, New York.
75. Tracz, W., Edwards, S., Implementation Issues Working Group Report. Reuse in Practice Workshop, 1989, Software Engineering Institute, Pittsburgh, Pennsylvania.
76. Wallace, D.R., Fujii, R.U., Software Verification and Validation: An Overview. IEEE Software 6:3 (1989), 10–17.
77. Weiser, M., Source Code. Computer 20:11 (1987), 66–73.
78. Wing, J.M., Writing Larch Interface Language Specifications. TOPLAS 9:1 (1987), 1–24.
79. Wing, J.M., A Specifier's Introduction to Formal Methods. Computer 23:9 (1990), 8–24.
80. Zweben, S.H., Testing Formally Specified Data-Oriented Modules Using Program-Based Test Data Adequacy Criteria, 1989, Dept. of Computer and Information Science, Ohio State University, Columbus OSU-CISRC-8/89-TR39.