Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures.

K. Suzanne Barber Thomas J. Graser Jim Holt Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures. 341-345 2001 conf/kbse/2001 ASE http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260341abs.htm db/conf/kbse/ase2001.html#BarberGH01