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 - 7 of 7 results for the Author - richard c. linger (oak ridge national laboratory) , Type - White Paper

White Paper | July 2013 - White Paper Development of a Master of Software Assurance Reference ... By Andrew J. Kornecki (Embry-Riddle Aeronautical University), James McDonald (Monmouth University), Julia H. Allen, Mark A. Ardis (Stevens Institute of Technology), Nancy R. Mead, Richard C. Linger (Oak Ridge National Laboratory), Thomas B. Hilburn (Embry-Riddle Aeronautical University)

In this paper, the authors present an overview of the Master of Software Assurance curriculum, including its history, student prerequisites, and outcomes

White Paper | September 2006 - White Paper Next-Generation Software Engineering: Function Extraction for ... By Richard C. Linger (Oak Ridge National Laboratory), Alan R. Hevner (University of South Florida), Gwendolyn H. Walton

This paper discusses FX technology.

White Paper | May 2002 - White Paper Foundations for Survivable Systems Engineering By Robert J. Ellison, Richard C. Linger (Oak Ridge National Laboratory), Nancy R. Mead, Andrew P. Moore

In this paper, the authors describe their efforts to perform risk assessment and analyze and design robust survivable systems.

White Paper | July 2008 - White Paper Introducing Function Extraction into Software Testing (July ... By Mark Pleszkoch, Richard C. Linger (Oak Ridge National Laboratory), Alan R. Hevner (University of South Florida)

This paper describes the emerging technology of function extraction (FX).

White Paper | April 2007 - White Paper Function Extraction: Automated Behavior Computation for ... By Tim Daly, Richard C. Linger (Oak Ridge National Laboratory), Stacy J. Prowell

This paper describes verification and certification challenges for avionics software.

White Paper | June 2009 - White Paper Computational Evaluation of Software Security Attributes By Gwendolyn H. Walton, Thomas A. Longstaff, Richard C. Linger (Oak Ridge National Laboratory)

This paper provides an introduction to the CSA approach, provides behavioral requirements for security attributes, and discusses possible application of the CSA approach.

White Paper | January 1996 - White Paper A Case Study in Requirements for Survivable Systems By Robert J. Ellison, Richard C. Linger (Oak Ridge National Laboratory), Thomas A. Longstaff, Nancy R. Mead

This case study summarizes the application and results of applying the SNA method to a subsystem of a large-scale, distributed healthcare system.