Journal: IEE Proceedings - Software

Volume 3, Issue 6

214 -- 222Pete Sawyer, Ian Sommerville. Direct manipulation of an object store
223 -- 228Daoris L. Carver. Comparison of the effect of development paradigms on increases in complexity
229 -- 239P. David Coward. Symbolic execution systems-a review
240 -- 246Albert Alderson. A space-efficient technique for recording versions of data
248 -- 256David B. Arnold, Graham J. Reynolds. Configuring graphics systems components
257 -- 262Anthony D. Gray, Alistair C. Kilgour, Catherine A. Wood. Dynamic reconfigurability for fast prototyping of user interfaces
263 -- 268Peter Robinson. A model for graphical interaction
443 -- 444Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, William J. Knottenbelt. Performance engineering - editorial
445 -- 457Marijn R. Jongerden, Boudewijn R. Haverkort. Which battery model to use?
458 -- 469Yuan Chen, Fei Xia, Delong Shang, Alexandre Yakovlev. Fine-grain stochastic modelling of dynamic power management policies and analysis of their power - latency tradeoffs
470 -- 479Richard G. Clegg, Raul Landa, David Griffin, Eleni Mykoniati, Miguel Rio. Performance of locality-aware topologies for peer-to-peer live streaming
480 -- 494Levente Bodrog, Gábor Horváth, C. Vulkan. Analytical TCP throughput model for high-speed downlink packet access
495 -- 508Allan Clark, Stephen Gilmore. Transient calculations on process algebra derived Markov chains
509 -- 521Simon D. Hammond, Gihan R. Mudalige, J. A. Smith, J. A. Davis, A. B. Mills, Stephen A. Jarvis, J. Holt, I. Miller, J. A. Herdman, A. Vadgama. Performance prediction and procurement in practice: assessing the suitability of commodity cluster components for wavefront codes

Volume 3, Issue 5

142 -- 148Animesh Mukherjee, Jeff Kramer, Jeff Magee. A distributed file server for embedded applications
149 -- 160Sunil Vadera. A theory of unification
161 -- 170D. C. Robinson, M. S. Sloman. Domain-based access control for distributed computing systems
172 -- 176K. Geary. The practicalities of introducing large-scale software re-use
177 -- 183M. F. Bott, Peter J. L. Wallis. Ada and software re-use
186 -- 197Anthony Finkelstein. Re-use of formatted requirements specifications
198 -- 207Murray Wood, Ian Sommerville. An information retrieval system for software components
208 -- 212J. W. Hutchinson, P. G. Hindley. A preliminary study of large-scale software re-use
337 -- 338Maria Teresa Baldassarre, Giuseppe Visaggio, S. Linkman. Evaluation and assessment in software engineering [Editorial]
339 -- 355Karl Cox, Mahmood Niazi, June M. Verner. Empirical study of Sommerville and Sawyer s requirements engineering practices
356 -- 368D. Greer, Reidar Conradi. Software project initiation and planning - an empirical study
369 -- 380Valerie Maxville, Jocelyn Armarego, Chiou Peng Lam. Applying a reusable framework for software selection
381 -- 394Andrea De Lucia, Fausto Fasano, Giuseppe Scanniello, Genny Tortora. Evaluating distributed inspection through controlled experiments
395 -- 409Lerina Aversano, Luigi Cerulo, Massimiliano Di Penta. Relationship between design patterns defects and crosscutting concern scattering degree: an empirical study
410 -- 421David Budgen, John Bailey, Mark Turner, Barbara A. Kitchenham, Pearl Brereton, Stuart M. Charters. Cross-domain investigation of empirical practices
422 -- 434Chris Lokan, Emilia Mendes. Investigating the use of chronological split for software effort estimation
435 -- 441Stein Grimstad, Magne Jørgensen. Preliminary study of sequence effects in judgment-based software development work-effort estimation

Volume 3, Issue 4

114 -- 118David W. Bustard, Mark T. Norris, Rodney A. Orr. A pictorial approach to the animation of process-oriented formal specifications
119 -- 126Peter Robinson, Mick Jordan. A programming environment for Modula-2
127 -- 133S. Joosten. Functional system specification
134 -- 140David N. Wilson, Mark J. Sifer. Structured planning-project views
255 -- 263O. Aloquili, A. Elbanna, A. Al-Azizi. Automatic vehicle location tracking system based on GIS environment
264 -- 275M. P. S. Bhatia, Akshi Kumar. Contextual paradigm for ad hoc retrieval of user-centric web data
276 -- 291Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, Paola Spoletini. Towards automated verification of layered graph transformation specifications
292 -- 311Abhishek Rohatgi, Abdelwahab Hamou-Lhadj, Juergen Rilling. Approach for solving the feature location problem by measuring the component modification impact
312 -- 320Nazir Ahmad Zafar. Formal specification and validation of railway network components using Z notation
321 -- 336Mariano Ceccato, Paolo Tonella. Dynamic aspect mining

Volume 3, Issue 3

78 -- 85L. A. Crutcher, M. H. Barton. Implementing SDL in occam
86 -- 96Jeff Kramer, Keng Ng, Colin Potts, Ken Whitehead. Tool support for requirements analysis
97 -- 111D. L. Clutterbuck, B. A. Carre. The verification of low-level code
165 -- 166Thomas Cleenewerck, Jacques Noyé. Editorial domain specific aspect languages
167 -- 183J. White, D. C. Schmidt. Automating deployment planning with an aspect weaver
184 -- 200Damijan Rebernak, Marjan Mernik, Hui Wu, Jeffrey G. Gray. Domain-specific aspect languages for modularising crosscutting concerns in grammars
201 -- 218Michael Haupt, Celina Gibbs, Bram Adams, Stijn Timbermont, Yvonne Coady, Robert Hirschfeld. Disentangling virtual machine architecture
219 -- 237Günter Kniesel, Victor L. Winter, Harvey P. Siy, Mansour Zand. Making aspect-orientation accessible through syntax-based language composition
238 -- 254Johan Fabry, Éric Tanter, Theo D Hondt. Infrastructure for domain-specific aspect languages: the relax case study

Volume 3, Issue 2

30 -- 36M. Shepperd. A critique of cyclomatic complexity as a software metric
37 -- 46T. F. Lunney, Ronald H. Perrott. Syntax-directed editing
47 -- 52P. T. Wilkinson, J. A. Bouchard, B. A. Byrne, Michael A. Hennell, P. Jackson, G. O'Neill, Graeme I. Parkin, Brian A. Wichmann. A prototype system for the validation of Pascal programs
53 -- 56Darrel C. Ince, Sharam Hekmatpour. An approach to automated software design based on product metrics
57 -- 63Eli Naphtali, Michael Rich. Some practical considerations regarding an ADT-obsessed design
64 -- 68D. Crookes. Translation as a language implementation technique for supercomputers
67 -- 68Itana Maria de Souza Gimenes, M. Mendonca. Editorial: Selected papers from SBES 07
69 -- 76M. Holcombe. X-machines as a basis for dynamic system specification
69 -- 90A. Correa, C. Werner, M. Barros. Refactoring to improve the understandability of specifications written in object constraint language
91 -- 105Adenilso da Silva Simão, Alexandre Petrenko, José Carlos Maldonado. Comparing finite state machine test
106 -- 123Tayana Uchôa Conte, Jobson Luiz Massolar da Silva, Emilia Mendes, Guilherme Horta Travassos. Web usability inspection technique based on design perspectives
124 -- 139Rodrigo B. de Paes, G. Carvalho, Carlos José Pereira de Lucena, Ricardo Choren. Interaction laws for dependability explicit computing in open multi-agent systems
140 -- 153Donal Heffernan, Shehryar Shaheen, C. Watterson. Monitoring embedded software timing properties with an SoC-resident monitor
154 -- 164W. Zhao, H. Zhang. Proactive service migration for long-running Byzantine fault-tolerant systems

Volume 3, Issue 1

0 -- 0C. B. Jones. Theorem proving and software engineering
1 -- 13Derrick G. Kourie, D. Fick, Bruce W. Watson. Virtual machine framework for constructing domain-specific languages
3 -- 27Peter A. Lindsay. A survey of mechanical support for formal reasoning
14 -- 25Víctor López-Jaquero, Francisco Montero, Pascual González. AB-HCI: an interface multi-agent system to support human-centred computing
26 -- 36L. Yu, S. Ramaswamy. Measuring the evolutionary stability of software systems: case studies of Linux and FreeBSD
37 -- 45L. Robert, R. Nadarajan. Simple lossless preprocessing algorithms for text compression
46 -- 57Jehad Al-Dallal. Software similarity-based functional cohesion metric
58 -- 66L. G. Thomas, Stephen R. Schach, Gillian Z. Heller, Jeff Offutt. Impact of release intervals on empirical research into software evolution, with application to the maintainability of Linux