Journal: Comput. J.

Volume 52, Issue 3

277 -- 279Fairouz Kamareddine. Capsule Reviews
280 -- 287Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun. Heuristic-Guided Abstraction Refinement
288 -- 304Ricardo Pereira e Silva, Evandro César Freiberger. Metrics to Evaluate the Use of Object Oriented Frameworks
305 -- 325David J. Power, Mark Slaymaker, Andrew C. Simpson. On Formalizing and Normalizing Role-Based Access Control Systems
326 -- 333Alexander Gammerman, Volodya Vovk, Brian Burford, Ilia Nouretdinov, Zhiyuan Luo, Alexey Ya. Chervonenkis, Mike Waterfield, Rainer Cramer, Paul Tempst, Josep Villanueva, Musarat Kabir, Stephane Camuzeaux, John Timms, Usha Menon, Ian Jacobs. Serum Proteomic Abnormality Predating Screen Detection of Ovarian Cancer
334 -- 347Florentin Ipate. Test Selection for Hierarchical and Communicating Finite State Machines
348 -- 367Jesús Manuel Almendros-Jiménez, Luis Iribarne. UML Modeling of User and Database Interaction
368 -- 377Jukka Teuhola. Tournament Coding of Integer Sequences
378 -- 387Simon H. Lavington. An Appreciation of Dina St Johnston (1930-2007) Founder of the UK s First Software House