IEE Proceedings - Software, Volume 144

Volume 144, Number 1, February 1997

• Divine T. Ndumu, Hyacinth S. Nwana: Research and development challenges for agend-based systems. 2-10
• Nicholas R. Jennings, J. R. Campos: Towards a social level characterisation of socially responsible agents. 11-25
• Michael Wooldridge: Agent-based software engineering. 26-37
• S. C. Laufmann: Towards agent-based software engineering for information-depended enterprise applications. 38-50
• Birgit Burmeister, Afsaneh Haddadi, Guido Matylis: Application of multi-agent systems in traffic and transportation. 51-60
• Edmund H. Durfee, Daniel L. Kiskis, William P. Birmingham: The agent architecture of the Univercity of Michingan Digital Library. 61-71
• Tim Oates, M. V. Nagendra Prasad, Victor R. Lesser: Cooperative information-gathering: a distributed problem-solving approach. 72-88

Volume 144, Number 2, April 1997

• David A. Sewry, Peter G. Clayton, E. P. Wentworth: CCS specification of a Linda behavioural model debugger. 89-100
• Chris R. Roast, Jawed I. A. Siddiqi: Usability requirements as specification constrains: an example of WYSIWYG. 101-110
• T. Hall, D. Wilson: Views of software quality: a field report. 111-118
• Juan Bicarregui, D. L. Clutterbuck, Gavin R. Finnie, Howard P. Haughton, Kevin Lano, H. Lesan, D. W. R. M. Marsh, B. M. Matthews, Michael R. Moulding, A. Richard Newton, Brian Ritchie, T. G. A. Rushton, P. N. Scharbach: Formal methods into practice: case studies in the application of the B method. 119-133
• Lorenzo Strigini, Felicita Di Giandomenico, Alexander B. Romanovsky: Coordinated backward between client processes and data servers. 134-146

Volume 144, Number 3, June 1997

• Haider Ali Ramadhan: Improving the engineering of model tracing based intelligent program diagnosis. 149-161
• Maurizio Morisio, Alexis Tsoukiàs: IusWare: a methodology for the evaluation and selection of software products. 162-174
• Mark d'Inverno, Mark Priestley, Michael Luck: Formal framework for hypertext systems. 175-184
• Harold W. Thimbleby, Peter B. Ladkin: From logic to manuals again. 185-192

Volume 144, Number 4, August 1997

• Alan J. Dix, Tom Rodden, Ian Sommerville: Modelling versions in collaborative work. 195-205
• Peter A. Lindsay: Formal approach to specification and verification of task management in interactive systems. 206-214
• Jawed I. A. Siddiqi, Chris R. Roast: Viscosity as a metaphor for measuring modifiability. 215-223
• Andrew Hussey, David A. Carrington: Comparing the MVC and PAC architectures: a formal perspective. 224-236

Volume 144, Number 5-6, October-December 1997

• Nenad Medvidovic, Richard N. Taylor: Exploiting architectural style to develop a family of applications. 237-248
• Duncan Pemberton, Ian Sommerville: VOCAL: A frame work for test identification and deployment. 249-260
• Xin Chen, Simon Kendal, I. Potts, Peter Smith: Towards an integrated method for hybrid information system development. 261-269
• T. Y. Chen, Y. T. Yu: Optimal improvement of the lower bound performance of partition testing strategies. 271-278
• Barbara A. Kitchenham, John G. Stell: The danger of using axioms in software metrics. 279-285
• Ray Dawson, Ron W. Newsham, B. W. Fernley: Bringing the "real world" of software engineering to univercity undergraduate courses. 287-290
• Robert M. Hierons: testing from semi-independent communicating finite state machines with a slow environment. 291-295