|
|
||
10/19/13 |
|
|
List of publications according to the paradigms of software development in which the work is concerned with. The following are the particular SD paradigms: Note:
[139] Iñaki Martinez-Sarriegui, Hong Zhu, et al., Modelling and formal specification of a multiagent telemedicine system for diabetes care, International Conference on Agents and Artificial Intelligence (ICAART'2009), Porto, Portugal, January 19-21, 2009, pp507-512. [124] Lijun Shan and Hong Zhu, Generating Structurally Complex Test Cases by Data Mutation: A Case Study of Testing an Automated Modelling Tool, Special Issue on Automation of Software Test, the Computer Journal. Aug. 2009; Vol. 52, No. 5: pp571-588; doi:10.1093/comjnl/bxm043 (Advance Access June 28, 2007. doi:10.1093/comjnl/bxm043). [137] Zhi Jin and Hong Zhu, An Agent-based Approach for Service-Oriented Modeling, Proc. of The Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE 2008), Dec. 18-19, 2008, Taiwan. [130] Bin Zhou and Hong Zhu, A Virtual Machine for Distributed Agent-Oriented Programming, Proc. of SEKE 2008, Redwood City, San Francisco Bay, USA, July 1 - July 3, 2008, pp729-734. [129] Xinjun Mao, Lijun Shan, Hong Zhu and Ji Wang, An Adaptive Casteship Mechanism for Developing Multi-Agent Systems, Second Special Issue on Agent-Oriented Software Development Methodologies, International Journal of Computer Application in Technology, Vol. 31, Nos. 1/2, 2008, pp17-34. [127] Shufeng Wang, Hong Zhu, An Experimental Study of the Emergent Behaviors of Self-Organized Agent Communities, Proceedings of the 2007 IEEE Congress on Evolutionary Computation (CEC 2007), Singapore, Sept. 25-28, 2007. IEEE CS Press 2007. [125] Zhu, H. and Shan, L., Agent-Oriented Modelling and Specification of Web Services, International Journal of Simulation and Process Modelling, Special Issue on Trustworthy Web Services, Vol. 3, No.1&2, pp26 – 44, August, 2007. [122]
Martin Randles, Hong Zhu and A. Taleb-Bendiab,
A Formal
Approach to the Engineering of Emergence and its Recurrence, Proceedings of The
Second International Workshop on Engineering Emergence in Decentralised
Autonomic Systems (EEDAS 2007), Jacksonville, Florida, USA, June 11, 2007,
pp12-21. Greenwich University Press, [120] Hong Zhu, Shaping the Emerging Paradigm of Agent-Orientation, Editorial of the Special Issue on Agent-Oriented Software Development Methodologies, International Journal of Multi-Agent and Grid Systems, Volume 2, Number 4, Dec. 2006, pp301 – 304. [115] Zhu, H., Towards An Agent-Oriented Paradigm of Information Systems, Handbook of Research on Nature Inspired Computing for Economy and Management, Jean-Philippe Rennard (Ed.), Chapter XLIV, Idea Group Inc. 2006, pp679-691. [114] Lijun Shan, Rui Shen, Ji Wang, Hong Zhu, Caste-centric Development of Agent Oriented Information Systems, Handbook of Research on Nature Inspired Computing for Economy and Management, Jean-Philippe Rennard (Ed.), Chapter XLV, Idea Group Inc. 2006, pp692-707. [112] Xinjun Mao, Zhiming Chang, Lijun Shang, Hong Zhu and Ji Wang, The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents, In Second International Workshop on Agent-oriented Software Development Methodologies (AOSDM’06), in Proc. of SEKE’06, San Francisco, USA, IEEE CS, July, 2006. [108] Wang, J., Shen, R. and Zhu, H., Caste-Centric Agent-Oriented Programming, Proc. of First International Workshop on Integration of Software Engineering and Agent Technology at QSIC’05, Sept. 2005. [107] Wang, J., Shen, R. and Zhu, H., Towards an agent-oriented programming language with caste and scenario mechanisms, Proceedings of AAMAS’05, Utrecht, Netherlands, July 27 - 29, 2005. [105] Wang, J., Shen, R. and Zhu, H., Agent Oriented Programming based on SLABS, Proceedings of COMPSAC’05, Edinburgh, July 25~28, 2005, pp127-132 [104] Zhu, H., Formal Reasoning about emergent behaviour in MAS, Proceedings of SEKE’05, July 14~16, 2005. Taipei, pp280-285 [103] Zhu, H. and Shan, L., Caste-Centric Modelling of Multi-Agent Systems: The CAMLE Modelling Language and Automated Tools, in Beydeda, S. and Gruhn, V. (eds) Model-driven Software Development, Research and Practice in Software Engineering, Vol. II, Springer, 2005, pp57-89. [102] Zhu, H. and Shan, L., Agent-Oriented Modelling and Specification of Web Services, Proc. of Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005) February 2-4, 2005, Sedona, Arizona, USA, pp152-159. [99] Shan, L. and Zhu, H., CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment, in Software Engineering for Multi-Agent Systems III, Ricardo Choren, Alessandro Garcia, Carlos Lucena, and Alexander Romanovsky (eds.), Springer, 2005, pp144-161. [97] Shen, R., Wang, J. and Zhu, H., Scenario Mechanism in Agent-Oriented Programming, in Proc. of APSEC’04. Nov. 2004. [96] Zhu, H., Zhou, B., Xinjun Mao, X., Shan, L. Duce, D., Agent-Oriented Formal Specification of Web Services, in Proc. of International Workshop on Agents and Autonomic Computing and Grid Enabled Virtual Organizations (AAC-GEVO’2004) at the 3rd International Conference on Grid and Cooperative Computing (GCC’2004), Wuhan, China, 21-24 October 2004. [95] Zhu, H. Cooperative Agent Approach to Quality Assurance and Testing Web Software, Proc. of COMPSAC’04 (Workshop papers and Fast Abstracts), the Workshop on Quality Assurance and Testing of Web-Based Applications, Sept. 2004, IEEE CS, Hong Kong,pp110-113. [94] Shan, L. and Zhu, H., Consistency Check in Modeling Multi-Agent Systems, Proc. of COMPSAC’04 Sept., IEEE CS, Hong Kong, pp114-121. [92] Shan, L. and Zhu, H., CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment, Proc. of SELMAS’04 at ICSE’94, May 2004, Edinburgh, UK, IEE 2004, pp66-73. [91] Shan, L., and Zhu, H., Modelling cooperative multi-agent systems, Grid and Cooperative Computing: Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II, ISBN: 3-540-21993-5, Lecture Notes in Computer Science, Springer-Verlag, Volume 3033, April 2004, pp994 – 1001. [90] Shan, L., and Zhu, H., Modelling and specification of scenarios and agent behaviour, in Proc. of IEEE/WIC conference on Intelligent Agent Technology (IAT’03), Halifax, Canada, Oct. 2003, IEEE CS, pp32-38. [89] Yan, Q., Mao, X., Shan, L., Qi, Z. and Zhu, H., Soft gene, role, Agent: MABS learns from sociology, in Proc. of IEEE/WIC conference on Intelligent Agent Technology (IAT’03), Halifax, Canada, Oct. IEEE CS, 2003, pp450-453. [88] Zhu, H., and Lightfoot, D., Caste: A step beyond object orientation, in Modular Programming Languages -- Proc. of JMLC'2003, Aug. 2003, Austria, Boszormenyi, L., and Schojer, P. (eds), LNCS 2789, Springer, 2003, pp59-62. [87] Zhu, H., A formal specification language for agent-oriented software engineering, in Proc. of AAMAS'2003, July, 2003, Melbourne, Australia, pp1174 – 1175. (See Technical Report DoC-TR-03-01 for the full length version of the paper) [86] Zhu, H., Huo, Q., and Greenwood, S., A Multi-Agent Software Environment for Testing Web-based Applications, in Proc. of IEEE COMPSAC'03, Dallas, USA, Nov. 2003. pp210-215. [85] Zhu, H., A Note on Test Oracles and Semantics of Algebraic Specifications, in Proc. of QSIC'03, Dallas, USA, Nov. 2003, pp91-99. [82] Zhu, H., Formal Specification of Evolutionary Software Agents, Proc. ICFEM’2002, Shanghai, China, Oct. 2002, Springer LNCS 2495, Formal Methods and Software Engineering, George, C. and Miao, H., (eds), 2002, pp249~261. [79] Zhu, H., Developing Formal Specifications of Multi-Agent Systems in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem, Proc. of AOIS’2002 at AAMAS’02, Bologna, Italy, 16 July, 2002, pp20~34. [73] Zhu, H., SLABS: A Formal Specification Language for Agent-Based Systems, International Journal of Software Engineering and Knowledge Engineering, Vol. 11. No. 5, pp529~558. Nov. 2001 [71] Zhu, H., The role of caste in formal specification of MAS, Proc. of PRIMA’2001, Springer LNCS 2132, Taipei, Taiwan, July 2001, pp1~15. [67] Zhu, H., A formal specification language for MAS engineering, Proc. of Second International Workshop on Agent-Oriented Software Engineering, May 29, 2001. [64] Zhu, H., Formal Specification of Agent Behaviour through Environment Scenarios, in FAABS 2000, First Goddard Workshop on Formal Approaches to Agent-Based Systems, April 5-7, 2000, NASA Goddard Space Flight Center, April 2000, Springer LNCS 1871, pp263-277. [61] Zhu, H., Greenwood, S., Huo, Q., and Zhang, Y., Towards Agent-Oriented Quality Management of Information Systems, March 2000, Workshop Notes of Second International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2000), at AAAI’2000, Austin, USA, July 30, 2000, pp57~64. [43] Zhu, H. and Jin, L., A specification language of stochastic real-time systems, Proc. SEKE'97, Madrid, Spain, June 1997, pp358~365.
Service-Orientation and Web-based Software [138] Yufeng Zhang and Hong Zhu, Ontology for Service Oriented Testing of Web Services, Proc. of The Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE 2008), Dec. 18-19, 2008, Taiwan. [137] Zhi Jin and Hong Zhu, An Agent-based Approach for Service-Oriented Modeling, Proc. of The Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE 2008), Dec. 18-19, 2008, Taiwan. [117] Hong Zhu, A Framework for Service-Oriented Testing of Web Services, 3rd International Workshop on Quality Assurance and Testing Web-based Applications, Proc. of COMPSAC’06, Sept. 2006, Chicago, USA, pp679-691. [106] Zhang, Y., Zhu, H. and Greenwood, S., Empirical validation of Website Timeliness Metrics, Proceedings of COMPSAC’05, Edinburgh, July 25~28, 2005, pp313-318. [102] Zhu, H. and Shan, L., Agent-Oriented Modelling and Specification of Web Services, Proc. of Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005) February 2-4, 2005, Sedona, Arizona, USA, pp152-159. [101] Zhu, H. and Huo, Q., Developing A Software Testing Ontology in UML for A Software Growth Environment of Web-Based Applications, Chapter IX: Software Evolution with UML and XML, Hongji Yang (ed.). IDEA Group Inc. 2005, pp263-295. [96] Zhu, H., Zhou, B., Xinjun Mao, X., Shan, L. Duce, D., Agent-Oriented Formal Specification of Web Services, in Proc. of International Workshop on Agents and Autonomic Computing and Grid Enabled Virtual Organizations (AAC-GEVO’2004) at the 3rd International Conference on Grid and Cooperative Computing (GCC’2004), Wuhan, China, 21-24 October 2004. [95] Zhu, H. Cooperative Agent Approach to Quality Assurance and Testing Web Software, Proc. of COMPSAC’04 (Workshop papers and Fast Abstracts), the Workshop on Quality Assurance and Testing of Web-Based Applications, Sept. 2004, IEEE CS, Hong Kong,pp110-113. [84] Zhu, H., A growth process model and its supporting tools for developing web-based software, ACTA ELECTRONICA SINICA，VOL. 30, No. 12A, pp2090~2093, Dec. 2002. (In Chinese, 朱鸿，Web软件的生长式开发过程模型及其支撑工具，电子学报) [83] Zhu, H., Software Growth Model and Web Application Development, Proc. of NASAC’2002, Shanghai, China, Nov. 2002.(In Chinese, 朱鸿，软件生长过程模型与Web软件开发 ) [82] Zhu, H., Formal Specification of Evolutionary Software Agents, Proc. ICFEM’2002, Shanghai, China, Oct. 2002, Springer LNCS 2495, Formal Methods and Software Engineering, George, C. and Miao, H., (eds), 2002, pp249~261. [81] Huo, Q., Zhu, H. and Greenwood, S., Using Ontology in Agent-based Web Testing, Proc. of ICIIT’2002, 22~25 Sept., 2002, Beijing, China, pp464-472 [76] Zhang, Y., Zhu, H., Greenwood, S. and Huo, Q., Deriving Quality Models of Web-Based Information Systems, in Proc. of 2nd ASERC Workshop on Quantitative and Soft Computing Based Software Engineering, February 18-21, 2002, Banff, Alberta, Canada. [72] Zhang, Y., Zhu, H., Greenwood, S. and Huo, Q., Quality Modelling of Web-based Information Systems, Proceedings of the Eighth IEEE Workshop on Future Trends of Distributed Computing Systems, Bologna, Italy, 31 October - 2 November 2001, pp41~47. [68] Zhang, Y., Zhang, L., Huo, Q., Zhu, H., Greenwood, S., Structure and page complexity metrics for Web applications, Proc. of 4th WWW Workshop on Web Engineering at WWW’2001, Hong Kong, May 1, 2001, pp72~81. [66] Zhang, Y., Huo, Q., Zhang, L., Zhu, H., Greenwood, S., Measuring the timeliness of websites, Proceedings of the Fourth European Conference on Software Measurement and ICT Control in Co-operation with DASMA, Heidelberg, Germany, 8-11 May 2001, pp 139~147. [61] Zhu, H., Greenwood, S., Huo, Q., and Zhang, Y., Towards Agent-Oriented Quality Management of Information Systems, March 2000, Workshop Notes of Second International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2000), at AAAI’2000, Austin, USA, July 30, 2000, pp57~64.
[144] Ian Bayley and Hong Zhu, Formal Specification of the Variants and Behavioural Features of Design Patterns, Journal of Systems and Software Vol. 83, No. 2, Feb. 2010, pp 209–221 (Available online at the journal's website at URL: http://dx.doi.org/10.1016/j.jss.2009.09.039) (Preprint) [143] Hong Zhu, Lijun Shan, Ian Bayley and Richard
Amphlett, A
Formal Descriptive Semantics of
UML
And Its Applications [141] Lijun Shan and Hong Zhu, Semantics of Metamodels in UML, Proc. of The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009), Tianjin, China,29-31 July 2009, pp55-62. [140] Hong Zhu, Ian Bayley, Lijun Shan and Richard Amphlett, Tool Support for Design Pattern Recognition at Model Level, Proc. of COMPSAC'09, Seattle, Washington, USA, 20-24 July 2009, pp??. (Slides) [139] Iñaki Martinez-Sarriegui, Hong Zhu, et al., Modelling and formal specification of a multiagent telemedicine system for diabetes care, International Conference on Agents and Artificial Intelligence (ICAART'2009), Porto, Portugal, January 19-21, 2009, pp507-512. [124] Lijun Shan and Hong Zhu, Generating Structurally Complex Test Cases by Data Mutation: A Case Study of Testing an Automated Modelling Tool, Special Issue on Automation of Software Test, the Computer Journal. Aug. 2009; Vol. 52, No. 5: pp571-588; doi:10.1093/comjnl/bxm043 (Advance Access June 28, 2007. doi:10.1093/comjnl/bxm043). [136] Hong Zhu: Data Mutation Testing Applied to a Modelling Tool. GI Jahrestagung (1) 2008. pp175-176. (Extended abstract of keynote speech at MOTES'08).
[134] Lijun
Shan and [133] Ian Bayley and Hong Zhu, On the Composition of Design Patterns, Proc. of QSIC 2008, IEEE CS Press, 12-13 August, 2008, Oxford, UK, pp27-36. [132] Ian Bayley and Hong Zhu, Specifying Behavioural Features of Design Patterns in First Order Logic, Proc. of COMPSAC 2008, pp 203-210. (Winner of COMPSAC 2008 Best Paper Award) (Note: A full length version of the paper with specifications of all 23 design patterns in the GoF book is available in the technical report of the same title, i.e. TR-08-01, Department of Computing, School of Technology, Oxford Brookes University, Oxford, UK). (Slides) [126] Ian Bayley and Hong Zhu, Formalising Design Patterns in Predicate Logic, The 5th IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS, London, United Kingdom, September 12-14, 2007, pp25-36. (Slides) [118] Bayley, I. and Zhu, H., Formal Specification of Design Patterns as Structural Properties. Technical Report DOC-TR-07-01, Department of Computing, School of Technology, Oxford Brookes University, Oxford, UK, Jan. 2007. [116] Qian Zhang, Jian Wu, Hong Zhu, Tool Support to Model-based Quality Analysis of Software Architectures, COMPSAC’06, Chicago, USA, IEEE CS, Sept. 2006, pppp121-128. [113] Qian Zhang and Hong Zhu, Automated Analysis of Software Designs with Graphic Quality Models, Proc. of The 10th WSEAS International Conference on Computers, Vouliagmeni, Athens, Greece, July 13-15, 2006, also in WSEAS Transactions on Computers, Vol. 5, Issue 10, Oct. 2006, ISSN 1109-2750, pp2232-2237. [112] Xinjun Mao, Zhiming Chang, Lijun Shang, Hong Zhu and Ji Wang, The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents, In Second International Workshop on Agent-oriented Software Development Methodologies (AOSDM’06), in Proc. of SEKE’06, San Francisco, USA, IEEE CS, July, 2006. [111] Lijun Shan and Hong Zhu, Specifying Consistency Constraints for Modelling Languages, The Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'06), San Francisco, USA, July 5-7, 2006. [110] Shan, L. and Zhu, H., Testing Software Modelling Tools Using Data Mutation, Proc. of AST’06, Shanghai, China, May 23, 2006. ACM Press. [109] Zhu, H. and Shan, L., Well-Formedness, Consistency and Completeness of Graphic Models, Proc. of UKSIM’06, Oxford, UK, April 4-6, 2006. pp47-53. [93] Zhang, Y., Zhu, H. and Greenwood, S., Website Complexity Metrics for Measuring Navigability, Proc. of 4th International Conference On Quality Software (QSIC’04), Braunschweig, Germany, September, 2004. [80] Zhu, H., Zhang, Y., Huo, Q. and Greenwood, S., Application of Hazard Analysis to Quality Modelling, proc. of IEEE COMPSAC’2002, Oxford, UK, 26~29 August, 2002, pp139~144.
[144] Ian Bayley and Hong Zhu, Formal Specification of the Variants and Behavioural Features of Design Patterns, Journal of Systems and Software Vol. 83, No. 2, Feb. 2010, pp 209–221 (Available online at the journal's website at URL: http://dx.doi.org/10.1016/j.jss.2009.09.039) (Preprint) [143] Hong Zhu, Lijun Shan, Ian Bayley and Richard
Amphlett, A
Formal Descriptive Semantics of
UML
And Its Applications [141] Lijun Shan and Hong Zhu, Semantics of Metamodels in UML, Proc. of The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009), Tianjin, China,29-31 July 2009, pp55-62. [140] Hong Zhu, Ian Bayley, Lijun Shan and Richard Amphlett, Tool Support for Design Pattern Recognition at Model Level, Proc. of COMPSAC'09, Seattle, Washington, USA, 20-24 July 2009, pp??. (Slides)
[134] Lijun
Shan and [133] Ian Bayley and Hong Zhu, On the Composition of Design Patterns, Proc. of QSIC 2008, IEEE CS Press, 12-13 August, 2008, Oxford, UK, pp27-36. [132] Ian Bayley and Hong Zhu, Specifying Behavioural Features of Design Patterns in First Order Logic, Proc. of COMPSAC 2008, pp 203-210. (Winner of COMPSAC 2008 Best Paper Award) (Note: A full length version of the paper with specifications of all 23 design patterns in the GoF book is available in the technical report of the same title, i.e. TR-08-01, Department of Computing, School of Technology, Oxford Brookes University, Oxford, UK). (Slides) [128] Bo Yu, Liang Kong, Yufeng Zhang, and Hong Zhu, Testing Java Components Based on Algebraic Specifications, Proc. of ICST 2008, April 9-11, 2008, Lillehammer, Norway, pp190-199. [126] Ian Bayley and Hong Zhu, Formalising Design Patterns in Predicate Logic, The 5th IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS, London, United Kingdom, September 12-14, 2007, pp25-36. (Slides) [123] Liang Kong, Hong Zhu and Bin Zhou, Automated Testing EJB Components Based on Algebraic Specifications, Proceeding of the First IEEE International Workshop on Testing Emergent Software Technologies (TEST 2007), Beijing, China, July 27, 2007. in Proc. of COMPSAC 2007 Vol. 2, pp717-722. IEEE CS Press 2007. [118] Bayley, I. and Zhu, H., Formal Specification of Design Patterns as Structural Properties. Technical Report DOC-TR-07-01, Department of Computing, School of Technology, Oxford Brookes University, Oxford, UK, Jan. 2007. [74] Zhu, H., Validating Algebraic Class Testing in Final Algebra, Technical report CMS-TR-02-02, School of Computing and Mathematical Sciences, Oxford Brookes University, UK, April 2002.
[128] Bo Yu, Liang Kong, Yufeng Zhang, and Hong Zhu, Testing Java Components Based on Algebraic Specifications, Proc. of ICST 2008, April 9-11, 2008, Lillehammer, Norway, pp190-199. [123] Liang Kong, Hong Zhu and Bin Zhou, Automated Testing EJB Components Based on Algebraic Specifications, Proceeding of the First IEEE International Workshop on Testing Emergent Software Technologies (TEST 2007), Beijing, China, July 27, 2007. in Proc. of COMPSAC 2007 Vol. 2, pp717-722. IEEE CS Press 2007. [116] Qian Zhang, Jian Wu, Hong Zhu, Tool Support to Model-based Quality Analysis of Software Architectures, COMPSAC’06, Chicago, USA, IEEE CS, Sept. 2006, pppp121-128. [98] Zhu, H. and He, X., A Methodology of Component Integration Testing, in Testing Commercial-Off-The-Shelf Components and Systems, Sami Beydeda and Volker Gruhn (ed.), Springer, 2005, pp239-269. [70] Zhu, H. and He, X., An Observational Theory of Integration Testing for Component-Based Software Development, Proc. of IEEE 25th International Conference on Computer Software and applications (COMPSAC’2001), 8-12 October 2001, Chicago, Illinois. [69] Zhang, L., Mei, H. and Zhu, H., A configuration management systems supporting component-based software development, Proc. of IEEE 25th International Conference on Computer Software and applications (COMPSAC’2001), 8-12 October 2001, Chicago, Illinois.
[77] Zhu, H., Jin, L., Diaper, D., Software requirements validation via task analysis, Journal of System and Software, March 2002, Vol 61, Issue 2, pp145~169. [65] Zhu, H, and Jin, L., Scenario analysis in an automated tool for requirements engineering, The Journal of Requirements Engineering, Vol. 5, No.1, pp2~22, June 2000. [62] Zhu, H., and Jin, L., Automating scenario-driven structured requirements engineering, Proc. 24th IEEE Computer Society International Conference on Computer Software and Applications (COMPSAC’2000), 25-27 Oct. 2000, Taipei, Taiwan, pp311~316. [58] Zhang, C. L., Bei, G. H., Huo, Q. L., Jin, L., and Zhu, H., Algorithms for scenario driven requirements analysis support tools—automatic consistency and completeness check and requirements model synthesis, Journal of Computer Research and Development, June, 1999. (In Chinese) [57] Huo, Q. L., Zhang, C. L., Bei, G. H., Jin, L., and Zhu, H., A methodology of scenario driven software requirements analysis, Journal of Computer Science, Jan. 1999, (In Chinese) [56] Zhu, H., Jin, L., and Diaper, D., Application of Task Analysis to the Validation of Software Requirements, Proc. SEKE'99, Kaiserslautern, Germany, June, 1999. Pp239~245. [55] Luqi, Chang, C.K., and Zhu, H., Specifications in software prototyping, Journal of Systems and Software, Vol.42, No. 2, pp125~140, Aug. 1998. [53] Zhu, Y., Jin, L., and Zhu, H., Safety requirements analysis and architectural design of a hospital management information system, Journal of Computer Systems and Applications, Vol. 1998. No. 8, pp2~5, Aug. 1998. (In Chinese) [52] Jin, L., Zhu, H., et al., A use scenario driven approach to automatic generation of software requirements models, Chinese Journal of Computers, Vol. 21, No. 8, pp673~681, Aug. 1998. (In Chinese) [50] Jin, L. and Zhu, H., Description and Analysis of Use Scenarios in Requirements Engineering, Proc. of SEKE’98, San Francisco, USA, June 18-20, 1998. Pp18~25. [44] Jin, L. and Zhu, H., Automatic generation of formal specification from requirements definition, Proc. of IEEE 1st International Conference on Formal Engineering Methods, Nov. 1997, Hiroshima, Japan, pp243-251. [40] Dong, L., Zhu, H., Jin, L. and Xu, J., On the design of the software requirements analysis support system NDRASS, Chinese Journal of Advanced Software Research, Vol. 3, 1996, pp1-6, (In Chinese). [39] Xu, J., Jin, L., and Zhu, H., Tool support of orderly transition from informal to formal descriptions in requirements engineering, Proc. of IFIP'96: Advanced IT Tools, Australia, Eds. Nobuyoshi Terashima and Edward Altman, Chapman & Hall, Spet. 1996, pp199~206. [38] Xu, J. and Zhu, H., Requirements analysis and specification as a problem of software automation -- Some researches on requirements analysis, Proc. SEKE'96, Nevada, USA, June 1996, pp457~464. [37] Zhu, H., Specification and evaluation of software environment simulators for testing safety critical software, Proc. CADTED’96, June 1996, Beijing, pp193~198.. [36] Zhu, H., Axiomatic assessment of control flow based software test adequacy criteria, Software Engineering Journal, UK, Sept. 1995. [33] Xu, J., Zhu, H., et al., From requirements definition to formal functional specification -- A transformational approach, Science in China, Supp. Vol. 38, Sept. 1995. [29] Zhu, H. and Hall, P., Injecting faults into environment simulators for testing safety critical software, Dependable Computing: Proc. of EDCC'94, Berlin, Lecture Notes in Comp. Sci. Vol. 852, Springer-Verlag, 1994. [28] Zhu, H., and Hall, P., Testing protection software through simulation of failures, Proc. of International Conference on Real Time Systems, Paris, Jan., 1994, pp155-170. [27] Zhu, H., Czachur, K., Cockram, T., Hall, P., and May, J., Testing safety critical software via simulating failures of the environment system, Proc. of the Safety and Reliability Society Conference, Cheshire, UK., Oct., 1994. [26] Zhu., H., Hall., P., May, J., and Cockram, T., Knowledge engineering helps testing protection software, Proc. of 6'th International Conference on Software Engineering and Knowledge Engineering, Jurmala, Latvia, Oct. 1994. [25] Zhu, H., Program transformation applied to the simulation of system failure processes, Proc. of The European Simulation Symposium, Vol. 2, pp325-329, Istanbul, Turkey, Oct. 1994.
[30] Zhu, H., How powerful are folding/ unfolding transformations? Journal of Functional Programming, UK, January 1994. [22] Zhu, H., On the ability of folding/unfolding program transformation, Chinese Journal of Software, 2/1992, (In Chinese). [21] Zhu, H. and Jin, L., A knowledge-based approach to program synthesis from examples, Journal of Computer Science and Technology, January 1991. [20] Zhu, H., Program transformation by solving equations, Journal of Computer Science and Technology, June 1991, [19] Zhu, H., Orthogonal decomposition in Complete Partially Ordered Sets, Chinese Journal of Computer Science, 2/1991, (In Chinese). [18] Zhu, H. and Jin, L., Derivation of efficient programs from specifications in first order infinitary logic, Proc. of ICYCS'91, Beijing, 1991. [17] Jin, L. and Zhu, H., A note on the design of a meta-language for transformational programming, Computer Research and Development, 3/1990, (In Chinese) [16] Zhu, H. and Jin, L., A knowledge-based system to synthesize FP programs from examples, Proc. of EPIA'89, Lecture Notes in Computer Science, Vol. 390, 1989, [15] Jin, L., Zhu, H., A meta-language to express human guidance for program transformation, Proc. of IEEE Intern. Conference on Tools for AI, Fairfax, USA. 1989. [14] Zhu, H, Jin, L., Meta-programming -- Applications to program synthesis from examples, Proc. of ISYCP, 1989. [13] Zhu, H., An orthogonal expansion approach to transformation of functional programs, Proc. of International Conference on New Generation of Computer Systems, Beijing, Apr. 1989. [12] Jin, L., Zhu, H. and Xu, J., NDTPS -- An experimental meta-language transformational programming system, Proc. of International Conference on New Generation of Computer Systems, Beijing, Apr. 1989. [11] Jin, L. and Zhu, H, Experiences in meta-programming--applications in program synthesis, National Conference on AI and Science of Thinking, 1989.7. (In Chinese). [10] Jin, L. and Zhu, H., A Knowledge-based system for synthesising FP programs from examples, Second National Conference on Machine Learning, 1989.7. (In Chinese). [9] Zhu, H. A theory of program expansion, Scientia Sinica, (Science in China) Series A, 12/1988. [8] Xu, J., Zhou, G., Xu, M., Yi, B., Zhu, H., Jin, L. and Da, M., The design and analysis of a data-driven parallel reduction machine FPM2 and the construction of its model machine, Scientia Sinica (series A), Feb. 1988. [7] Jin, L. and Zhu, H., Systems programming in the functional programming language FP, Journal of Computer Science and Technology, Vol. 3, No. 1, Jan. 1988. [6] Xu, J., Zhu, H. and Jin, L., Some researches on non van Neumann programming systems, Advances in Chinese Software Engineering, Vol. 1, 1988. [5] Zhu, H., Some mathematical properties of the functional programming language FP, Journal of Computer Science and Technology, Vol. 2. No.3, July 1987. [4] Jin, L., Xu, J., Zhu, H., Experiments with systems programming in FP style, Proc. 2nd International Conference on Computers and Applications, Beijing, Jun. 1987. [3] Xu, J., Zhou, G., Xu, M., Yi, B., Zhu, H., Jin, L. and Da, M.， A data-driven parallel mutli-stack reduction machine FPM2 and its improvements, University Computing, (UK), Summer Issue, 1986. [2] Zhu, H. et al., FPM2-- a data driven parallel multi-stack reduction machine, Journal of Nanjing University, Special Issue on Computer Science, No. 4., Feb. 1985. (In Chinese) [1] Xu, J., Zhou, G., Xu, M., Yi, B., Zhu, H., Jin, L. and Da, M., An experiment with implementation of functional programming language FP on Non van Neumann computer architecture, Proc. of 1st National Conference on Fifth Generation of Computer Systems, May, 1985. (In Chinese)
|
|
This site was last updated 10/19/13