Journal: Softw. Test., Verif. Reliab.

Volume 7, Issue 2

67 -- 68Martin R. Woodward. Editorial: Research publication standards - making the right judgements
69 -- 98R. Iorgulescu, Rudolph E. Seviora. A Method for Continuous Real-Time Supervision
99 -- 128Fraser MacDonald, James Miller. A Software Inspection Process Definition Language and Prototype Support Tool
129 -- 130Hélène Waeselynck. Specification in B: An Introduction Using the B Toolkit, by Kevin Lano and Howard Haughton, Imperial College Press, distributed by World Scientific Publishing, 1996 (Book Review)
130 -- 132R. W. Whitty. Software Inspection: An Industry Best Practice, by David A. Wheeler, Bill Brykczynski and Reginald N Meeson, Jr., IEEE Computer Society, 1996 (Book Review)