Hong Zhu, Sue Greenwood, Qingning Huo, Yanlong Zhang  Home/Search
Context
Related
| wwwcms.brookes.ac.uk...CMSTR0007.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wwwcms.brookes.ac.uk/techrepor... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The emergence of agent-oriented information systems imposes a great challenge to the current theories and methods of software quality management. The difficulties in the development of quality information systems are not only due to the openness of the environment, the diversity of platforms, the vast volume of distributed information in diverse formats, and the complicated combination of data and program, but also the dynamic lifecycles of such systems. In the paper, we report work in... (Update)
Active bibliography (related documents): More All
2.0: A Theory of Testing High Level Petri Nets - Zhu, He (2000) (Correct)
1.6: A Theory of Behaviour Observation in Software Testing - Zhu (1999) (Correct)
0.5: Verification of Process Conformance in Empirical Studies of.. - Sorumgard (1997) (Correct)
Similar documents based on text: More All
0.3: Embedding Logics in the Local Computation - Nic Wilson And (Correct)
0.2: Developing Formal Specifications of MAS in SLABS - A Case Study of.. - Zhu (Correct)
0.2: The Limits of Input-Queued Switch Performance with Future.. - Brown, Gabow (Correct)
BibTeX entry: (Update)
@misc{ zhu-towards,
author = "Hong Zhu and Sue Greenwood and Qingning Huo and Yanlong Zhang",
title = "Towards Agent-Oriented Quality Management of Information Systems",
url = "citeseer.ist.psu.edu/395986.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1995
689 Systematic Software Development using VDM - Jones - 1990
404 Agents that reduce work and information overload (context) - Maes - 1994
322 A spiral model for software development and enhancement (context) - Boehm - 1988
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning et al. - 1993
147 Software metrics -- A rigorous approach (context) - Fenton - 1991
116 Capability Maturity Model for Software - Paulk - 1993
82 Algebraic Semantics of Imperative Programs (context) - Goguen, Malcolm - 1997
72 Agent Technology: Foundations (context) - Jennings, Wooldridge - 1998
61 Software unit test coverage and adequacy (context) - Zhu, Hall et al. - 1997
48 Characteristics of software quality (context) - Boehm - 1978
37 factors in Software Quality (context) - McCall - 1977
35 Axiomatizing software test data adequacy (context) - Weyuker - 1986
33 International Thomson Computer Press (context) - Gillies - 1997
31 The evaluation of program-based software test data adequacy .. (context) - Weyuker - 1988
21 Prentice Hall International Series in Computer Science (context) - Davies, Woodcock et al. - 1996
18 Cooperative information systems: A Manifesto (context) - De Michelis, Dubois et al. - 1997
13 Foundations of software measurement (context) - Shepperd - 1995
12 A formal analysis of the subsume relation between software t.. (context) - Zhu - 1996
12 Analysis and refinement of software test data adequacy prope.. (context) - Parrish, Zweben - 1991
10 Rapid Application Development (context) - Martin - 1991
9 IEEE Intelligent Systems (context) - Hearst - 1998
8 Software development process models (context) - McDermid, Rook - 1993
7 Towards Agent-Oriented Information Systems - Wagner - 1999
6 Test data adequacy measurement (context) - Zhu, Hall - 1993
5 Axiomatic assessment of control flow based software test ade.. (context) - Zhu - 1995
3 A theory of testing high level Petri nets - Zhu, He - 2000
3 A formal interpretation of software testing as inductive inf.. (context) - Zhu - 1996
3 Understanding software test adequacy -- An axiomatic and mea.. (context) - Zhu, Hall et al. - 1995
3 Clarifying Some fundamental Concepts in Software Testing (context) - Parrish, Zweben - 1993
2 A theory of behaviour observation in software testing - Zhu, He - 1999
2 What does product quality mean (context) - Garvin - 1984
2 Hypermedia information management: a new paradigm (context) - Crowder, Wills et al. - 1998
1 Testing hypertext for quality assurance (context) - Jin, Zhu et al. - 1995
1 Information systems quality versus software quality -- A dis.. - Von Hellens - 1997
1 Effective methods for EDP quality assurance (context) - Perry - 1987
1 Encyclopedia of Mathematics and its applications (context) - Roberts - 1979
1 A Generic Multi-Agent Adaptive Interface for Information Man.. (context) - Greenwood, Marshall - 1997
1 The Application of Mobile Agents to Software Testing (context) - Greenwood, Chen et al. - 1998
1 Adequate testing of hypertext applications (context) - Jin, Zhu et al. - 1997
1 VISITOR: a Java-based Infrastructure for Mobile Agent Comput.. (context) - Greenwood, Chen - 1998
1 Software testing with mobile agents (context) - Greenwood, Chen et al. - 1999
Documents on the same site (http://wwwcms.brookes.ac.uk/techreports/): More
On a mixed Neumann-Robin boundary value problem in.. - Ciulli, Ispas.. (2000) (Correct)
Singularities in Geoelectric Impedance Tomography - Pidcock (2000) (Correct)
Elastic Complex Analysis And Its Applications In Fracture Mechanics - Aparicio (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC