Toward safe reuse of product family specifications

Proceedings of the 1999 Symposium on Software Reusability, SSR 1999

Volumn , Issue , 1999, Pages 17-26

  Lutz, Robyn R ^a,b  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b Iowa State University

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; HAZARDS; PRODUCT DESIGN; REUSABILITY; SPECIFICATIONS; TELESCOPES;

HAZARDS ANALYSIS; MODELING DECISIONS; PRODUCT FAMILIES; REUSABLE COMPONENTS; REUSABLE SOFTWARES; RUN-TIME VARIATIONS; SAFETY REQUIREMENTS; SOFTWARE COMPONENT;

COMPUTER SOFTWARE REUSABILITY;

EID: 85013570190     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/303008.303014     Document Type: Conference Paper

References (24)

1. Addy, Edward A., "A Framework for Performing Verification and Validation in Reuse-Based Software Engineering," Annals of Software Engineering, Vol. 5, 1998.
2. Ardis, Mark A. and David M. Weiss, "Defining Families: The Commonality Analysis," Tutorial, International Conference on Software Engineering, 1997.
3. Ardis, Mark A. and David Weiss, "Commonality Analysis: Principles and Practice, Introduction and Overview Notebook," May 19, 1997.
4. Dikel, David, David Kane, Steve Ornburn, William Loftus, and Jim Wilson, "Applying Soft- ware Product-Line Architecture," Computer, August, 1997, pp. 49-55.
5. Easterbrook, S., R. Lutz, R. Covington, J. Kelly, Y. Ampo, and D. Hamilton, "Experiences Using Lightweight Formal Methods for Requirements Modeling," IEEE Transactions on Software Engineering, Vol. 24, No. 1, January, 1998, pp. 4-14.
6. Gomaa, Hassan, "Reusable Software Requirements and Architectures for Families of Systems," Journal of Systems and Software, Vol. 28, No. 3, March, 1995, pp. 189-202.
7. Heitmeyer, C, A. Bull, C. Gasarch, and B. Labaw (1995), "SCR: A Toolset for Specifying and Analyzing Requirements," In Proceedings of the 10th Annual Conference on Computer Assurance, IEEE, Gaithersburg, MD, pp. 109-122.
8. JPL Internal Document, "QuIC Delay Line Component," January 28, 1998.
9. JPL Internal Document, "Delay Line Component," January 28, 1998.
10. JPL Internal Document, "Interferometry Technology Program, Real-Time Control, Software Architecture Review," June 19, 1998.
11. JPL Internal Document, "RICST Software Overview," November 2, 1997.
12. JPL Internal Document, "RICST Increment 2 Black Box Specification," February 5, 1998.
13. Lam, W., J. A. McDermid, and A. J. Vickers, "Ten Steps Towards Systematic Requirements Reuse," Third IEEE International Symposium on Requirements Engineering, IEEE, Jan. 6-10, 1997, pp. 6-15.
14. Lau, Kenneth, M. Colavita, and M. Shao, "The New Millennium Separated Spacecraft Interferometer," Space Technology and Applications International Forum (STAIF-97), Albuquerque, NM, January 30, 1997.
15. Leveson, N. G. (1995), Safeware: System Safety and Computers, Addison-Wesley, Reading, MA.
16. Lutz, Robyn, G. Helmer, M. Moseman, D. Statezni, and S. Tockey, "Safety Analysis of Requirements for a Product Family," Proceedings of the Third IEEE International Conference on Requirements Engineering (ICRE '98), April 6-10, 1998, Colorado Springs, CO.
17. Miller, S. P. (1998), "Specifying the Mode Logic of a Flight Guidance System in CoRE and SCR," 2nd Workshop on Formal Methods in Software Practice, Clearwater Beach, FL.
18. "NASA's Interferometry Program: The Search for Life Beyond the Solar System: Some Facts and Figures," June 16, 1997.
19. Rushby, John, "Critical System Properties: Survey and Taxonomy," Reliability Engineering and System Safety, Vol. 43, No. 2, 1994, pp. 189-214.
20. Sanderson, Susan Walsh and Mustafa Uzumeri, The Innovation Imperative: Strategies for Managing Product Models and Families, Chicago: Irwin Professional Publishing, 1997.
21. Software Productivity Consortium (Nov., 1993), Reuse-Driven Software Processes Guidebook, SPC-92019-CMC, v. 02.00.03.
22. Weiss, D. M. (1997), "Defining Families: The Commonality Analysis," submitted for publication.
23. Zave, Pamela and Michael Jackson, "Four Dark Corners of Requirements Engineering," ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 1, January, 1997, pp. 1-30.
24. Zeilik, Michael, Stephen A. Gregory, and Elske v. P. Smith, Introductory Astronomy and Astrophysics, 3rd Ed., Ft. Worth: Saunders College Publishing, 1992.