default search action
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 - Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer:
Combining abductive reasoning and inductive learning to evolve requirements specifications. 25-38 - Robert 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 - Marc L. Smith, Rebecca J. Parsons, Charles 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 - Keith 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 - 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 - Douglas J. Brear, Thibaut Weise, Tim Wiffen, Kwok Cheung Yeung, Sarah A. M. Bennett, Paul H. J. Kelly:
Search strategies for Java bottleneck location by dynamic instrumentation. 235-242 - Hélène 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 - Petri Kettunen:
Managing embedded software project team knowledge. 359
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.