Software Engineering Institute

Temporal Memory Safety in C and C++: An AI-Enhanced Pointer Ownership Model

This podcast explores updates to the Pointer Ownership Model for C, a modeling framework designed to improve the ability of developers to statically analyze C programs for errors involving temporal ...
sei.cmu

An Introduction to Model-Based Systems Engineering (MBSE)

Shevchenko, N., 2020: An Introduction to Model-Based Systems Engineering (MBSE). Carnegie Mellon University, Software Engineering Institute's Insights (blog ...
sei.cmu

Dynamic Analysis of an Executable's System Impact

Presented at InfoSec World 2025 Home Publications Digital Library Dynamic Analysis of an Executable's System Impact ...
sei.cmu

Has your PMO built an Agile culture across the program office and its users?

This short video explains how important it is for PMOs to build an Agile culture as part of adopting the Software Acquisition Pathway. Brigid O'Hearn (Software Modernization Policy Lead) of the ...
sei.cmu

The Challenge of Adversarial Machine Learning

Churilla, M., VanHoudnos, N., and Beveridge, R., 2023: The Challenge of Adversarial Machine Learning. Carnegie Mellon University, Software Engineering Institute's ...
sei.cmu

Prioritizing and Testing Non-Functional Requirements: A Practical Guide

Engineering secure software is hard to do! In this talk, I discuss two high-level, requirements-based approaches to improving software quality. The first is using a ...
sei.cmu

Mission Thread Analysis Using End-to-End Data Flows - Part 1

Firesmith, D., 2019: Mission Thread Analysis Using End-to-End Data Flows - Part 1. Carnegie Mellon University, Software Engineering Institute's Insights (blog ...
sei.cmu

Best Practices for Network Border Protection

Kartch, R., 2017: Best Practices for Network Border Protection. Carnegie Mellon University, Software Engineering Institute's Insights (blog), Accessed February 18 ...
sei.cmu

Using V Models for Testing

Firesmith, D., 2013: Using V Models for Testing. Carnegie Mellon University, Software Engineering Institute's Insights (blog), Accessed February 17, 2026, https://www ...
sei.cmu

Send a Message

This contact form is for general questions and requests for contact. Do not use this contact form to send sensitive information. Please review the guidelines for sending sensitive information. If you ...
sei.cmu

Assurance Cases and Confidence

Weinstock, C., 2013: Assurance Cases and Confidence. Carnegie Mellon University, Software Engineering Institute's Insights (blog), Accessed February 9, 2026, https ...