default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware 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, Jawed I. A. Siddiqi:
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, 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 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-11-05 21:04 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:
