Enabling predictable assembly

Journal of Systems and Software

Volumn 65, Issue 3, 2003, Pages 185-198

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

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; PROBLEM SOLVING; REAL TIME SYSTEMS; SOCIETIES AND INSTITUTIONS; SOFTWARE ENGINEERING;

COMPONENT-BASED SYSTEMS;

PROGRAM ASSEMBLERS;

EID: 0038521632     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(02)00038-9     Document Type: Conference Paper

References (39)

1. Allen R., Garlan D. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology. 6(3):1997;213-249.
2. Bachmann, F., Bass, L., Buhman, C., Comella-Dorda, S., Long, F., Seacord, R.J., Wallnau, K., 2000. Volume II: Technical Concepts of Component-Based Software Engineering (CMU/SEI-2000-TR-008). Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. URL: < http://www.sei.cmu.edu/publications/documents/00.reports/00tr008.html>.
3. Baggiolini V., Harms J. Toward automatic run-time fault management for component-based applications. Bosch J., Mitchell S. Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops, Jyväskylä, Finland, June 9-13, 1997, Proceedings. Lecture Notes in Computer Science, vol. 1357. 1998;Springer, Berlin.
4. Balsamo, S., Inverardi, P., Mangano, C., 1998. An approach to performance evaluation of software architectures. In: Proceedings of the 1998 Workshop on Software and Performance, October 1998, pp. 77-84.
5. Bass, L., Klein, M., Bachmann, F., 2000. Quality Attribute Design Primitives (CMU/SEI-2000-TN-017, ADA392284). Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. URL: .
6. Clarke E., Grumberg O., Peled D. Model Checking. 1999;MIT Press, Cambridge, MA.
7. Fisler, K., Krishnamurthi, S., Batory, D., 2001. Verifying component-based collaboration designs. In: Proceedings of the Fifth ICSE Workshop on Component-Based Software Engineering, Toronto, Canada, May, pp. 4-87.
8. Finkbeiner, B., Kruger, I., 2001. 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.
9. Garlan D., Allen R., Ockerbloom J. Architectural mismatch: why reuse is so hard. IEEE Software. 12(6):1995;17-26.
10. Giannakopoulou, D., Havelund, K., 2001. Runtime analysis of linear temporal logic specifications. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering, San Diego, California.
11. Hamlet, D., Mason, D., Woit, D., 2001. Theory of software reliability based on components. In: Proceedings of the 23rd International Conference on Software Engineering, Toronto, Canada, pp. 361-370.
12. Heineman G., Councill W. Component-Based Software Engineering Putting the Pieces Together. 2001;Addison-Wesley, Reading, MA.
13. Hissam, S., Moreno, G., Stafford, J., Wallnau, K., 2001. Packaging Predictable Assembly with Prediction-Enabled Component Technology (CMU/SEI-2001-TR-024). Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. URL: < http://www.sei.cmu.edu/publications/documents/01.reports/01tr024.html>.
14. Inverardi P., Wolf A.L., Yankelevich D. Static checking of system behaviors using derived component assumptions. ACM Transaction on Software Engineering and Methodology. 9(3):2000;238-272.
15. Kemerer C.F. An empirical validation of software cost estimation models. Communications of the ACM. 30(5):1987;416-429.
16. Klein M.H., Ralya T., Pollak B., Obenza R., Harbour M.G. A Practitioner's Handbook for Real-Time Analysis. 1993;Kluwer Academic Publishers, Boston, MA.
17. Klein, M., Kazman, R., 1999. Attribute-Based Architectural Styles, (CMU/SEI-99-TR-022, ADA371802). Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. URL: < http://www.sei.cmu.edu/publications/documents/99.reports/99tr022/99tr022abstract .html>.
18. Kramer, J., Magee, J., 1998. Analysing dynamic change in software architectures: a case study. In: Proceedings of the 4th International Conference on Configurable Distributed Systems, May 1998, pp. 91-100.
19. Lyu M. Software Reliability Engineering. 1996;IEEE Computer Society Press; McGraw-Hill, Los Alamitos, CA, New York.
20. Magee, J., Kramer, J., Giannakopoulou, D., 1997. Analysing the behaviour of distributed software architectures: a case study. In: Proceedings, Fifth IEEE Workshop on Future Trends of Distributed Computing Systems, October 1997, pp. 240-247.
21. Messerschmitt, D.G., Szyperski, C., 2001. Industrial and Economic Properties of Software: Technology, Processes, and Value. University of California at Berkeley, Computer Science Division Technical Report UCB//CSD-01-1130 and Microsoft Corporation Technical Report MSR-TR-2001-11, January 18. URL: < http://divine.eecs.berkeley.edu/̃messer/PAPERS/01/Software-econ>.
22. Meyer B. Object-Oriented Software Construction. second ed. 1997;Prentice Hall, London.
23. Naumovich G., Avrunin G.S., Clarke L.A., Osterweil L.J. Applying static analysis to software architectures. Proceedings, Sixth European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, number 1301 in Lecture Notes in Computer Science. 1997;77-93 Springer-Verlag, Berlin.
24. NIST, 2002. NIST/SEMATECH Engineering Statistics Internet Handbook, National Institute of Standards and Technology (NIST). Available from: < http://www.itl.nist.gov/div898/handbook/>.
25. Plakosh, D., Smith, D., Wallnau, K., 1999. Builder's Guide for WaterBeans Components (CMU/SEI-99-TR-024, ADA373154). Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. URL: .
26. Rivera, J., Danylyszyn, A., Weinstock, C., Sha, L., Gagliardi, M., 1996. An Architectural Description of the Simplex Architecture (CMU/SEI-96-TR-006, ADA307890). Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. URL: < http://www.sei.cmu.edu/publications/documents/96.reports/96.tr.006.html>.
27. Sha, L., Rajkumar, R., Gagliardi, M., 1995. A Software Architecture for Dependable and Evolvable Computing Systems (CMU/SEI-95-TR-005, ADA301169). Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. URL: < http://www.sei.cmu.edu/publications/documents/95.reports/95.tr.005.html>.
28. Sharygina, N., Browne, J., Kurshan, R., 2001. 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. URL: < http://st72095.inf.tu-dresden.de:8080/fase2001>.
29. Shaw, M., 1996. Truth vs. knowledge: the difference between what a component does and what we know it does. In: Proceedings of the 8th International Workshop on Software Specification and Design, March 1996.
30. Shaw, M., Clements, P., 1997. A field guide to boxology: preliminary classification of architectural styles for software systems. In: Proceedings of COMPSAC, Washington, DC, August 1997.
31. Simon H. The Sciences of the Artificial. third ed. 1996;MIT Press, Cambridge, MA.
32. Spitznagel B., Garlan D. Architecture-based performance analysis. Deng Y., Gerken M. Proceedings of the 10th International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute. 1998;146-151.
33. Stafford J.A., Wolf A.L. Architecture-level dependence analysis for software systems. International Journal of Software Engineering and Knowledge Engineering. 11(4):2001;431-453.
34. Szyperski C. Component Software Beyond Object-Oriented Programming. 1997;ACM Press, Addison-Wesley, New York, Reading, MA.
35. Vieira, M.E.R., Dias, S., Richardson, D.J., 2000. Analyzing software architectures with Argus-I. In: Proceedings of the 2000 International Conference on Software Engineering, June 2000, pp. 758-761.
36. Voas J., Payne J. Dependability certification of software components. Journal of Systems and Software. (52):2000;165-172.
37. Wallnau, K., Stafford, J., Hissam, S., Klein, M., 2001. On the relationship of software architecture to software component technology. In: Proceedings of the 6th International Workshop on Component-Oriented Programming (WCOP6). Budapest, Hungary, June.
38. Walpole R.E., Myers R.H. Probability and Statistics for Engineers and Scientists. 1989;MacMillan Publishing Company, New York.
39. Zhao J. Using dependence analysis to support software architecture understanding. New Technologies on Computer Software. (September):1997;135-142.