Computer Journal

Capsule Reviews
pp. 277-279(3)
Author: Kamareddine, Fairouz

Heuristic-Guided Abstraction Refinement
pp. 280-287(8)
Authors: He, Fei; Song, Xiaoyu; Gu, Ming; Sun, Jiaguang

Metrics to Evaluate the Use of Object Oriented Frameworks
pp. 288-304(17)
Authors: e Silva, Ricardo Pereira; Freiberger, Evandro Csar

On Formalizing and Normalizing Role-Based Access Control Systems
pp. 305-325(21)
Authors: Power, David; Slaymaker, Mark; Simpson, Andrew

Serum Proteomic Abnormality Predating Screen Detection of Ovarian Cancer
pp. 326-333(8)
Authors: Gammerman, Alex; Vovk, Volodya; Burford, Brian; Nouretdinov, Ilia; Luo, Zhiyuan; Chervonenkis, Alexey; Waterfield, Mike; Cramer, Rainer; Tempst, Paul; Villanueva, Josep; Kabir, Musarat; Camuzeaux, Stephane; Timms, John; Menon, Usha; Jacobs, Ian

Test Selection for Hierarchical and Communicating Finite State Machines
pp. 334-347(14)
Author: Ipate, Florentin

UML Modeling of User and Database Interaction
pp. 348-367(20)
Authors: Almendros-Jimnez, Jess M.; Iribarne, Luis

Tournament Coding of Integer Sequences
pp. 368-377(10)
Author: Teuhola, Jukka

An Appreciation of Dina St Johnston (19302007) Founder of the UK's First Software House
pp. 378-387(10)
Author: Lavington, Simon

Appreciation of Professor Colin Tully (19362007): Professor of Software Practice, Middlesex University
pp. 388-391(4)