 |  |  Software Process Quality : Management and ControlSoftware presents both an opportunity and a threat. Software runs our lives. The list of applications in which software is a critical component is endless: elevators, airlines, telecommunications, medical devices, education, and countless others. Data from the Software Engineering Institute indicates that approximately 60% of software development... |  |  Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised PapersThis book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006.
The 19 revised full papers presented together with 1 keynote paper, and 2 working group reports were carefully reviewed and... |