Reusable software architectures for aerospace systems
暂无分享,去创建一个
[1] K. Lundqvist,et al. Investigating the readability of state-based formal requirements specification languages , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.
[2] Jeffrey S. Lavell,et al. Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions , 2000 .
[3] James R. Wertz,et al. Space Mission Analysis and Design , 1992 .
[4] Nancy G. Leveson,et al. Designing specification languages for process control systems: lessons learned and steps to the future , 1999, ESEC/FSE-7.
[5] Nancy G. Leveson. Completeness in formal specification language design for process-control systems , 2000, FMSP '00.
[6] Nancy G. Leveson,et al. Investigating the readability of state-based formal requirements specification languages , 2002, ICSE '02.
[7] Marcel J. Sidi,et al. Spacecraft Dynamics and Control: A Practical Engineering Approach , 1997 .
[8] Elaine J. Weyuker,et al. Testing Component-Based Software: A Cautionary Tale , 1998, IEEE Softw..
[9] Nancy G. Leveson,et al. On the use of visualization in formal requirements specification , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.
[10] Nancy G. Leveson,et al. The Role of Software in Recent Aerospace Accidents , 2001 .
[11] Nancy G. Leveson. Intent Specifications: An Approach to Building Human-Centered Specifications , 2000, IEEE Trans. Software Eng..
[12] Nancy G. Leveson,et al. Role of Software in Spacecraft Accidents , 2004 .
[13] James R. Wertz,et al. Spacecraft attitude determination and control , 1978 .