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

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 BibTeX
• Chris R. Roast, Jawed I. A. Siddiqi: Usability requirements as specification constrains: an example of WYSIWYG. 101-110 BibTeX
• T. Hall, D. Wilson: Views of software quality: a field report. 111-118 BibTeX
• 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 BibTeX
• Lorenzo Strigini, Felicita Di Giandomenico, Alexander B. Romanovsky: Coordinated backward between client processes and data servers. 134-146 BibTeX

Volume 144, Number 3, June 1997

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

Volume 144, Number 4, August 1997

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

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

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