275467
9780120121588
This volume describes various approaches towards software dependability: development measurability; transformation oriented programming; bounded model checking; GUI testing; and the evolution of the various security policies that ensure appropriate secure behaviour.Zelkowitz, Marvin is the author of 'Advances in Computers Highly Dependable Software' with ISBN 9780120121588 and ISBN 0120121581.
[read more]