Experimenting with Software Architecture Flexibility Using an Implementation of the Tactical Separation Assisted Flight Environment
暂无分享,去创建一个
Ioana Rus | Mikael Lindvall | Bettina Anders | Jörg Fellmann | I. Rus | M. Lindvall | Bettina Anders | Jörg Fellmann
[1] Hermann Kopetz,et al. Dependability: Basic Concepts and Terminology , 1992 .
[2] Gregory D. Dennis. TSAFE: Building a Trusted Computing Base for Air Traffic Control Software , 2003 .
[3] Marvin V. Zelkowitz,et al. The role of independent verification and validation in maintaining a safety critical evolutionary software in a complex environment: the NASA Space Shuttle program , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.
[4] Rose Pajerski. Fraunhofer Center For Experimental Software Engineering—Maryland , 2002 .
[5] H. Erzberger,et al. Concepts and Algorithms for Terminal-Area Traffic Management , 1984, 1984 American Control Conference.
[6] Mikael Lindvall,et al. Evaluating software architectures , 2004, Adv. Comput..
[7] Lorin Hochstein,et al. Diagnosing architectural degeneration , 2003, 28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings..
[8] S. Asgari,et al. Empirical-based estimation of the effect on software dependability of a technique for architecture conformance verification , 2004, ICSE 2004.
[9] Audris Mockus,et al. Does Code Decay? Assessing the Evidence from Change Management Data , 2001, IEEE Trans. Software Eng..