Software Engineering Institute's Second Workshop on Predictable Assembly: Landscape of Compositional Predictability

摘要

To further its work in predictable assembly focusing on compositional reasoning techniques, the Software Engineering Institute (SEI(SM)) held its second Predictable Assembly from Certifiable Components (PACC) Workshop on January 10-11, 2003. Six leading researchers in component-based software engineering were invited to discuss topics related to compositional reasoning with members of the SEI technical staff. During the workshop, participants articulated the current state of research, identified gaps in the available technology, and set the direction for future efforts.