External Links

    Journal: IEE Proceedings - Software

    Volume 150, Issue 6

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

    Volume 150, Issue 5

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

    Volume 150, Issue 4

    213 -- 213Stephen A. Jarvis. Performance engineering
    214 -- 222Darren J. Kerbyson, Adolfy Hoisie, Harvey J. Wasserman. Modelling the performance of large-scale systems
    223 -- 229Robert F. Berry. Trends, challenges and opportunities for performance engineering with modern business software
    230 -- 234Raad S. Al-Qassas, Abdel Elah Al-Ayyoub, Mohamed Ould-Khaoua. Bandwidth-efficient routing protocol for mobile ad hoc networks
    235 -- 242D. 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
    243 -- 251Helene N. Lim Choi Keung, Justin R. D. Dyson, Stephen A. Jarvis, Graham R. Nudd. Performance evaluation of a grid resource monitoring and discovery service
    252 -- 256Simon Miles, Juri Papay, Vijay Dialani, Michael Luck, Keith Decker, Terry R. Payne, Luc Moreau. Personalised Grid service discovery
    257 -- 264Demetres D. Kouvatsos, Is-Haka Mkwawa. Multicast communication in grid computing networks with background traffic

    Volume 150, Issue 3

    161 -- 175John 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
    177 -- 184Tomas Berling, Per Runeson. Evaluation of a perspective based review method applied in an industrial setting
    185 -- 201Timothy Lethbridge, Nicolas Anquetil. Comparative study of clustering algorithms and abstract representations for software remodularization
    203 -- 211R. L. Engelbrecht, Derrick G. Kourie. Translating smalltalk blocks into Java

    Volume 150, Issue 2

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

    Volume 150, Issue 1

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