Building software that is predictable by Construction
John Hunt, John D. McGregor · Journal of computing sciences in colleges · 2009
Predictability by Construction is an effort to provide predictions for quality attributes such as performance during the design process in the same way that type systems allow predictions about aspects of correctness. This workshop introduces participants to the PACC Starter Kit (see: http://www.sei.cmu.edu/pacc/), which supports a state machine paradigm. Tools in the kit support computational theories that can be used to make predictions during design and to analyze the code to determine whether the predictions are correct. We will present classroom-tested exercises that use the kit in software engineering, formal methods, operating system, programming languages and theory of computation courses.