Packaging predictable assembly

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2370, Issue , 2002, Pages 108-124

  Hissam, Scott A ^a   Moreno, Gabriel A ^a   Stafford, Judith A ^a   Wallnau, Kurt C ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; FORECASTING;

COMPONENT COMPOSITION; COMPONENT PROPERTIES; COMPONENT TECHNOLOGIES; END TO END LATENCIES; PREDICTABLE ASSEMBLY; PREDICTION ENABLED COMPONENT TECHNOLOGIES; REAL-TIME APPLICATION; SOFTWARE COMPONENT TECHNOLOGY;

APPLICATION PROGRAMS;

EID: 84947264154     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45440-3_8     Document Type: Conference Paper

References (25)

1. Wallnau, K., Hissam, S., Seacord, R., Building Systems from Commercial Components, Addison-Wesley, July, 2001.
2. Finkbeiner, B. & Kruger, I. “Using Message Sequence Charts for Component-Based Formal Verification,” in Proceedings of the OOPSLA workshop on Specification and Verification of Component-Based Systems, Tampa, Florida, 2001.
3. Sharygina, N.; Browne, J.; & Kurshan, R. “A Formal Object-Oriented Analysis for Software Reliability: Design for Verification,” in Proceedings of the ACM European Conferences on Theory and Practice in Software, Fundamental Approaches to Software Engineering (FACE), Genova, Italy, April 2-6, 2001. URL: (2001).
4. Bachmann, F., Bass, L., Buhman, C., Comella-Dorda, S., Long, F., Robert, J., Sea-cord, R., & Wallnau, K.; Volume II: Technical Concepts of Component-Based Software Engineering (CMU/SEI-2000-TR-008), Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University. URL: http://www.sei.cmu.edu/publications/documents/00.reports/00tr008.html (2000).
5. Heineman, G., & Council, W. Component-Based Software Engineering Putting the Pieces Together, Reading, MA: Addison-Wesley, 2001.
6. Szyperski, C. Component Software Beyond Object-Oriented Programming, New York, Reading, MA: ACM Press, Addison-Wesley, 1997.
7. E. M. Clarke, E.A. Emerson, and A.P. Sistla, “Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications,” ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, April 1986, pp. 244-263.
8. Klein, M., Ralya, T., Pollak, W., Obenza, R., A Practitioner's Handbook for RealTime Analysis, Boston, MA: Kluwer Academic Publishers, 1993.
9. Len Bass, Charles Buhman, Santiago Comella-Dorda, Fred Long, John Robert, Robert Seacord, and Kurt Wallnau, Volume I: Market Assessment of Component-Based Software Engineering Assessments (CMU/SEI-2001-TN-007), Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University. URL: (2001).
10. H. Simon. The Sciences of the Artificial, 3rd ed, Cambridge, MA: MIT Press 1996.
11. D. Plakosh, D. Smith and K. Wallnau. Builder's Guide for WaterBeans Components (CMU/SEI-99-TR-024, ADA373154). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University. URL: (1999).
12. S. Hissam, G. Moreno, J. Stafford, K. Wallnau. Packaging Predictable Assembly with Prediction-Enabled Component Technology (CMU/SEI-2001-TR-024). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University. URL: (2001)
13. C.F. Kemerer. “An Empirical Validation of Software Cost Estimation Models,” in Communications of the ACM 30, 5, May 1987: 416-429.
14. NIST, NIST/SEMATECH Engineering Statistics Internet Handbook, National Institute of Standards and Technology (NIST), online at
15. R.E. Walpole and R. H. Myers. Probability and Statistics for Engineers and Scientists. New York: MacMillan Publishing Company, 1989
16. Astley, M., Sturman, D., and Agha, G., “Customizable Middleware for Modular Distributed Software,” in Communications of the ACM, Vol. 44, No. 5, May 2001, pp. 99-107.
17. K. Fisler, S. Krishnamurthi and D. Batory. “Verifying Component-Based Collaboration Designs,” in Proceedings of the Fifth ICSE Workshop on Component-Based Software Engineering, Toronto, Canada, May 2001: 84-87
18. R. Allen and D. Garlan. “A Formal Basis for Architectural Connection,” ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 3, Jul. 1997, pp. 213-249.
19. J. Magee, J. Kramer, and D. Giannakopoulou, “Analysing the Behaviour of Distributed Software Architectures: A Case Study,” Proceedings, Fifth IEEE Workshop on Future Trends of Distributed Computing Systems, Oct. 1997, 240-247.
20. S. Balsamo, P. Inverardi and C. Mangano, “An Approach to Performance Evaluation of Software Architectures”, Proceedings of the 1998 Workshop on Software and Performance, Oct. 1998, 77—84.
21. B. Spitznagel, D. Garlan, “Architecture-Based Performance Analysis,” Proceedings of the 1998 Conference on Software Engineering and Knowledge Engineering, San Francisco, California, 1998.
22. B. Meyer, Object-Oriented Software Construction, Second Edition, Prentice Hall, London, 1997.
23. Underwriter Laboratories, UL-1998, UL Standard for Safety for Software in Programmable Components, Northbrook, IL, 1998.
24. Jeffrey Voas, Jeffery Payne, “Dependability certification of software components,” in the Journal of Systems and Software, no. 52, 165-172, 2000
25. D. Hamlet, D. Mason and D. Woit. “Theory of Software Reliability Based on Components,” in Proceedings of the 23rd International Conference on Software Engineering, Toronto, Canada, 2001: 361-370.