Toward safe reuse of product family specifications
作者： Robyn R. Lutz
关键词: Spacecraft 、 Product engineering 、 Component-based software engineering 、 Requirement prioritization 、 Reuse 、 Plan (drawing) 、 Systems engineering 、 Computer programming 、 Product family 、 Engineering
摘要: Upcoming spacecraft plan extensive reuse of software components, to the extent that some systems will form product families similar or identical units (e.g. a fleet spaceborne telescopes).
core.ac.uk
acm.org
jaxa.jp参考文章(17)
Mustafa Uzumeri, Susan Walsh Sanderson, The Innovation Imperative: Strategies for Managing Product Models and Families ,(1996)
R.R. Lutz, G.G. Helmer, M.M. Moseman, D.E. Statezni, S.R. Tockey, Safety analysis of requirements for a product family international conference on requirements engineering. pp. 24- 31 ,(1998) , 10.1109/ICRE.1998.667805
Edward A. Addy, A framework for performing verification and validation in reuse-based software engineering Annals of Software Engineering. ,vol. 5, pp. 279- 292 ,(1998) , 10.1023/A:1018968222862
Smith E. P. Jacobs K. C., Introductory astronomy and astrophysics ,(1987)
Bruce Labaw, Ramesh Bharadwaj, Constance Heitmeyer, James Kirby, SCR*: A Toolset for Specifying and Analyzing Software Requirements computer aided verification. pp. 526- 531 ,(1998) , 10.1007/BFB0028775
Steven P. Miller, Specifying the mode logic of a flight guidance system in CoRE and SCR formal methods in software practice. pp. 44- 53 ,(1998) , 10.1145/298595.298856
Kenneth Lau, Mark Colavita, Michael Shao, The New Millennium separated spacecraft interferometer Space technology and applications international forum (STAIF - 97). ,vol. 387, pp. 245- 250 ,(1997) , 10.1063/1.51998
Mark A. Ardis, David A. Cuka, Defining families—commonality analysis international conference on software engineering. pp. 671- 672 ,(1999) , 10.1145/302405.302929
D. Dikel, D. Kane, S. Ornburn, W. Loftus, J. Wilson, Applying software product-line architecture IEEE Computer. ,vol. 30, pp. 49- 55 ,(1997) , 10.1109/2.607064
Pamela Zave, Michael Jackson, Four dark corners of requirements engineering ACM Transactions on Software Engineering and Methodology. ,vol. 6, pp. 1- 30 ,(1997) , 10.1145/237432.237434