Reusable component retrieval for real-time applications

Proceedings - IEEE Workshop on Real-Time Applications, RTA 1993

Volumn , Issue , 1993, Pages 116-120

  Steigerwald, R A ^a   Welch, L R ^b  

^a UNITED STATES AIR FORCE ACADEMY   (United States)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION;

ADDITIONAL FILTERS; ALGEBRAIC SPECIFICATIONS; COMPONENT INTEGRATION; REAL TIME CHARACTERISTICS; REAL-TIME APPLICATION; RETRIEVAL MECHANISMS; REUSABLE COMPONENTS; SOFTWARE REPOSITORIES;

COMPUTER SOFTWARE REUSABILITY;

EID: 8744300121     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTA.1993.263104     Document Type: Conference Paper

References (23)

1. L. R. Welch and A.D. Stoyenko and T. J. Marlowe, "Modeling Resource Contention for Distributed Periodic Processes," Proceedings of the Symposium. on Parallel and Distributed Processing, pp. 412-415, December 1992.
2. A. D. Stoyenko and T. J. Marlowe, "Polynomial-Time Transformations and Schedulability Analysis of Parallel Real-Time Programs with Restricted Resource Contention," Journal of Real-Time Systems, Vol. 4, Number 4, Fall 1992.
3. A. D. Stoyenko and V. C. Hamacher and R. C. Holt, "Analyzing Hard-Real-Time Programs for Guaranteed Schedulability," IEEE Transactions on Software Engineering, SE-17, pp. 737-750, August, 1991.
4. E. Kligerman and A. D. Stoyenko, "Real-Time Euclid: A Language for Reliable Real-Time Systems," IEEE Transactions on Software Engineering, SE-12, 9, pp. 940-949, September, 1986.
5. R. M. Burstall and J. A. Goguen, "Semantics of CLEAR, a Specification Language," Software Reusability, D. Bjorner, ed., Springer-Verlag, 1980.
6. Software Productivity Solutions, "ARCS: Automated Reusable Software Toolset," SPS, 1991.
7. D. A. Eichmann, "Selecting Reusable Components Using Algebraic Specifications," Proceedings of the Second International Conference on Algebraic Methodology and Software Technology, pp. 37-40, 1991.
8. H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, Springer-Verlag, 1985.
9. W.B. Frakes and P.B. Gandel, "Representing Reusable Software," Information and Software Technology, Vol. 32, Number 10, pp. 653-664, December, 1990.
10. J.V. Guttag and J.J. Horning and J.M. Wing, "The LARCH Family of Specification Languages," IEEE Software, Vol. 2, pp. 24-36, September, 1985.
11. J.A. Goguen, "OBJ as a Theorem Prover with Applications to Hardware Verification," SRI International, SRI-CSL-88-4R2, August, 1988.
12. J.A. Goguen and T. Winkler, "Introducing OBJ3," SRI International, SRI-CSL-88-9, August, 1988.
13. S. Honiden and others, "Software Prototyping with Reusable Components," Journal of Information Processing, Vol. 9, pp. 123-129, March, 1986.
14. Luqi and V. Berzins, "Rapidly Prototyping Real-Time Systems," IEEE Software, pp. 25-36, October, 1988.
15. Luqi, "Computer-Aided Software Prototyping," IEEE Computer, Vol. 24, pp. 111-112, September, 1991.
16. E.J. Rollins and J.M. Wing, "Specifications as Search Keys for SW Libraries: A Case Study using Lambda Prolog," Carnegie Mellon University, CMU-CS-90-159, September, 1990.
17. R.A. Steigerwald, "Reusable Software Component Retrieval via Normalized Algebraic Specifications," Naval Postgraduate School, PhD Dissertation, December, 1991.
18. T. Vogelsong and J. Rothrock, "Reusable Ada Products for Information Systems Development (RAPID) Lessons Learned During Pilot Operations," U.S. Army Information Systems Software Development Center, 1990.
19. D.E. Knuth and P.B. Bendix, "Simple Word Problems in Universal Algebras," Computational Problems in Abstract Algebras, John Leech, ed., Pergamon Press, 1967.
20. "Volume 1 - Conceptual Framework for Reuse Processes," STARS, STARS-TC-04040/001/00, February, 1992.
21. H.D. Mills and M. Dyer and R.C. Linger, "Clean-room Software Engineering," IEEE Computer, pp. 19-24, September, 1987.
22. B.W. Boehm and W.L. Scherlis, "Megaprogram-ming," Preliminary Version, DARPA, June, 1992.
23. A. Podgurski and L. Pierce, "Behavior Sampling: A Technique for Automated Retrieval of Reusable Components," Proceedings of the lJ,th International Conference on Software Engineering, 1992.