IEE Proceedings - Software, Volume 148

Volume 148, Number 1, February 2001

• D. Moreto, Markus Endler: Evaluating composite events using shared trees. 1-10 BibTeX
• Jang-Eui Hong, Doo-Hwan Bae: High-level Petri net for incremental analysis of object-oriented system requirements. 11-18 BibTeX
• N. Petalidis, D. S. Gill: Introducing monitoring events to timed-CSP. 19-29 BibTeX
• Martin Fleury, R. P. Self, Andy C. Downton: Hardware compilation for software engineers: an ATM example. 31-42 BibTeX

Volume 148, Number 2, April 2001

• Huilin Ye, Bruce W. N. Lo: Towards a self-structuring software library. 45-55 BibTeX
• Bor-Yuan Tsai, Simon Stobart, Norman Parrington: Employing data flow testing on object-oriented classes. 56-64 BibTeX
• Judith Bishop, L. Botha: Configuring distributed systems in a Java-based environment. 65-74 BibTeX
• I. Eksin, O. K. Erol: Evolutionary algorithm with modifications in the reproduction phase. 75-80 BibTeX

Volume 148, Number 3, June 2001

• Barbara Kitchenham, Lesley Pickard, Stephen G. MacDonell, Martin J. Shepperd: What accuracy statistics really measure. 81-85 BibTeX
• Lynne Blair, Gordon S. Blair, Anders Andersen, Trevor Jones: Formal support for dynamic QoS management in the development of open component-based distributed systems. 89-97 BibTeX
• Uwe Rastofer, Frank Bellosa: Component-based software engineering for distributed embedded real-time systems. 99-103 BibTeX
• Stephan Herrmann, Mira Mezini: Connectors for bridging mismatches between the components of a software engineering environment. 104-111 BibTeX

Volume 148, Number 4, August 2001

• A. Gill Waters, Peter F. Linington, David H. Akehurst, Pete Utton, Gino Martin: Permabase: predicting the performance of distributed systems at the design stage. 113-121 BibTeX
• Hung-Ying Tyan, Jennifer C. Hou: Rate-based packet scheduling paradigm. 122-134 BibTeX
• Seung Mo Cho, H. H. Kim, Sung Deok Cha, Doo-Hwan Bae: Specification and validation of dynamic systems using temporal logic. 135-140 BibTeX
• Colin Grealish: Formal semantics of an industrially applicable variant of the Specification and Description Language. 141-148 BibTeX

Volume 148, Number 5, October 2001

• Donal Heffernan, A. Bohannon: Real-time design in a distributed control network application layer environment. 149-155 BibTeX
• Awais Rashid, Peter Sawyer: Aspect-orientation and database systems: an effective customisation approach. 156-164 BibTeX

Volume 148, Number 6, December 2001

• Lesley Pickard, Barbara Kitchenham, Stephen G. Linkman: Using simulated data sets to compare data analysis techniques used for software cost modelling. 165-174 BibTeX
• Ian J. Hayes, Colin J. Fidge, Karl Lermer: Semantic characterisation of dead control-flow paths. 175-186 BibTeX