Toward safe reuse of product family specifications

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Toward safe reuse of product family specifications

Full text

Pdf (1.09 MB)

Source

Symposium on Software Reusability archive
Proceedings of the 1999 symposium on Software reusability table of contents

Los Angeles, California, United States

Pages: 17 - 26

Year of Publication: 1999

ISBN:1-58113-101-1

Author

Robyn R. Lutz

Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 23, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/303008.303014 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Edward A. Addy, A framework for performing verification and validation in reuse-based software engineering, Annals of Software Engineering, 5, p.279-292, 1998
	2	Mark A. Ardis , David M. Weiss, Defining families: the commonality analysis (tutorial), Proceedings of the 19th international conference on Software engineering, p.649-650, May 17-23, 1997, Boston, Massachusetts, United States [doi>10.1145/253228.253772]
	3	Ardis, Mark A. and David Weiss, "Commonality Analysis: Principles and Practice, Introduction and Overview Notebook," May 19, 1997.
	4	David Dikel , David Kane , Steve Ornburn , William Loftus , Jim Wilson, Applying Software Product-Line Architecture, Computer, v.30 n.8, p.49-55, August 1997 [doi>10.1109/2.607064]
	5	Steve Easterbrook , Robyn Lutz , Richard Covington , John Kelly , Yoko Ampo , David Hamilton, Experiences Using Lightweight Formal Methods for Requirements Modeling, IEEE Transactions on Software Engineering, v.24 n.1, p.4-14, January 1998 [doi>10.1109/32.663994]
	6	Hassan Gomaa, Reusable software requirements and architectures for families of systems, Journal of Systems and Software, v.28 n.3, p.189-202, March 1995 [doi>10.1016/0164-1212(94)00056-S]
	7	Constance L. Heitmeyer , James Kirby , Bruce G. Labaw , Ramesh Bharadwaj, SCR*: A Toolset for Specifying and Analyzing Software Requirements, Proceedings of the 10th International Conference on Computer Aided Verification, p.526-531, June 28-July 02, 1998
	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	Julio Cesar Leite , Gustav0 Rossi , Federico Balaguer , Vanesa Maiorana , Gladys Kaplan , Graciela Hadad , Alejandro Oliveros, Ten Steps Towards Systematic Requirements Reuse, Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), p.6, January 05-08, 1997
	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	Nancy G. Leveson, Safeware: system safety and computers, ACM Press, New York, NY, 1995
	16	Robyn R. Lutz , Guy G. Helmer , Michelle M. Moseman , David E. Statezni , Stephen R. Tockey, Safety Analysis of Requirements for a Product Family, Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice, p.24, April 06-10, 1998
	17	Steven P. Miller, Specifying the mode logic of a flight guidance system in CoRE and SCR, Proceedings of the second workshop on Formal methods in software practice, p.44-53, March 04-05, 1998, Clearwater Beach, Florida, United States [doi>10.1145/298595.298856]
	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 Sa/ety, Vol. 43, No. 2, 1994, pp. 189-214.
	20	Sanderson, Susan Walsh and Mustafa Uzumeri, The Innovation Imperative: Strategies/or Managing Product Models and Families, Chicago: Irwin Professional Publishing, 1997.
	21	Software Productivity Consortium (Nov., :t993), 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	Pamela Zave , Michael Jackson, Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.1, p.1-30, Jan. 1997 [doi>10.1145/237432.237434]
	24	Zeilik, Michael, Stephen A. Gregory, and Elske v. P. Smith, Introductory Astronomy and Astrophysics, 3rd Ed., Ft. Worth: Saunders C, ollege Publishing, 1992.