Nasa Software Assurance

Cyber Security Engineering: A Practical Approach for Systems and Software Assurance  eBooks & eLearning

Posted by AlenMiler at Nov. 16, 2016
Cyber Security Engineering: A Practical Approach for Systems and Software Assurance

Cyber Security Engineering: A Practical Approach for Systems and Software Assurance (SEI Series in Software Engineering) by Nancy Mead
English | 1 Nov. 2016 | ISBN: 0134189809 | 331 Pages | MOBI/EPUB/PDF | 43.47 MB

This book brings together comprehensive best practices for building software systems that exhibit superior operational security, and for considering security early and throughout the full lifecycles of both system development and acquisition.
Microsoft Desktop Optimization Pack for Software Assurance 2013 ISO

Microsoft Desktop Optimization Pack for Software Assurance 2013 ISO | 1.44 Gb

The Microsoft Desktop Optimization Pack (MDOP) is a suite of technologies available as a subscription for Software Assurance customers. MDOP virtualization technologies help personalize the user experience, simplify application deployment, and improve application compatibility with the Windows operating system (UE-V/App-V/MED-V). Additionally, MDOP helps manage, monitor, and deploy key Windows features (MBAM/AGPM). Using MDOP shifts desktop repair from reactive to proactive, saving time and removing challenges associated with troubleshooting and repairing system failures (DaRT).

NASA Formal Methods: 9th International Symposium, NFM 2017 [Repost]  eBooks & eLearning

Posted by AlexGolova at April 9, 2018
NASA Formal Methods: 9th International Symposium, NFM 2017  [Repost]

NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Lecture Notes in Computer Science) by Clark Barrett
English | 9 Apr. 2017 | ISBN: 3319572873 | 448 Pages | PDF | 19.7 MB

NASA Formal Methods  eBooks & eLearning

Posted by AvaxGenius at April 6, 2018
NASA Formal Methods

NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings By Aaron Dutle
English | PDF | 2018 | 481 Pages | ISBN : 3319779346 | 24.88 MB

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.

NASA Formal Methods  eBooks & eLearning

Posted by hill0 at May 2, 2017
NASA Formal Methods

NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Lecture Notes in Computer Science) by Clark Barrett
English | 9 Apr. 2017 | ISBN: 3319572873 | 448 Pages | PDF | 19.7 MB

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.
The Goal/Question/Metric Method: A Practical Guide for Quality Improvement of Software Development

Rini Van Solingen, Egon Berghout, "The Goal/Question/Metric Method: A Practical Guide for Quality Improvement of Software Development"
McGraw Hill | 1999 | ISBN: 0077095537 | 200 pages | PDF | 1,4 MB

Engineering Safe and Secure Software Systems (Repost)  eBooks & eLearning

Posted by DZ123 at Feb. 6, 2017
Engineering Safe and Secure Software Systems (Repost)

C. Warren Axelrod, "Engineering Safe and Secure Software Systems"
English | 2012 | ISBN: 1608074722 | PDF | pages: 349 | 2.3 mb

Software Security Engineering: A Guide for Project Managers by Sean Barnum [Repost]  eBooks & eLearning

Posted by tanas.olesya at Oct. 25, 2015
Software Security Engineering: A Guide for Project Managers by Sean Barnum [Repost]

Software Security Engineering: A Guide for Project Managers by Sean Barnum
English | 1 May 2008 | ISBN: 032150917X | 368 Pages | CHM | 1 MB

Software Security Engineering draws extensively on the systematic approach developed for the Build Security In (BSI) Web site. Sponsored by the Department of Homeland Security Software Assurance Program, the BSI site offers a host of tools, guidelines, rules, principles, and…

Software Engineering: Theory and Practice (4th Edition) (Repost)  eBooks & eLearning

Posted by nebulae at Feb. 12, 2015
Software Engineering: Theory and Practice (4th Edition) (Repost)

Shari Lawrence Pfleeger and Joanne M. Atlee, "Software Engineering: Theory and Practice (4th Edition)"
English | ISBN: 0136061699 | 2009 | 792 pages | PDF | 238 MB

Software Engineering: Theory and Practice (4th Edition) (Repost)  eBooks & eLearning

Posted by nebulae at Jan. 12, 2014
Software Engineering: Theory and Practice (4th Edition) (Repost)

Shari Lawrence Pfleeger and Joanne M. Atlee, "Software Engineering: Theory and Practice (4th Edition)"
English | ISBN: 0136061699 | 2009 | 792 pages | PDF | 238 MB