Performance specification of software components

Proceedings of SSR'01 2001 Symposium on Software Reusability

Volumn , Issue , 2001, Pages 3-10

  Sitaraman, Murali ^a   Kulczycki, Greg ^a   Krone, Joan ^b   Ogden, William F ^c   Reddy, A L N ^d  

^a AMRL   (United States)

^b DENISON UNIVERSITY   (United States)

^c OHIO STATE UNIVERSITY   (United States)

^d MomsDesk Commerce Corporation   (United States)

Author keywords

Data Structures; Generic Objects; Storage Management; Time Space Analysis

Indexed keywords

DATA STORAGE EQUIPMENT; DATA STRUCTURES; SPECIFICATIONS;

SOFTWARE COMPONENTS;

SOFTWARE ENGINEERING;

EID: 0035790616     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/379377.375223     Document Type: Conference Paper

References (24)

1. Batory, B., and Geraci, B. J., "Composition Validation and Subjectivity in GenVoca Generators", IEEE Transactions on Software Engineering, 23(2): 67-82, February, 1997.
2. Booch, G. Software Components With Ada. Benjamin/Cummings, Menlo Park, CA, 1987.
3. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Introduction to Algorithms, The MIT Press, Cambridge, MA, 1990.
4. Ernst, G. W., Hookway, R. J., and Ogden, W. F., "Modular Verification of Data Abstractions with Shared Realizations", IEEE Transactions on Software Engineering 20, 4, April 1994, 288-307.
5. Fleming, D., Sitaraman, M., and Sreerama, S., "A Performance Criterion for Object Interface Design," Journal of Object-Oriented Programming, July/August 1997, 52-63.
6. Generic Programming, eds. M. Jazayeri, R. G. K. Loos, and D. R. Musser, LNCS 1766, Springer, 2000.
7. Harms, D.E., and Weide, B.W., "Copying and Swapping: Influences on the Design of Reusable Software Components," IEEE Transactions on Software Engineering, Vol. 17, No. 5, May 1991, pp. 424-435.
8. Hehner, E. C. R., "Formalization of Time and Space," Formal Aspects of Computing, Springer-Verlag, 1999, pp. 6-18.
9. Jones, R., Preface, Proceedings of the International Symposium on Memory Management, ACM SIGPLAN Notices 34, No. 3, March 1999, pp. iv-v.
10. Kuth, D. E., The Art of Computer Programming, Vol. 1, Addison-Wesley, 1968; Third Edition, 1997.
11. Liu, Y. A. and Gomez, G., "Automatic Accurate Time-Bound Analysis for High-Level Languages," Procs. ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, LNCS 1474, Springer-Verlag, 1998.
12. Meyer, B., Object-Oriented Software Construction, Second Edition, Prentice Hall PTR, Upper Saddle River, New Jersey, 1997.
13. Musser, D.R.. and Saini, A., STL Tutorial and Reference Guide, Addison-Wesley, Reading, MA, 1996.
14. Ogden, W., F., and Sitaraman, M., Design, Specification, and Analysis of Software Components, WVU publications, 2000, 120 pages.
15. Ogden, W.F., The Proper Conceptualization of Data Structures, Dept. Computer and Information Science, Ohio State University, 2000.
16. Reddy, A. L. N., Formalization of Storage Considerations in Software Design, Ph.D. Dissertation, Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, WV, 1999.
17. Sitaraman, M., and Weide, B.W., eds. Component-based software using RESOLVE. ACM Software Eng. Notes 19,4 (1994), 21-67.
18. Sitaraman, M., "On Tight Performance Specification of Object-Oriented Software Components," Proceedings of the 1994 International Conference on Software Reuse, Ed. W. Frakes, IEEE Computer Society Press, November 1994, 149-157.
19. Sitaraman, M., Atkinson, S., Kulczycki, G., Weide, B. W., Long, T. J., Bucci, P., Heym, W., Pike, S., and Hollingsworth, J. E., "Reasoning About Software-Component Behavior," Procs. Sixth Int. Conf. on Software Reuse, LNCS 1844, Springer-Verlag, 2000, 266-283.
20. Sitaraman, M., "Compositional Performance Reasoning," Procs. Fourth ICSE Workshop on Component-Based Software Engineering: Component-Certification and System Prediction, Toronto, CA, May 2001.
21. Sreerama, S., Fleming, D., and Sitaraman, M., "Graceful Object-Based Performance Evolution," Software - Practice and Experience, Vol. 27, No. 1, January 1997, 111-122.
22. Szyperski, C., Component Software: Beyond Object-Oriented Programming, Addison-Wesley, 1998.
23. Special issue on Real-Time Specification and Verification, IEEE Trans. on Software Engineeering, September 1992.
24. Special section: Workshop on Software and Performance, Eds., A. M. K. Cheng, P. Clemens, and M. Woodside, IEEE Trans. on Software Engineeering, November/December 2000.