277 | -- | 279 | Fairouz Kamareddine. Capsule Reviews |
280 | -- | 287 | Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun. Heuristic-Guided Abstraction Refinement |
288 | -- | 304 | Ricardo Pereira e Silva, Evandro César Freiberger. Metrics to Evaluate the Use of Object Oriented Frameworks |
305 | -- | 325 | David J. Power, Mark Slaymaker, Andrew C. Simpson. On Formalizing and Normalizing Role-Based Access Control Systems |
326 | -- | 333 | Alexander 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 | -- | 347 | Florentin Ipate. Test Selection for Hierarchical and Communicating Finite State Machines |
348 | -- | 367 | Jesús Manuel Almendros-Jiménez, Luis Iribarne. UML Modeling of User and Database Interaction |
368 | -- | 377 | Jukka Teuhola. Tournament Coding of Integer Sequences |
378 | -- | 387 | Simon H. Lavington. An Appreciation of Dina St Johnston (1930-2007) Founder of the UK s First Software House |