Software Engineering Institute Carnegie Mellon

SEI Annual Report FY 2006

Publications

SEI in the Community

 

Publications

Alberts, C.
Common Elements of Risk
http://www.sei.cmu.edu/publications/documents/06.reports/06tn014.html

Alberts, C. & Dorofee, A.
Mission Assurance Analysis Protocol (MAAP): Assessing Risk in Complex Environments
http://www.sei.cmu.edu/publications/documents/05.reports/05tn032.html

Anderson, W.; Brown, M.; & Flowe, R.
Joint Capabilities and System-of-Systems Solutions: A Case for Crossing Solution Domains
http://www.sei.cmu.edu/publications/documents/06.reports/06tn029.html

Bachmann, F. & Merson, P.
Experience Using the Web-Based Tool Wiki for Architecture Documentation
http://www.sei.cmu.edu/publications/documents/05.reports/05tn041.html

Bass, L.; Nord, R.; Wood, W.; & Zubrow, D.
Risk Themes Discovered Through Architecture Evaluations
http://www.sei.cmu.edu/publications/documents/06.reports/06tr012.html

Bergey, J. & Cohen, S.
Product Line Acquisition in a DoD Organization—Guidance for Decision Makers
http://www.sei.cmu.edu/publications/documents/06.reports/06tn020.html

Bergey, J.; Cohen, S.; Donohoe, P.; & Jones, L.
Software Product Lines: Experience from the Eighth DoD Software Product Line Workshop
http://www.sei.cmu.edu/publications/documents/05.reports/05tr023.html

Brownsword, L.; Fisher, D.; Morris, E.; Smith, J.; & Kirwan, P.
System-of-Systems Navigator: An Approach for Managing System-of-Systems Interoperability
http://www.sei.cmu.edu/publications/documents/06.reports/06tn019.html

Burch, H.; Long, F.; & Seacord, R.
Specifications for Managed Strings
http://www.sei.cmu.edu/publications/documents/06.reports/06tr006.html

Caralli, R.
Sustaining Operational Resiliency: A Process Improvement Approach to Security Management
http://www.sei.cmu.edu/publications/documents/06.reports/06tn009.html

Carney, D.; Anderson, W.; & Place, P.
Topics in Interoperability: Concepts of Ownership and Their Significance in Systems of Systems
http://www.sei.cmu.edu/publications/documents/05.reports/05tn046.html

Carney, D.; Smith, J.; & Place, P.
Topics in Interoperability: Infrastructure Replacement in a System of Systems
http://www.sei.cmu.edu/publications/documents/05.reports/05tn031.html

Chaki, S.
SAT-Based Software Certification
http://www.sei.cmu.edu/publications/documents/06.reports/06tn004.html

Chaki, S.; Clarke, E.; Sharygina, N.; & Sinha, N.
Verification of Evolving Software via Component Substitutability Analysis
http://www.sei.cmu.edu/publications/documents/05.reports/05tr008.html

Chaki; S.; Collins, R.; Feiler, P.; Goodenough, J.; Greenhouse, A.; Hansson, J.; Hevner, A.; Hudak, J.; Jordan, A.; Kazman, R.; Linger, R.; Pleszkoch, M.; Prowell, S.; Sharygina, N.; Wallnau, K.; Walton, G.; Weinstock, C.; & Wrage, L.
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

Chaki, S. & Hissam, S.
Certifying the Absence of Buffer Overflows
http://www.sei.cmu.edu/publications/documents/06.reports/06tn030.html

Chastek, G. & Ferguson, R.
Toward Measures for Software Architectures
http://www.sei.cmu.edu/publications/documents/06.reports/06tn013.html

Chung, L.; Hung, F.; Hough, E.; Ojoko-Adams, D.; & Mead, N. (advisor)
Security Quality Requirements Engineering (SQUARE): Case Study Phase III
http://www.sei.cmu.edu/publications/documents/06.reports/06sr003.html

Clarke, E.; Kroening, D.; Sharygina, N.; & Yorav, K.
SAT-Based Predicate Abstraction of Programs
http://www.sei.cmu.edu/publications/documents/05.reports/05tr006.html

Clements, P. & Bergey, J.
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

Clements, P.; Bergey, J.; & Mason, D.
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 Product Team
CMMI for Development, Version 1.2
http://www.sei.cmu.edu/publications/documents/06.reports/06tr008.html

Collins, R.; Hevner, A.; Walton, G.; & Linger, R.
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

Davis, N.
Secure Software Development Life Cycle Processes: A Technology Scouting Report
http://www.sei.cmu.edu/publications/documents/05.reports/05tn024.html

Dodson; K.; Hofmann, H.; Ramani, G.; & Yedlin, D.
Adapting CMMI for Acquisition Organizations: A Preliminary Report
http://www.sei.cmu.edu/publications/documents/06.reports/06sr005.html

Ellison, R.
Trustworthy Integration: Challenges for the Practitioner
http://www.sei.cmu.edu/publications/documents/05.reports/05tn026.html

Feiler, P.; Gluch, D.; & Hudak, J.
The Architecture Analysis & Design Language (AADL): An Introduction
http://www.sei.cmu.edu/publications/documents/06.reports/06tn011.html

Firesmith, D.
QUASAR: A Method for the Quality Assessment of Software-Intensive System Architectures
http://www.sei.cmu.edu/publications/documents/06.reports/06hb001.html

Fisher, D.
Emergent Perspective on Interoperation in Systems of Systems, An
http://www.sei.cmu.edu/publications/documents/06.reports/06tr003.html

Garcia, S.; Graettinger, C.; & Kost, K.
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

Gates, C.; McNutt, J.; Kadane, J.; & Kellner, M.
Detecting Scans at the ISP Level
http://www.sei.cmu.edu/publications/documents/06.reports/06tr005.html

Gibson, D.; Goldenson, D.; & Kost, K.
Performance Results of CMMI-Based Process Improvement
http://www.sei.cmu.edu/publications/documents/06.reports/06tr002.html

Graaf, B.; O'Brien, L.; & Capilla, R.
R2PL 2005—Proceedings of the First International Workshop on Reengineering Towards Product Lines
http://www.sei.cmu.edu/publications/documents/06.reports/06sr002.html

Hayes, W.; Miluk, G.; Ming, L.; Glover, M.; Members of the SCAMPI B and C Project
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

Hissam, S.; Moreno, G.; & Wallnau, K.
Using Containers to Enforce Smart Constraints for Performance in Industrial Systems
http://www.sei.cmu.edu/publications/documents/05.reports/05tn040.html

Humphrey, W.
Safety-Critical Systems and the TSP
http://www.sei.cmu.edu/publications/documents/05.reports/05tn011.html

Ivers, J.
Lessons Learned Model Checking an Industrial Communications Library
http://www.sei.cmu.edu/publications/documents/05.reports/05tn039.html

Kasunic, M.
Designing an Effective Survey
http://www.sei.cmu.edu/publications/documents/05.reports/05hb004.html

Kazman, R. & Bass, L.
Categorizing Business Goals for Software Architectures
http://www.sei.cmu.edu/publications/documents/05.reports/05tr021.html

Keeler, K.
U.S. Army Acquisition – The Program Office Perspective
http://www.sei.cmu.edu/publications/documents/05.reports/05sr014.html

Lapham, M.
Specifying Initial Design Review (IDR) and Final Design Review (FDR) Criteria
http://www.sei.cmu.edu/publications/documents/06.reports/06tn023.html

Lapham, M. & Woody, C.
Sustaining Software-Intensive Systems
http://www.sei.cmu.edu/publications/documents/06.reports/06tn007.html

Lee, J. & Bass, L.
Elements of a Usability Reasoning Framework
http://www.sei.cmu.edu/publications/documents/05.reports/05tn030.html

Levinson, H. & O'Brien, L.
Acquiring Evolving Technologies: Web Services Standards
http://www.sei.cmu.edu/publications/documents/06.reports/06tn001.html

Lewis, G.; Meyers, B.; & Wallnau, K.
Workshop on Model-Driven Architecture and Program Generation
http://www.sei.cmu.edu/publications/documents/06.reports/06tn031.html

Lewis, G.; Morris, E.; O’Brien, L.; Smith, D.; & Wrage, L.
SMART: The Service-Oriented Migration and Reuse Technique
http://www.sei.cmu.edu/publications/documents/05.reports/05tn029.html

Lewis, G. & Wrage, L.
Model Problems in Technologies for Interoperability: Web Services
http://www.sei.cmu.edu/publications/documents/06.reports/06tn021.html

Lipson, H.
Evolutionary Systems Design: Recognizing Changes in Security and Survivability Risks
http://www.sei.cmu.edu/publications/documents/06.reports/06tn027.html

Marz, T.
Integrated Diagnostics: Operational Missions, Diagnostic Types, Characteristics, and Capability Gaps
http://www.sei.cmu.edu/publications/documents/05.reports/05tn035.html

May, C.; Hammerstein, J.; Mattson, J.; & Rush, K.
Defense-in-Depth: Foundations for Secure and Resilient Enterprises
http://www.sei.cmu.edu/publications/documents/06.reports/06hb003.html

McGregor, J.
Preparing for Automated Derivation of Products in a Software Product Line
http://www.sei.cmu.edu/publications/documents/05.reports/05tr017.html

Mead, N.; Hough, E.; & Stehney II, T.
Security Quality Requirements Engineering
http://www.sei.cmu.edu/publications/documents/05.reports/05tr009.html

Metcalf, C. & Lewis, G.
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

Meyers, B.; Smith, J.; Capell, P.; & Place, P.
Requirements Management in a System-of-Systems Context: A Workshop
http://www.sei.cmu.edu/publications/documents/06.reports/06tn015.html

Müller, H.; O'Brien, L.; Klein, M.; & Wood, W.
Autonomic Computing
http://www.sei.cmu.edu/publications/documents/06.reports/06tn006.html

Nolan, R.; Baker, M.; Branson, J.; Hammerstein, J.; Rush, K.; Waits, C.; & Schweinsberg, E.
First Responders Guide to Computer Forensics: Advanced Topics
http://www.sei.cmu.edu/publications/documents/05.reports/05hb003.html

Nolan, R.; O’Sullivan, C.; Branson, J.; & Waits, C.
First Responders Guide to Computer Forensics
http://www.sei.cmu.edu/publications/documents/05.reports/05hb001.html

Nord, R.
Proceedings of the Second Software Architecture Technology User Network (SATURN) Workshop
http://www.sei.cmu.edu/publications/documents/05.reports/06tr010.html

Nord, R.; Bass, L.; Clements, P.; Northrop, L.; Tomayko, J.
Proceedings of the First Software Architecture Technology User Network (SATURN) Workshop
http://www.sei.cmu.edu/publications/documents/05.reports/05tn037.html

Novak, W.; Cohen, J.; Lattanze, A.; Levine, L.; Place, P.; Williams, R.; & Woody, C.
Software Acquisition Planning Guidelines
http://www.sei.cmu.edu/publications/documents/05.reports/05hb006.html

SCAMPI Upgrade Team
Appraisal Requirements for CMMI, Version 1.2 (ARC, V1.2)
http://www.sei.cmu.edu/publications/documents/06.reports/06tr011.html

SCAMPI Upgrade Team
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

Schoedel, R.
PROxy Based Estimation (PROBE) for Structured Query Language (SQL)
http://www.sei.cmu.edu/publications/documents/06.reports/06tn017.html

Siviy, J.; Penn, M.; & Harper, E.
Relationships Between CMMI and Six Sigma
http://www.sei.cmu.edu/publications/documents/05.reports/05tn005.html

Sledge, C.
Information Assurance: Building Educational Capacity
http://www.sei.cmu.edu/publications/documents/06.reports/06sr007.html

Smith II, J. & Meyers, B.
Exploring Programmatic Interoperability: Army Future Force Workshop
http://www.sei.cmu.edu/publications/documents/05.reports/05tn042.html

Ward, M.; Elm, J.; & Kushner, S.
Techniques for Developing an Acquisition Strategy by Profiling Software Risks
http://www.sei.cmu.edu/publications/documents/06.reports/06tr002.html

Weinstock, C. & Goodenough, J.
On System Scalability
http://www.sei.cmu.edu/publications/documents/06.reports/06tn012.html

Woody, C.
Applying OCTAVE: Practitioners Report
http://www.sei.cmu.edu/publications/documents/06.reports/06tn010.html