SEI Annual Report FY 2006
Publications |
SEI in the Community |
|
Publications
Mission Assurance Analysis Protocol (MAAP): Assessing
Risk in Complex Environments
http://www.sei.cmu.edu/publications/documents/05.reports/05tn032.html
Joint Capabilities and System-of-Systems
Solutions: A Case for Crossing Solution Domains
http://www.sei.cmu.edu/publications/documents/06.reports/06tn029.html
Experience Using the Web-Based Tool Wiki for Architecture Documentation
http://www.sei.cmu.edu/publications/documents/05.reports/05tn041.html
Risk Themes Discovered Through Architecture Evaluations
http://www.sei.cmu.edu/publications/documents/06.reports/06tr012.html
Product Line Acquisition in a DoD Organization—Guidance for Decision Makers
http://www.sei.cmu.edu/publications/documents/06.reports/06tn020.html
Software Product Lines: Experience from the Eighth DoD Software Product Line
Workshop
http://www.sei.cmu.edu/publications/documents/05.reports/05tr023.html
System-of-Systems Navigator: An Approach for Managing System-of-Systems Interoperability
http://www.sei.cmu.edu/publications/documents/06.reports/06tn019.html
Specifications for Managed Strings
http://www.sei.cmu.edu/publications/documents/06.reports/06tr006.html
Sustaining Operational Resiliency: A Process Improvement Approach to Security
Management
http://www.sei.cmu.edu/publications/documents/06.reports/06tn009.html
Topics in Interoperability: Concepts of Ownership and Their Significance in
Systems of Systems
http://www.sei.cmu.edu/publications/documents/05.reports/05tn046.html
Topics in Interoperability: Infrastructure Replacement in a System of Systems
http://www.sei.cmu.edu/publications/documents/05.reports/05tn031.html
SAT-Based Software Certification
http://www.sei.cmu.edu/publications/documents/06.reports/06tn004.html
Verification of Evolving Software via Component Substitutability Analysis
http://www.sei.cmu.edu/publications/documents/05.reports/05tr008.html
Results of SEI Independent Research and Development Projects and Report on
Emerging Technologies and Technology Trends
http://www.sei.cmu.edu/publications/documents/05.reports/05tr020.html
Certifying the Absence of Buffer Overflows
http://www.sei.cmu.edu/publications/documents/06.reports/06tn030.html
Toward Measures for Software Architectures
http://www.sei.cmu.edu/publications/documents/06.reports/06tn013.html
Security Quality Requirements Engineering (SQUARE): Case Study Phase III
http://www.sei.cmu.edu/publications/documents/06.reports/06sr003.html
SAT-Based Predicate Abstraction of Programs
http://www.sei.cmu.edu/publications/documents/05.reports/05tr006.html
The U.S. Army's Common Avionics Architecture System (CAAS) Product Line: A
Case Study
http://www.sei.cmu.edu/publications/documents/05.reports/05tr019.html
Using the SEI Architecture Tradeoff Analysis Method to Evaluate WIN-T: A Case
Study
http://www.sei.cmu.edu/publications/documents/05.reports/05tn027.html
CMMI for Development, Version 1.2
http://www.sei.cmu.edu/publications/documents/06.reports/06tr008.html
The CERT Function Extraction Experiment: Quantifying FX Impact on Software
Comprehension and Verification, The
http://www.sei.cmu.edu/publications/documents/05.reports/05tn047.html
Secure Software Development Life Cycle Processes: A Technology Scouting Report
http://www.sei.cmu.edu/publications/documents/05.reports/05tn024.html
Adapting CMMI for Acquisition Organizations: A Preliminary Report
http://www.sei.cmu.edu/publications/documents/06.reports/06sr005.html
Trustworthy Integration: Challenges for the Practitioner
http://www.sei.cmu.edu/publications/documents/05.reports/05tn026.html
The Architecture Analysis & Design Language (AADL): An Introduction
http://www.sei.cmu.edu/publications/documents/06.reports/06tn011.html
QUASAR: A Method for the Quality Assessment of Software-Intensive System Architectures
http://www.sei.cmu.edu/publications/documents/06.reports/06hb001.html
Emergent Perspective on Interoperation in Systems of Systems, An
http://www.sei.cmu.edu/publications/documents/06.reports/06tr003.html
Proceedings of the First International Research Workshop for Process Improvement
in Small Settings, 2005
http://www.sei.cmu.edu/publications/documents/06.reports/06sr001.html
Detecting Scans at the ISP Level
http://www.sei.cmu.edu/publications/documents/06.reports/06tr005.html
Performance Results of CMMI-Based Process Improvement
http://www.sei.cmu.edu/publications/documents/06.reports/06tr002.html
R2PL 2005—Proceedings of the First International Workshop on Reengineering
Towards Product Lines
http://www.sei.cmu.edu/publications/documents/06.reports/06sr002.html
Handbook for Conducting Standard CMMI Appraisal Method for Process Improvement
(SCAMPI) B and C Appraisals, Version 1.1
http://www.sei.cmu.edu/publications/documents/05.reports/05hb005.html
Using Containers to Enforce Smart Constraints for Performance in Industrial
Systems
http://www.sei.cmu.edu/publications/documents/05.reports/05tn040.html
Safety-Critical Systems and the TSP
http://www.sei.cmu.edu/publications/documents/05.reports/05tn011.html
Lessons Learned Model Checking an Industrial Communications Library
http://www.sei.cmu.edu/publications/documents/05.reports/05tn039.html
Designing an Effective Survey
http://www.sei.cmu.edu/publications/documents/05.reports/05hb004.html
Categorizing Business Goals for Software Architectures
http://www.sei.cmu.edu/publications/documents/05.reports/05tr021.html
U.S. Army Acquisition – The Program Office Perspective
http://www.sei.cmu.edu/publications/documents/05.reports/05sr014.html
Specifying Initial Design Review (IDR) and Final Design Review (FDR) Criteria
http://www.sei.cmu.edu/publications/documents/06.reports/06tn023.html
Sustaining Software-Intensive Systems
http://www.sei.cmu.edu/publications/documents/06.reports/06tn007.html
Elements of a Usability Reasoning Framework
http://www.sei.cmu.edu/publications/documents/05.reports/05tn030.html
Acquiring Evolving Technologies: Web Services Standards
http://www.sei.cmu.edu/publications/documents/06.reports/06tn001.html
Workshop on Model-Driven Architecture and Program Generation
http://www.sei.cmu.edu/publications/documents/06.reports/06tn031.html
SMART: The Service-Oriented Migration and Reuse Technique
http://www.sei.cmu.edu/publications/documents/05.reports/05tn029.html
Model Problems in Technologies for
Interoperability: Web Services
http://www.sei.cmu.edu/publications/documents/06.reports/06tn021.html
Evolutionary Systems Design: Recognizing Changes
in Security and Survivability Risks
http://www.sei.cmu.edu/publications/documents/06.reports/06tn027.html
Integrated Diagnostics: Operational Missions, Diagnostic Types, Characteristics,
and Capability Gaps
http://www.sei.cmu.edu/publications/documents/05.reports/05tn035.html
Defense-in-Depth: Foundations for Secure and Resilient Enterprises
http://www.sei.cmu.edu/publications/documents/06.reports/06hb003.html
Preparing for Automated Derivation of Products in a Software Product Line
http://www.sei.cmu.edu/publications/documents/05.reports/05tr017.html
Security Quality Requirements Engineering
http://www.sei.cmu.edu/publications/documents/05.reports/05tr009.html
Model Problems in Technologies for Interoperability: OWL Web Ontology Language
for Services (OWL-S)
http://www.sei.cmu.edu/publications/documents/06.reports/06tn018.html
Requirements Management in a System-of-Systems Context: A Workshop
http://www.sei.cmu.edu/publications/documents/06.reports/06tn015.html
Autonomic Computing
http://www.sei.cmu.edu/publications/documents/06.reports/06tn006.html
First Responders Guide to Computer Forensics: Advanced Topics
http://www.sei.cmu.edu/publications/documents/05.reports/05hb003.html
First Responders Guide to Computer Forensics
http://www.sei.cmu.edu/publications/documents/05.reports/05hb001.html
Proceedings of the Second Software Architecture Technology
User Network (SATURN) Workshop
http://www.sei.cmu.edu/publications/documents/05.reports/06tr010.html
Proceedings of the First Software Architecture Technology User Network (SATURN)
Workshop
http://www.sei.cmu.edu/publications/documents/05.reports/05tn037.html
Software Acquisition Planning Guidelines
http://www.sei.cmu.edu/publications/documents/05.reports/05hb006.html
Appraisal Requirements for CMMI, Version 1.2 (ARC, V1.2)
http://www.sei.cmu.edu/publications/documents/06.reports/06tr011.html
Standard CMMI Appraisal Method for Process Improvement (SCAMPI) A, Version
1.2: Method Definition Document
http://www.sei.cmu.edu/publications/documents/06.reports/06hb002.html
PROxy Based Estimation (PROBE) for Structured Query Language (SQL)
http://www.sei.cmu.edu/publications/documents/06.reports/06tn017.html
Relationships Between CMMI and Six Sigma
http://www.sei.cmu.edu/publications/documents/05.reports/05tn005.html
Information Assurance: Building Educational Capacity
http://www.sei.cmu.edu/publications/documents/06.reports/06sr007.html
Exploring Programmatic Interoperability: Army Future Force Workshop
http://www.sei.cmu.edu/publications/documents/05.reports/05tn042.html
Techniques for Developing an Acquisition Strategy by Profiling Software Risks
http://www.sei.cmu.edu/publications/documents/06.reports/06tr002.html
On System Scalability
http://www.sei.cmu.edu/publications/documents/06.reports/06tn012.html
Applying OCTAVE: Practitioners Report
http://www.sei.cmu.edu/publications/documents/06.reports/06tn010.html