Approach to architectural analysis of product lines

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2000, Pages 548-557

  Gannod, Gerald C ^a   Lutz, Robyn R ^a  

^a ARIZONA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE; FAULT TOLERANT COMPUTER SYSTEMS; PROGRAM DIAGNOSTICS; QUALITY ASSURANCE;

ARCHITECTURAL ANALYSIS; INTERFEROMETRY SOFTWARE; MODEL CHECKING; PRODUCT LINES; SOFTWARE ARCHITECTURE;

SOFTWARE ENGINEERING;

EID: 0033697626     PISSN: 02705257     EISSN: None     Source Type: None    
DOI: 10.1145/337180.337455     Document Type: Conference Paper

References (22)

1. Acmestudio: A graphical design environment for acme. http://www.cs.cmu. edu/-acme/Acmestudio/AcmeStudio.html.
2. R. Allen and D. Garlan. A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology, July 1997.
3. M. A. Ardis and D. M. Weiss. Tutorial: Defining families: The commonality analysis. In Proceedings of ICSE '97, May 1997.
4. L. Bass, P. Clements, and R. Kazman. Software Architecture in Practice. Addison Wesley, 1998.
5. P. M. Clements and L. M. Northrop. A framework for software product line practice. http://www.sei.cmu.edu/plp/framereport/arch-explore.htm.
6. J. Debaud and K. Schmid. A systematic approach to derive the scope of software product lines. In Proceedings of the 2lst International Conference on Software Engineering, pages 34-43, May 1999.
7. G. C. Gannod and B. H. C. Cheng. Strongest Post-condition as the Formal Basis for Reverse Engineering. Journal of Automated Software Engineering, 3 (1 / 2) : 139-164, June 1996.
8. G. C. Gannod and B. H. C. Cheng. A Specification Matching Based Approach to Reverse Engineering. In Proceedings of the 1999 International Conference on Software Engineering, pages 389-398. ACM, 1999.
9. D. Garlan, R. T. Monroe, and D. Wile. ACME: An Architecture Description Interchange Language. In Proceedings of CASCON'97, pages 169-183, Toronto, Ontario, November 1997.
10. H. Gomaa and G. A. Farrukh. A reusable architecture for federated client/server systems. In Proc Fifth Symposium on Software Reusability, pages 113-121, 1999.
11. C. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
12. G. J. Holzmann. The Model Checker Spin. IEEE Transactions on Software Engineering, 23(5), May 1997.
13. Jpl interferometry projects. http://huey.jpl.nasa.gov/ice/ice-projects. html.
14. R. Kazman, G. Abowd, L. Bass, and P. Clements. Scenario-based analysis of software architecture. IEEE Software, pages 47-55, 1996.
15. R. Kazman, M. Klein, M. Barbacci, H. Lipson, T. Longstaff, and S. Carriere. The Architecture Tradeoff Analysis Method. In Proceedings of ICECCS, 1998.
16. D. Luckham and J. Vera. An Event-Based Architecture Definition Language. IEEE Transactions on Software Engineering, 21 (9):717-734, 1995.
17. R. Lutz. Extending the product family approach to support safe reuse. The Journal of Systems and Software, (to appear), 2000.
18. N. Medvidovic and R. N. Taylor. Exploiting architectural style to develop a family of applications. IEE Proc. in Software Engineering, 144(5-6):237-248, Oct-Dec 1997.
19. Origins program. http://origins.jpl.nasa.gov.
20. D. E. Perry, Generic architecture descriptions for product lines. In ARES 11: Software Architectures for Product Families, 1998.
21. M. Shaw and D. Garlan. Software Architectures: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
22. D. M. Weiss and C. T. R. Lai. Software Product-Line Engineering. Addison-Wesley, Reading, MA, 1999.