Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Showing 1 - 10 of 34 results for the Publish Year - 2017

Video | March 2017 - Video SEI Cyber Minute: Enhancing Malware Analysis with AI

Watch Elli Kanal in this SEI Cyber Minute as he discusses

Brochure | March 2017 - Brochure Software Architecture Professional Certificate

Learn how to architect effectively! This brochure describes the required courses and exam for the SEI Software Architecture Professional Certificate.

Brochure | March 2017 - Brochure System Verification and Validation with Model-Based ...

This brochure explains how the AADL enables early analysis and describes other benefits of using it to support system verification and validation.

Brochure | March 2017 - Brochure AADL and OSATE: A Tool Kit to Support Model-Based ...

This brochure describes the Architecture Analysis & Design Language and the Open Source AADL Tool Environment, two tools that support model-based engineering.

CERT Research Report | March 2017 - CERT Research Report SEI CERT C++ Coding Standard: Rules for Developing Safe ...

In this online download, the CERT Secure Coding Team describes the root causes of common software vulnerabilities, how they can be exploited, the potential consequences, and secure alternatives.

Video | March 2017 - Video SEI Cyber Minute: Tactical Cloudlets By Grace Lewis

Watch Grace Lewis in this SEI Cyber Minute as she discusses

Annual Report | March 2017 - Annual Report SEI Annual Report FY2004

The 2004 SEI Annual Report describes the accomplishments of the SEI during Fiscal Year 2004, its 20th anniversary year.

White Paper | February 2017 - White Paper Efficient Decision-Making under Uncertainty for Proactive Self ... By Gabriel Moreno, Javier Cámara (CMU), David Garlan, Bradley Schmerl

In this paper we present an approach that eliminates that run-time overhead by constructing most of the MDP offline, also using formal specification. This paper was awarded Best Paper for the 13th IEEE International Conference, July 2016.

Video | February 2017 - Video Assuring Autonomous Software By Sagar Chaki

Watch Sagar Chaki in this SEI Cyber Minute as he discusses

White Paper | February 2017 - White Paper The CISO Academy By Pamela D. Curtis, Summer C. Fowler, David Tobar, David Ulicne

In this paper, the authors describe the project that led to the creation of the U.S. Postal Service's CISO Academy.