| Part of a series on |
| Software development |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
Standards, bodies of knowledge |
|
|
|
|
Leivant, Daniel (2020). "A Generic Imperative Language for Polynomial Time". arXiv:1911.04026 [cs.CC].
↑ FDA (2010-09-08). "Infusion Pump Software Safety Research at FDA". Food and Drug Administration. Archived from the original on 2010-09-01. Retrieved 2010-09-09.
↑ Computer based safety systems - technical guidance for assessing software aspects of digital computer based protection systems, ISBN 978-0735622142
↑ Achim D. Brucker and Uwe Sodan. Deploying Static Application Security Testing on a Large Scale Archived 2014-10-21 at the Wayback Machine. In GI Sicherheit 2014. Lecture Notes in Informatics, 228, pages 91-101, GI, 2014.
↑ "Learning from other's mistakes: Data-driven code analysis". www.slideshare.net. 13 April 2015.
↑ Monperrus, Martin; Mezini, Mira (2013). "Detecting missing method calls as violations of the majority rule". ACM Transactions on Software Engineering and Methodology. 22 (1): 1–25. arXiv:1306.0762. doi:10.1145/2430536.2430541. ISSN 1557-7392.
↑ Brian Chess, Jacob West (Fortify Software) (2007). Secure Programming with Static Analysis. Addison-Wesley. ISBN 978-0-321-42477-8.
Outline
|