IEE Proceedings - Software, Volume 150

Volume 150, Number 1, February 2003

• Allan L. White: Comments on the probability model for the modified condition/decision coverage method of testing software. 3-11
• Nicolas Navet, Jörn Migge: Fine tuning the scheduling of tasks through a genetic algorithm: application to Posix1003.1b compliant systems. 13-24
• Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: Combining abductive reasoning and inductive learning to evolve requirements specifications. 25-38
• R. P. Self, Martin Fleury, Andy C. Downton: Design methodology for construction of asynchronous pipelines with Handel-C. 39-47

Volume 150, Number 2, April 2003

• Adrian E. Lawrence: Extending CSP: denotational semantics. 51-60
• Adrian E. Lawrence: CSP extended: imperative state and true concurrency. 61-69
• M. L. Smith, R. J. Parsons, C. E. Hughes: View-centric reasoning for Linda and Tuple Space computation. 71-83
• Ana Cavalcanti, Jim Woodcock: Predicate transformers in the semantics of Circus. 85-94
• I. East: The Honeysuckle programming language: an overview. 95-107
• Gerald H. Hilderink: Graphical modelling language for specifying concurrency based on CSP. 108-120
• Fred R. M. Barnes, Peter H. Welch: Prioritised dynamic communicating and mobile processes. 121-136
• Kurt Debattista, Kevin Vella, J. Cordina: Wait-free cache-affinity thread scheduling. 137-146
• Kei Simon Pedersen, Brian Vinter: Java PastSet: a structured distributed shared memory system. 147-153
• K. Pugh: Configuration discovery and mapping of a home network. 155-160

Volume 150, Number 3, June 2003

• John A. Clark, José Javier Dolado, Mark Harman, Robert M. Hierons, Bryan F. Jones, M. Lumkin, Brian S. Mitchell, Spiros Mancoridis, K. Rees, Marc Roper, Martin J. Shepperd: Formulating software engineering as a search problem. 161-175
• Tomas Berling, Per Runeson: Evaluation of a perspective based review method applied in an industrial setting. 177-184
• Timothy Lethbridge, Nicolas Anquetil: Comparative study of clustering algorithms and abstract representations for software remodularization. 185-201
• R. L. Engelbrecht, Derrick G. Kourie: Translating smalltalk blocks into Java. 203-211

Volume 150, Number 4, August 2003

• Stephen A. Jarvis: Performance engineering. 213-213
• Darren J. Kerbyson, Adolfy Hoisie, Harvey J. Wasserman:
  Modelling the performance of large-scale systems. 214-222
  
• Robert F. Berry:
  Trends, challenges and opportunities for performance engineering with modern business software. 223-229
  
• Raad S. Al-Qassas, Abdel Elah Al-Ayyoub, Mohamed Ould-Khaoua:
  Bandwidth-efficient routing protocol for mobile ad hoc networks. 230-234
  
• D. J. Brear, T. Weise, T. Wiffen, Kwok Cheung Yeung, Sarah A. M. Bennett, Paul H. J. Kelly:
  Search strategies for Java bottleneck location by dynamic instrumentation. 235-242
  
• Helene N. Lim Choi Keung, Justin R. D. Dyson, Stephen A. Jarvis, Graham R. Nudd:
  Performance evaluation of a grid resource monitoring and discovery service. 243-251
  
• Simon Miles, Juri Papay, Vijay Dialani, Michael Luck, Keith Decker, Terry R. Payne, Luc Moreau:
  Personalised Grid service discovery. 252-256
  
• Demetres D. Kouvatsos, Is-Haka Mkwawa:
  Multicast communication in grid computing networks with background traffic. 257-264
  

Volume 150, Number 5, October 2003

• Werner Vogels:
  Benchmarking the CLI for high performance computing. 266-274
  
• Giuseppe Attardi, Antonio Cisternino:
  Multistage programming support in CLI. 275-282
  
• Luís Veiga, Paulo Ferreira:
  Complete distributed garbage collection: an experience with Rotor. 283-290
  
• Erik Rissanen:
  Server based application level authorisation for Rotor. 291-295
  
• Kapil Vaswani, Y. N. Srikant:
  Dynamic recompilation and profile-guided optimisations for a .NET JIT compiler. 296-302
  
• Frank Piessens, Bart Jacobs, Wouter Joosen:
  Software security: experiments on the .NET common language run-time and the shared source common language infrastructure. 303-307
  
• Piotr Nienaltowski, Volkan Arslan, Bertrand Meyer:
  Concurrent object-oriented programming on .NET. 308-314
  
• Raphael Güntensperger, Jürg Gutknecht:
  Activities and channels: C# language extensions for concurrency control and remote object communication. 315-322
  
• Albrecht Wöß, Markus Löberbauer, Hanspeter Mössenböck:
  Compiler generation tools for C#. 323-328
  
• Nam Tran II, Christine Mingins, David Abramson:
  Design and implementation of assertions for the common language infrastructure. 329-336
  

Volume 150, Number 6, December 2003

• Christopher L. Simons, Ian C. Parmee, P. D. Coward:
  35 years on: to what extent has software engineering design achieved its goals?. 337-350
  
• Oddur Benediktsson, Darren Dalcher:
  Effort estimation in incremental software development. 351-358
  
• P. Kettunen:
  Managing embedded software project team knowledge. 359
  

Last update Tue May 21 18:58:53 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page