Welcome to Carol's Publication Page Back to Carol's Home Page Software Systems Design Knowledge & Engineering Software Engineering Education	clematis: a vine or herb (genera Clematis, Atragene, or Viorna) of the buttercup family having three leaflets on each leaf and usually white or purple flowers. (Webster's New Collegiate Dictionary) "Nature is my inspiration. Flowers inspire engineering excellence; while the natural world motivates scientific inquiry, investigation, and discovery."
Software Systems Design Knowledge & Engineering
"An Approach for Designing Reusable, Embedded Software Components for Spacecraft Flight Instruments."	Dnyanesh Mathur, Bryce W. Edwards, Jacob Goldstein, Henry Nguyen, Jeffrey Pine, Barbara A. Plante, John C. Thacker, and Carol Hoover. Proceedings of the Eleventh IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), IEEE Computer Society Press, Los Alamitos, CA, Mar. 7-10, 2005.
"The Amaranth Framework: Policy-Based Quality of Service Management for High-Assurance Computing."	Carol L. Hoover, Jeffrey Hansen, Philip Koopman, and Sandeep Tamboli. International Journal of Reliability, Quality and Safety Engineering, World Scientific Publ. Co., Singapore, Vol. 8, No. 4, 2001, pp. 323-350. This is an updated and expanded version of the paper published in HASE'99.
Analytical Design of Evolvable Software for High-Assurance Computing.	Carol L. Hoover. Dissertation, Department of Electrical and Computer Engineering, Carnegie Mellon University, 2001. Also published by the School of Computer Science as Technical Report No. CMU-CS-01-011. .pdf or .ps versions
"Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools."	Carol L. Hoover and Pradeep K. Khosla. International Journal of Software Engineering and Knowledge Engineering, World Scientific Publ. Co., Singapore, Vol. 9, No. 2, 1999, pp. 153-171. This is an updated and expanded version of the paper published in HASE'98.
"The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing."	Carol L. Hoover, Jeffrey Hansen, Philip Koopman, and Sandeep Tamboli. Proceedings of the Fourth IEEE International High-Assurance Systems Engineering Symposium (HASE'99), IEEE Computer Society Press, Los Alamitos, CA, Nov. 17-19, 1999, pp. 207-216. .pdf version .ps version
"Analytical Design of Reusable Software Components for Embedded, Evolvable Applications."	Carol L. Hoover, Pradeep K. Khosla, and Daniel P. Siewiorek. Proceedings of the IEEE Application-Specific Systems and Software Engineering Symposium (ASSET'99), IEEE Computer Society, Los Alamitos, CA, Mar. 24-27, 1999, pp. 170-179. Invited paper. .pdf version .ps version
"Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools."	Carol L. Hoover and Pradeep K. Khosla. Proceedings of the Third IEEE International High-Assurance Systems Engineering Symposium (HASE'98), IEEE Computer Society Press, Los Alamitos, CA, Nov. 13-14, 1998, pp. 188-199. .pdf version .ps version
The Metaphor Project Summary Report: Technology for Analyzing Change and Composing Reusable, Real-Time Components and Applications.	Carol L. Hoover and Pradeep K. Khosla. Technical Report: CMU-RI-98-29, Carnegie Mellon University, Pittsburgh, PA, 1998. .pdf version .ps version
"Analytical Design of Evolutionary Control Flow Components."	Carol L. Hoover and Pradeep K. Khosla. Proceedings of the Second IEEE High-Assurance Systems Engineering Workshop (HASE'97), IEEE Computer Society Press, Los Alamitos, CA, Aug. 11-12, 1997, pp. 48-55. .pdf version .ps version
"An Analytical Approach to Change for the Design of Reusable Real-Time Software."	Carol L. Hoover and Pradeep K. Khosla. Proceedings of the Second Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'96), IEEE Computer Society Press, Los Alamitos, CA, Feb. 1-2, 1996, pp. 144-151. .pdf version .ps version
Software Engineering Education
"TAP-D: A Model for Developing Specialization Tracks in a Graduate Software Engineering Curriculum."	Carol L. Hoover. Annals of Software Engineering, special issue on software engineering education, Baltzer Science Publishers, Heerhugowaard, The Netherlands, Vol. 6, 1998 (published April 1999), pp. 153-179. Updated and expanded version of Technical Report: CMU-CS-93-181.
"The Carnegie Mellon University Master of Software Engineering Specialization Tracks."	Carol L. Hoover, Mary Shaw, and Nancy R. Mead. Proceedings of the Ninth SEI Conference on Software Engineering Education, IEEE, New York, NY, Apr. 22-24, 1996, pp. 100-118. .pdf version .ps version
"The Role of the Software Engineer in Real-Time Software Development: An Introductory Course."	Carol L. Hoover. Proceedings of the Eighth SEI Conference on Software Engineering Education, Springer-Verlag, Berlin, Mar. 29-Apr. 1, 1995, pp. 167-186. .pdf version .ps version
Model for Characterizing and Creating Certificate Programs in Technology-Specific Areas.	Carol L. Hoover. Technical Report: CMU-CS-96-128, Carnegie Mellon University, Pittsburgh, PA, 1996. .pdf version .ps version
Real-Time Specialization Track: Masters of Software Engineering (MSE) Program.	Carol L. Hoover. Technical Report: CMU-CS-95-122, Carnegie Mellon University, Pittsburgh, PA, 1995. .pdf version .ps version
Human-Computer Interaction Specialization Track: Masters of Software Engineering (MSE) Program.	Carol L. Hoover. Technical Report: CMU-CS-95-123, Carnegie Mellon University, Pittsburgh, PA, 1995. .pdf version .ps version
Business Specialization Track: Masters of Software Engineering (MSE) Program.	Carol L. Hoover. Technical Report: CMU-CS-95-124, Carnegie Mellon University, Pittsburgh, PA, 1995. .pdf version .ps version
TAP-D: A Model for Developing Specialization Tracks in Graduate Software Engineering Education.	Carol L. Hoover. Technical Report: CMU-CS-93-181, Carnegie Mellon University, Pittsburgh, PA, 1993. .pdf version .ps version
Please contact me regarding the content of my papers at . 2004-09 © BiznessLegion, LLC