Software Engineering Institute Carnegie Mellon

Annual Report FY 2005

SEI
Annual Report

> > F Y  2 0 0 5

Publications

SEI in the Community

AJ Awards

[2.4 MB PDF download]

Proceedings

Amirijoo, M.; Chaufette, N.; Hansson, J.; & Son, S.
Generalized Performance Management of Multi-Class Teal-Time Imprecise Data Services," Real-Time System Symposium (RTSS), Miami, FL, December 5-8, 2005

Brownsword, L. & Smith, J.
"Using Earned Value Management for COTS-Based Systems: Issues and Recommendations,"
Proceedings of the COTS-Based Software Systems: 4th International Conference (ICCBSS 2005), Bilbao, Spain, February 7-11, 2005

Bass, L.; Golden, E.; & John, B.
"The Value of a Usability-Supporting Architectural Pattern in Software Architecture Design: A Controlled Experiment," Proceedings, ICSE 2005, St Louis, MO

Bass, L. & Hartman, G.
"Logging Events Crossing Architectural Boundaries," Proceedings: INTERACT 2005, September, 2005, Rome, Italy

Beynon, D.
"Interpreting CMMI for Business Development Organizations, 4th Annual CMMI Conference & User Group, Denver, CO, November 15-18, 2004

"Making the BD-CMM Connection with CMMI," Business Development Institute BD-CMM Leadership Conference, Vienna, Virginia, September 30, 2005

Eliot, R.; Martinez-Moyano, I; Conrad, S.; Cappelli, D.; Moore, A.; Shimeall, T.; Andersen, D.;
Gonzalez, J.; Ellison, R.; & Lipson, H.;
"Simulating Insider Cyber-Threat Risks: A Model-Based Case and a Case-Based Model," The 2005 International Conference of the System Dynamics Society, Boston, MA, July 17-21, 2005

Gates, C.; Collins, M.; Duggan, M.; Kompanek, A.; & Thomas, M.
"More NetFlow Tools: For Performance and Security," 18th Large Installation System Administration Conference, Atlanta, GA, November 14-19, 2004

Hofmeister, C.; Kruchten, P.; Nord, R.; Obbink, H.; Ran, A.; America, P.
"Generalizing a Model of Software Architecture Design from Five Industrial Approaches," Working IEEE/IFIP Conference on Software Architecture (WICSA 5), 2005

Levine, L. & Saunders, K.
"Software Patents: Innovation or Litigation?: In Fitzgerald B. & Wynn, E. (Eds.). IT Innovation for Adaptability and Competitiveness, IFIP 8.6 Working Conference on IT Innovation for Adaptability and Competitiveness (pp. 229-242), May 30- June 2, 2004, Leixlip, Ireland

Lewis, G.
"An Approach to Analysis and Design for COTS-Based Systems". Proceedings of the Fourth International Conference on COTS-Based Software Systems (ICCBSS 2005), Bilbao, Spain, February 7-11, 2005

Mead, N.
"Outsourcing and Information Security: What Are the Risks?" Cutter IT Journal 17:10, pp 30-35, October 2004

Chaki, S.; Clarke, E.; Sinha, N.; & Thati, P.
"Automated Assume-Guarantee Reasoning for Simulation Conformance," Proceedings of the 17th International Conference on Computer Aided Verification (CAV), LNCS 3576 (July 2005): 534-547.

Chaki, S.; Ivers, J.; Sharygina, N.; & Wallnau, K.
"The ComFoRT Reasoning Framework," Proceedings of the 17th International Conference on Computer Aided Verification (CAV), LNCS 3576 (July 2005): page 164-169.

Chaki, S.; Clarke, E.; Sharygina, N.; & Sinha, N.
"Dynamic Component Substitutability Analysis," Proceedings of Formal Methods (FM), LNCS 3582 (July 2005): 512-528.

Sledge, Carol A.
“Information Assurance Educational Outreach: Initiatives at the Software Engineering Institute.” Proceedings from the Ninth Annual Colloquium for Information Systems Security Education (CISSE), 6-9 June 2005, Georgia Institute of Technology, Atlanta, GA. ISBN: 1-933510-99-4

Smith, J.
"An Alternative to Technology Readiness Levels for Non-Developmental Item (NDI) Software," Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38), Waikoloa, Hawaii, January 1-6, 2005