SEI Annual Report FY07
Publications |
SEI in the Community |
The 2007 SEI Annual Report describes the accomplishments of the SEI during FY07
(October 1, 2006 through September 30, 2007).
Reports
Executive Overview of SEI MOSAIC: Managing for Success Using a Risk-Based Approach
www.sei.cmu.edu/publications/documents/07.reports/07tn008.html
An Examination of a Structural Modeling Risk Probe Technique
www.sei.cmu.edu/publications/documents/06.reports/06sr017.html
Modifiability Tactics
www.sei.cmu.edu/publications/documents/07.reports/07tr002.html
Comparing Insider IT Sabotage and Espionage: A Model-Based Analysis
www.sei.cmu.edu/publications/documents/06.reports/06tr026.html
Quantitative Methods for Software Selection and Evaluation
www.sei.cmu.edu/publications/documents/06.reports/06tn026.html
Risk Themes Discovered Through Architecture Evaluations
www.sei.cmu.edu/publications/documents/06.reports/06tr012.html
Interpreting Capability Maturity Model Integration (CMMI) for Business Development Organizations in the Government and Industrial Business Sectors
www.sei.cmu.edu/publications/documents/07.reports/07tn004.html
Progress Toward an Organic Software Architecture Capability in the U.S. Army
www.sei.cmu.edu/publications/documents/07.reports/07tr010.html
Management and Education of the Risk of Insider Threat (MERIT): Mitigating the Risk of Sabotage to Employers Information, Systems, or Networks
www.sei.cmu.edu/publications/documents/06.reports/06tn041.html
Introducing the CERT Resiliency Engineering Framework: Improving the Security and www.sei.cmu.edu/publications/documents/07.reports/07tr009.html
Introducing OCTAVE Allegro: Improving the Information Security Risk Assessment Process
www.sei.cmu.edu/publications/documents/07.reports/07tr012.html
Certifying the Absence of Buffer Overflows
www.sei.cmu.edu/publications/documents/06.reports/06tn030.html
Certified Binaries for Software Components
www.sei.cmu.edu/publications/documents/07.reports/07tr001.html
Assume-Guarantee Reasoning for Deadlock
www.sei.cmu.edu/publications/documents/06.reports/06tn028.html
Global Information Grid Survivability: Four Studies
www.sei.cmu.edu/publications/documents/06.reports/06sr008.html
Introduction to the Architecture of the CMMI Framework
www.sei.cmu.edu/publications/documents/07.reports/07tn009.html
Understanding and Leveraging a Supplier’s CMMI Efforts: A Guidebook for Acquirers
www.sei.cmu.edu/publications/documents/07.reports/07tr004.html
+SAFE, V1.2: A Safety Extension to CMMI-DEV, V1.2
www.sei.cmu.edu/publications/documents/07.reports/07tn006.html
Incident Management
Capability Metrics Version 0.1
www.sei.cmu.edu/publications/documents/07.reports/07tr008.html
Modeling of System Families
www.sei.cmu.edu/publications/documents/07.reports/07tn047.html
Dependability Modeling with the Architecture Analysis & Design Language (AADL)
www.sei.cmu.edu/publications/documents/07.reports/07tn043.html
Conditions for Achieving Network-Centric Operations in Systems of Systems
www.sei.cmu.edu/publications/documents/07.reports/07tn003.html
Ranged Integers for the C Programming Language
www.sei.cmu.edu/publications/documents/07.reports/07tn027.html
The State of Software Measurement Practice: Results of 2006 Survey
www.sei.cmu.edu/publications/documents/06.reports/06tr009.html
A Proposed Taxonomy for Software Development Risks for High-Performance Computing (HPC) Scientific/Engineering Applications
www.sei.cmu.edu/publications/documents/06.reports/06tn039.html
Case Study of the NENE Code Project
www.sei.cmu.edu/publications/documents/06.reports/06tn044.html
Workshop on Model-Driven Architecture and Program Generation
www.sei.cmu.edu/publications/documents/06.reports/06tn031.html
How to Compare the Security Quality Requirements Engineering (SQUARE) Method with Other Methods
Risk Management Considerations for Interoperable Acquisition
www.sei.cmu.edu/publications/documents/06.reports/06tn032.html
Schedule Considerations for Interoperable Acquisition
www.sei.cmu.edu/publications/documents/06.reports/06tn035.html
Modeling and Analysis of Information Technology Change and Access Controls in the Business Context
www.sei.cmu.edu/publications/documents/06.reports/06tn040.html
System-of-Systems Governance: New Patterns of Thought
www.sei.cmu.edu/publications/documents/06.reports/06tn036.html
Proceedings of the Second Software Architecture Technology User Network (SATURN) Workshop
www.sei.cmu.edu/publications/documents/06.reports/06tr010.html
Quality-Attribute-Based Economic Valuation of Architectural Patterns
www.sei.cmu.edu/publications/documents/07.reports/07tr003.html
T-Check for Technologies for Interoperability: Open Grid Services Architecture
(OGSA)—Part 1
www.sei.cmu.edu/publications/documents/07.reports/07tn016.html
Army ASSIP System-of-Systems Test Metrics Task
www.sei.cmu.edu/publications/documents/06.reports/06sr011.html
Topics in Interoperability: Structural Programmatics in a System of Systems
www.sei.cmu.edu/publications/documents/06.reports/06tn037.html
Interoperable Acquisition for Systems of Systems: The Challenges
www.sei.cmu.edu/publications/documents/06.reports/06tn034.html
Case Study: Accelerating Process Improvement by Integrating the TSP and CMMI
www.sei.cmu.edu/publications/documents/07.reports/07tr013.html
Technology Foundations for Computational Evaluation of Software Security Attributes
www.sei.cmu.edu/publications/documents/06.reports/06tr021.html
Governing for Enterprise Security (GES) Implementation Guide
www.sei.cmu.edu/publications/documents/07.reports/07tn020.html
Attribute-Driven Design (ADD), Version 2.0
www.sei.cmu.edu/publications/documents/06.reports/06tr023.html
A Practical Example of Applying Attribute-Driven Design (ADD), Version 2.0
www.sei.cmu.edu/publications/documents/07.reports/07tr005.html