Cloud Computing at the Tactical Edge

This technical note presents a strategy to overcome the challenges of obtaining sufficient computation power to run applications needed for warfighting and disaster relief missions. It discusses the use of...

COVERT: A Framework for Finding Buffer Overflows in C Programs via Software Verification

This report presents COVERT, an automated framework aimed at finding buffer overflows in C programs using state-of-the-art software verification tools and techniques.

Software Product Lines: Report of the 2010 U.S. Army Software Product Line Workshop

This report synthesizes presentations and discussions from a 2010 workshop to discuss product line practices and operational accomplishments.

Evolution of a Software Engineer in a SoS System Engineering World

This presentation was given by Patricia Oberndorf and Carol A. Sledge of the Software Engineering Institute (SEI) on April 6, 2010 at the IEEE Systems Conference in San Diego, CA.

Proceedings of the Workshop on Software Engineering Foundations for End-User Programming (SEEUP 2009)

This report presents the papers that were given at SEEUP 2009, held at the 31st ICSE in Vancouver, British Columbia on May 23, 2009.