huo yan chen (陈火炎) in scholat-尊龙凯时官方app下载

was born in a&c,

where people plant fine "guanyin" tea.

at 1963, he left his beautiful village,

entered into nankai (南开) university,

and began his research and study

in science and technology:

nankai university, china in 1968. he received the master’s degree by research in computer science in 1982.

      he had been a full professor of computer science at jinan university for 19 years since 1991. he had served as the head of the department of computer science and the associate-dean of the college of information science and  technology in jinan university for more than 5 years.

      he had worked in an it company for 10 years totally, and was a system analyst & software designer & logic principal designer for 7 years on shipping navigation mini-computer systems. he was a visiting exchange research scholar on computer science in the university of illinois at urbana-champaign in usa from 1986 to 1988. he had conducted research in software engineering and expert systems at the university of hong kong for 10 years. he visited the university of melbourne in australia for research collaboration on software testing. he had conducted academic exchanges on computer science at washington d.c., big island of hawaii, nashville of tennessee, charlotte of north carolina, usa; hague of the netherlands; belfast of north ireland, hammamet of tunisia; and tokyo of japan.

      he was the president of the guangzhou intelligent engineering association from 2002 to 2006, and a vice-president of the guangdong computer federation from 2004 to 2010. 

      he gained huoying dong's scholarship from hong kong in the period from 1986 to 1988. he has also been recognized and awarded corresponding certificate by the state council of china for his outstanding contributions in higher education and science since oct 1, 1992. he had received three main science and technology awards in software engineering and knowledge engineering from the chinese ministry of education and the guangdong province of china.

      his research interests are in software engineering and knowledge engineering, including formal methods, object-oriented methodology, software testing, logic programming, expert systems, petri net modeling and analysis of operating system, and discrete mathematics.

      huo yan chen had developed  mathematical model, algorithm design, programming, and logic design of hardware for 2 shipping navigation mini-computer systems (one for short range, the other for ultra long range), prototypes for three expert systems for medicine, one aided tool for software design, and four testing tools for software. 

      his development practices include creating mathematical model for special application, system analysis, algorithm design, software design, programming, logic design for hardware,  and hosting project in different periods for different projects.

      huo yan chen had published 86 research papers totally in academic journals and academic conferences (43 papers in chinese and 43 papers in english). his first and recent papers are as follows:

     [1]. 陈火炎, 共焦双曲数量场梯度公式的论证及在导航中的应用，舰船电子设计，21期，pp.6-9, 1978.10.  

     [86]. huoyan chen (陈火炎) and t.h. tse, equality to equals and unequals: a revisit of the equivalence and nonequivalence criteria in class-level testing of object-oriented software, ieee transactions on software engineering, vol. 39, no. 11, pp.1549-1563, november 2013.

      his representative research papers are:

      1)  “in black and white: an integrated approach to class level testing of object-oriented programs” (46 pages), published in acm transactions on software engineering and methodology (acm tosem), vol. 7 no. 3, pp.250-295, july 1998, and authored by huo yan chen, t.h. tse, f.t. chan, and t.y. chen. “acm tosem is recognized at the top level of international journals in the area of software engineering”. the abstract of the paper can be found in the following acm website:  

      2)  “taccle: a methodology for object-oriented software testing at the class and cluster levels” (54 pages), published in acm transactions on software engineering and methodology, vol. 10 no. 1, pp.56-109, jan. 2001, and authored by huoyan chen, t.h. tse, and t.y. chen. the abstract of the paper can be found in the following acm website: 

     3) “equality to equals and unequals: a revisit of the equivalence and nonequivalence criteria in class-level testing of object-oriented software” (15 pages), published in ieee transactions on software  en, 

,  

      the citation and impact of the above representative research papers are as follows.

 “acm computing reviews” vol. 40 no. 7（1999）和vol. 42 no. 9（2001）分别为上述论文1) 2) 发表专门的评论员推介性文章。据t.h. tse教授的不完全统计，2006年2月查得这两篇大型论文已被国外刊物和国外博士论文正面引用128次，而2007年12月查得这两篇大型论文被他人正面引用214次(大部分是国外引用)。国际软件测试著名专家、domain　testing 创始人之一、stvr期刊主编lee j. white教授引用了论文1)。国际软件测试著名专家、等价对测试创始人之一、acm tosem 编委p.g. frankl教授和美国工程院院士e.j. weyuker的合作论文也引用了论文1)。美国软件产业界著名专家r.v. binder的软件测试专著也引用了上述论文1) 2)。美国马里兰大学、瑞典uppsala大学等美欧大学有的同行教授曾把上述论文1) 与/或 2)  列入本方向硕/博士生阅读文献表，有的还曾指定学生宣讲、讨论，并曾把宣讲的power point放在网上。英国学者hong zhu 教授在ieee qsic 2003 (usa) 上对这两篇论文所表述的成果的理论价值有很高的评价，他认为这两篇论文提出的“项等价性”和“对象等价性”分级的新思想、新准则及其成果“使代数规格说明理论发生了从经典初始语义学到行为语义学的实质性变化”。顾庆博士、孙钟秀院士等人在“计算机应用与软件”19卷3期9页指出论文2) 提出的“基于数据间依赖（谓词依赖和方法/函数依赖）的对象表示模型，代表了一个新的方向”。acm computing surveys (计算机学科综述评论型最高层期刊之一)volume 41, number 2, february 2009上， 等15位学者联合发表的大型论文“using formal specifications to support testing” (78页长) 对上述论文1) 2) 也有多处正面引用。本成果在国家自然科学基金委学科部结题评审会上被评为"特优"(全国76项评出7项，见"软件学报"2003年第一期p158)。

2014-12-22查得上述代表作1) 在acm网上被 downloads 13 次(in recent 6 weeks)、65次(in recent 12 months) 、2,473次(cumulative); 代表作2) 在acm网上被 downloads 17 次(in recent 6 weeks)、58次(in recent 12 months) 、2,677次(cumulative). 

      the partial citations to the above representative papers 1) and/or 2) in recent years:

      a) francisco rebellode andrade, joão pascoal faria, ana c. r. paiva cited 1) 2) in paper “test generation from bounded algebraic specifications using alloy”, icsoft-2011.

      b) francisco rebellode andrade etc. cited 2)  in paper “specification-driven unit test generation for java generic classes”, lncs no. 7321, 2012.

      c) dongmei liu, hong zhu and ian bayley cited 1) 2) in paper “from algebraic specification to ontological description of service semantics”, ieee icws-2013.

      d) mark harman, phil mcminn, muzammil shahbaz and shin yoo cited 1) 2) in paper “a comprehensive survey of trends in oracles for software testing”, tr-kcl 2013.

      e) c. aruna, r.s.r. prasad cited 1) 2) in paper “testing approach for dynamic web applications based on automated test strategies”, aisc vol. 249, 2014.

      f) dongmei liu, hong zhu and ian bayley cited 1) 2) in paper “transformation of algebraic specifications into ontological semantic descriptions of web services”, ijsc,vol.2 no.1, 2014.

 2019-5-15查得上述代表作[40] 在acm网上被 downloads 5次(in recent 6 weeks)、27次(in recent 12 months) 、2,593次(cumulative); 代表作[42] 在 acm网上被 downloads 2 次(in recent 6 weeks)、26次(in recent 12 months) 、2,807次(cumulative).

      huoyan chen had taught and/or directed many students at different levels, including college diploma, undergraduate and postgraduate students. he had taught the courses of discrete mathematics, basic programming, programming methodology, management information system, software engineering, software testing, advanced  software engineering, logic programming and knowledge processing system for different level students in different periods.