![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.