[1]
|
“US Federal Aviation Administration”. http://www.faa.gov/
|
[2]
|
“European Aviation Safety Agency”. http://www.easa.eu.int
|
[3]
|
“UK Civil Aviation Authority”. http://www.caa.co.uk
|
[4]
|
RTCA DO-254 (EUROCAE ED-80), “Design Assurance Guidance for Airborne Electronic Hardware,” 2000.
|
[5]
|
RTCA DO-178B (EUROCAE ED-12B), “Software Considerations in Airborne Systems and Equipment Certification,” 2nd Edition, 1992.
|
[6]
|
“IBM Rational DOORS”. http://www-01.ibm.com/software/ awdtools/doors/
|
[7]
|
“IBM Rational Change”. https://www.ibm.com/ developer- works/rational/products/change
|
[8]
|
“Das V-Modell”. http://v-modell.iabg.de/ (some pages about the fundamentals of V-model are in English).
|
[9]
|
C. M. Holloway, “Why Engineers Should Consider Formal Methods,” Proceedings of the 16th Digital Avionics Systems Conference, Irvine, California, October 1997.
|
[10]
|
N. A. S. A. Langley, “Formal Methods web site”. http:// shemesh.larc.nasa.gov/fm/
|
[11]
|
“Formal Methods in System Design Journal,” Springer. http://www.springer.com
|
[12]
|
R. R. Young, “Effective Requirements Practices,” Addison Wesley, Boston, 2001.
|
[13]
|
K. E. Wiegers, “Software Requirements,” 2nd Edition, Microsoft Press, 2003.
|
[14]
|
K. E. Wiegers, “More About Software Requirements,” Thorny Issues and Practical Advice, Microsoft Press, 2006.
|
[15]
|
V. I. Fort Belvoir, “Systems Engineering Fundamentals,” Defense Acquisition University Press, USA, 2001.
|
[16]
|
“Esterel Technologies SCADE Suite”. http://www.Esterel- technologies.com/products/scade-suite
|
[17]
|
“Geensoft Reqtify”. http://www.reqtify.com
|
[18]
|
“IBM Rational RequisitePro”. http://www -01.ibm.com/ software/awdtools/reqpro/
|
[19]
|
“IBM Rational ClearQuest”. http://www-01.ibm. com/ software/awdtools/clearquest/
|
[20]
|
“Serena TeamTrack”. https://www.serena.com/products/ teamtrack/change-request-management.html
|