default search action
Software Engineering - IEE Proceedings, 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 J. 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
Usability requirements as specification constrains: an example of WYSIWYG. 101-110 - Tracy Hall, David Wilson:
Views of software quality: a field report. 111-118 - Juan Bicarregui
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 L. 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 - Tsong Yueh Chen, Yuen-Tak 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 J. 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
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.
last updated on 2024-12-08 01:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: