- Formalising Design Patterns in Predicate Logic Ian Bayley and Hong Zhu
- Developing Formal Specifications of MAS in SLABS --A Case Study of Evolutionary Multi-Agent Ecosystem
- On The Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic
- Generating Structurally Complex Test Cases by Data Mutation: A Case Study of Testing an Automated Modelling Tool
- Call-For-Papers Special Issue on Software Modelling
- A methodology of testing high-level Petri nets Hong Zhua,*, Xudong Heb
- Assuring quality of web-based applications The Internet is rapidly expanding into all sectors of our
- Testing Software Modelling Tools Using Data Mutation Dept. of Computer Sci, National Univ. of Defence Tech,
- Algebraic Specification of Web Services Department of Computing and Electronics,
- Formalising Design Patterns in Predicate Logic Software Engineering and Formal Methods '07
- Specifying Behavioural Features of Design Patterns in First Order Logic
- Int. J. Computer Applications in Technology, Vol. 31, Nos. 1/2, 2008 17 Copyright 2008 Inderscience Enterprises Ltd.
- NASAC'2002, H ZHU 2002-10-8 Web +
- Formal Specification of the Variants and Behavioural Features of Design Patterns
- A Framework for Agent-based Service-Oriented Modelling School of Electronics Engineering and Computer Science, Peking University
- Agent-Oriented Modelling and Specification of Web Services Hong Zhu Lijun Shan
- The Role of Castes in Formal Specification of MAS School of Computing and Mathematical Sciences, Oxford Brookes University
- Specifying Behavioural Features of Design Patterns Ian Bayley and Hong Zhu
- A Formal Specification Language for Agent-Oriented Software Engineering
- WELL-FORMEDNESS, CONSISTENCY AND COMPLETENESS OF GRAPHIC MODELS
- H ZHU 2002-9-22 Web
- 8th International Conference on Quality Software Oxford, UK, August 1213, 2008
- Semantics of Metamodels in UML Dept of Comp. Sci., National Univ. of Defence Tech.,
- The First International Workshop on Automation of Software Test (2006) Provisional Programme (revised)
- AConfiguration Management System Supporting ComponentBased Software Development
- List of Accepted Papers #01: Junhua Ding, Peter J. Clarke, Gonzalo Argote-Garcia and Xudong He. Evaluating Test Adequacy
- Formal Specification of Design Patterns as Structural Properties
- The First International Workshop on Automation of Software Test Department of Computing
- Modelling Cooperative Multi-Agent Systems Lijun Shan Hong Zhu
- International Journal of System and Process Modeling, Vol. #, No.#, 2005 1 Modelling Web Services in the
- Paper ID# Authors Title Chen Zhao, Yunzhi Xue, Qiuming Tao, Liang
- An Experimental Study of the Emergent Behaviors of Self-Organized Agent Communities
- H. Zhu, Formal Reasoning of Emergent Behaviour (to appear in Proc. of SEKE'05) 21/04/2005 Formal Reasoning about Emergent Behaviours of Multi-Agent Systems
- H Zhu, Validating Algebraic Class Testing in Final Algebra January 16, 2002 Validating Algebraic Class Testing in Final Algebra
- Tool Support for Design Pattern Recognition at Model Level , Ian Bayley1
- Algebraic Specification of Web Services Department of Computing and Electronics,
- CAMLE: A Caste-Centric Agent-Oriented Modeling Language and Environment Lijun Shan Hong Zhu
- On The Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic
- A Theory of Testing High-Level Petri Nets Hong Zhu Xudong He
- NNavigability Design and Measurement Oxford Brookes University, UK
- Caste: A Step Beyond Object Orientation Hong Zhu and David Lightfoot
- A Formal Specification Language for Agent-Oriented Software Engineering Department of Computing, School of Technology, Oxford Brookes University
- Technical Report CMS-TR-02-01, Oxford Brookes Univ., April 2002 Developing Formal Specifications of MAS in SLABS
- The First Brookes Interdisciplinary Workshop Safety Technology
- Consistency Check in Modelling Multi-Agent Systems Lijun Shan Hong Zhu
- 3rd International Conference on Self-Organization and Autonomous Systems in Computing and Communications (SOAS'2007)
- On the Semantics of Nested Datatypes Clare Martin Jeremy Gibbons
- Formal Specification of Agent Behaviour through Environment Scenarios
- Application of Hazard Analysis to Quality Modelling H. Zhu, at al. 05/02/02 Application of Hazard Analysis to Software Quality Modelling
- MEASURING THE TIMELINESS OF WEBSITES Yanlong Zhang, Qingning Huo, Lu Zhang, Hong Zhu and Sue Greenwood
- Agent Oriented Programming based on SLABS Ji Wang and Rui Shen
- Behaviour Observation in Software Testing 20/08/99 A Theory of Behaviour Observation in Software Testing
- 23 August 2001 Submitted to International Journal of SEKE (Revised) 1
- Laws of Pattern Composition Hong Zhu and Ian Bayley
- Automated Testing EJB Components Based on Algebraic Specifications Liang Kong(2)
- The 3rd International Conference on Complex Distributed Systems Leipzig, Germany, 25 March 2009
- An Experiment with Algebraic Specifications of Software Components
- An Observational Theory of Integration Testing for Component-Based Software Development
- Software requirements validation via task analysis Hong Zhua,*, Lingzi Jinb
- Important Dates: Submission: July 20, 2011
- An Intelligent Broker Approach to Semantics-based Service Composition Yufeng Zhang
- Collaborative Testing of Web Services Hong Zhu, Member, IEEE CS, and Yufeng Zhang
- A Formal Language of Pattern Compositions Ian Bayley and Hong Zhu
- An Experiment with Algebraic Specifications of Software Components
- A FORMAL DESCRIPTIVE SEMANTICS OF UML AND ITS APPLICATIONS
- Software Verification and Validation1 David Kung, University of Texas at Arlington, USA
- MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES
- Ontology for Service Oriented Testing of Web Services Yufeng Zhang
- A Formal Descriptive Semantics of UML Lijun Shan1
- On the Composition of Design Patterns Ian Bayley and Hong Zhu
- Specifying Behavioural Features of Design Patterns in First Order Logic Ian Bayley and Hong Zhu
- Abstract--Adaptive random testing (ART) techniques have been proposed in the literature to improve the effectiveness of
- Testing Java Components Based on Algebraic Specifications , Liang Kong(1)
- A Formal Approach to the Engineering of Emergence and its Recurrence Martin Randles(1)
- Tool Support to Model-based Quality Analysis of Software Architecture Qian Zhang, Jian Wu Hong Zhu
- Automated Analysis of Software Designs with Graphic Quality Models Department of Computer Science
- Empirical Validation of Website Timeliness Measures Yanlong Zhang,(1, 2)
- DEVELOPING A SOFTWARE TESTING ONTOLOGY 1 Running head: DEVELOPING A SOFTWARE TESTING ONTOLOGY
- R. Choren et al. (Eds.): SELMAS 2004, LNCS 3390, pp. 144161, 2005. Springer-Verlag Berlin Heidelberg 2005
- A Methodology of Component Integration and Xudong He2
- Formal Specification of Web Services in SLABS Hong Zhu, et al. 6/20/2004 Agent-Oriented Formal Specification of Web Services
- Cooperative Agent Approach to Quality Assurance and Testing Web Software Dept. of Computing, Oxford Brookes University
- Modelling and Specifying Scenarios and Agent Behaviour Lijun Shan Hong Zhu
- A Note on Test Oracles and Semantics of Algebraic Specifications Department of Computing, School of Technology, Oxford Brookes University
- Formal Specification of Evolutionary Software Agents Dept of Computing, Oxford Brookes Univ., Wheatley Campus, Oxford OX33 1HX, UK
- Collaborative Testing of Web Services Hong Zhu, Member, IEEE CS, and Yufeng Zhang
- Under consideration for publication in Formal Aspects of Computing Disciplined, efficient, generalised folds
- Constructions of Behaviour Observation Schemes in Software Testing School of Computing and Mathematical Sciences
- Automating Scenario-Driven Structured Requirements Engineering School of Computing and Mathematical Sciences,
- 8th International Conference on Quality Software
- 8th International Conference on Quality Software Oxford, UK, August 1213, 2008
- A Virtual Machine for Distributed Agent-Oriented Programming School of Computer, National Univ. of Def. Tech.
- Tool support of orderly transition from informal to formal descriptions in
- Caste-Centric Modelling of Multi-Agent Systems: The CAMLE Modelling Language
- Website Complexity Metrics for Measuring Navigability Yanlong Zhang, (1,2)
- A Formal Specification Language for MAS Engineering School of Computing and Mathematical Sciences
- Specifying Consistency Constraints for Modelling Languages Lijun Shan Hong Zhu
- A Formal Language of Pattern Compositions Ian Bayley and Hong Zhu
- A Multi-Agent Software Environment for Testing Web-based Applications Qingning Huo Hong Zhu and Sue Greenwood
- A Framework for Service-Oriented Testing of Web Services Department of Computing, Oxford Brookes University, Oxford OX33 1HX, UK
- Developing Formal Specifications of MAS in SLABS --A Case Study of Evolutionary Multi-Agent Ecosystem
- The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents Xinjun Mao1
- Parallel Compression Checkpointing for Socket-Level Heterogeneous Systems Yongpeng LIU, Hong ZHU, Yongyan LIU, Feng WANG and Baohua FAN
- An Intelligent Broker Approach to Semantics-based Service Composition Yufeng Zhang
- Front. Comput. Sci., 20xx, x(x) DOI 10.1007/s11704-009-0000-0
- Int J Software Informatics, Vol.X, No.X, February 2011, pp. xxx-xxx E-mail: ijsi@iscas.ac.cn International Journal of Software and Informatics, ISSN 1673-7288 http://www.ijsi.org
- Parallel Compression Checkpointing for Socket-Level Heterogeneous Systems Yongpeng LIU, Hong ZHU, Yongyan LIU, Feng WANG and Baohua FAN
- Unifying Domain Ontology with Agent-Oriented Modeling of Services Key Lab. of High Confidence Software Tech.
