[for english version, see the next section "biography" please.]
陈火炎,1968年毕业于南开大学数学系本科; 1968年起在广州某公司工作十年: 一年机械加工,两年小规模集成电路制造的磷扩散工艺,七年船舶无线电导航专用小型计算机系统硬、软件设计(包括硬件逻辑设计,专用软件的数学模型研究、算法设计、程序设计); 1979.2月至1982.2月在暨南大学读研究生,研究课题为计算机操作系统若干问题的petri网理论模型及分析, 当时暨大无硕士学位授予权,故于1982.2月向他校申请论文答辩通过并获计算机软件硕士学位。1982年初起留暨大任教,1991年起任暨南大学计算机系正教授,1992年起招收硕士生,1994年起任香港大学联合培养博士生导师(国务院侨办备案)。1992年起获国务院颁发的政府特殊津贴及国家级突出贡献证书(首批)。
曾任暨南大学信息科技学院副院长(1999.5-2005.4)、兼计算机系系主任(1999.6- 2004.9)。曾任暨南大学计算机软件专业教授19年,其间,兼香港大学软件工程高级合作研究员10年。
曾兼任广州智能工程研究会会长、广东省计算机学会副理事长、中国计算机学会容错计算专委委员、中国计算机学会cad/cg专委委员、中国离散数学会常务理事、广州市科协委员多年。
曾在美国伊利诺大学(at urbana-champaign)访问研究两年(1986.2-1988.2月),参与 prof. benjamin w. wah 关于"提高逻辑程序设计时空效率”课题的研究。
多次应邀聘到香港大学软件工程组合作研究共10年(1989.6-1990.12; 1991.8-10; 1992.10-1994.10;1995.11-1998.11;1999.1-3,6-9;2000.1-3,6-9; 2001.7-8; 2002.2-3, 2002.9-2003.3;2003.7-9;2004.1-3;2005.2-4;2007.6-9; ......),研究课题为知识工程与软件工程方法论,完成了一个软件设计辅助工具(从dfd 到st的辅助生成)、四个o-o软件测试辅助工具和三个医用专家系统的原型研制。
一次应邀到澳洲墨尔本大学软件测试研究组合作研究一个月(1997.11-1997.12)。还到美国华盛顿、纳什维尔、夏洛特、夏威夷,日本,英国,法国,荷兰,突尼斯 等地作过学术交流。
陈火炎曾任ieee asia-pacific software engineering conference (1998 in taipei) 和 first, second and third asia-pacific conferences on software quality (2000, 2001 and 2002 in hong kong), ieee twelfth asian test symposium (2003, in xi'an), ieee international conference on software engineering and formal method(2003 in australia),1st etqse(2005 in melbourne, australia) ,iasted-acst 2007等国际会议的程序委员,cdve 2007、cdve 2008国际会议的组委,并任ieee symcy’1999 (1999 in tokyo, japan)和ieee symcy'2002(in tunisia/france)的quality & reliability engineering 专题分会主席,......。还任美国国际期刊“information science”, “international journal of software engineering and knowledge engineering”和“software testing, verification & reliability” 的审稿人。
其研究方向为软件工程与知识工程,包括formal methods, object-oriented methodology, software testing, network information security, logic programming, expert systems, discrete mathematics.
2009.12月从暨大退休。2010~ 2012年间应邀到香港大学软件工程组合作研究两次。2013.11月在ieee transactions on software engineering, vol. 39, no. 11 上发表软件工程学方面的一篇重要论文[43], 是论文[40,42]的重要发展与推进, 详见: 。
2014年起对社会科学和社会治理学的学习以及文史作品的欣赏逐步产生浓厚的兴趣。
科研项目: 陈火炎1995年以来的研究项目有:
(1) an integrated approach to class level testing of object-oriented programs,1995.11-98.04,香港政府rgc研究基金#hku291/95e,主要参加者(该项目组中唯一的full time 成员,其论文第一作者);
(2) taccle: a methodology for object-oriented software testing at the class and cluster levels,1999.9.1-2002.8.31,香港政府rgc研究基金#7033/99e,主要参加者(其论文的第一作者);
(3) 面向对象软件(类级)测试自动化理论和技术的研究,96.01-98.12,广东省科学基金 #950618,负责人;
(4) 面向对象软件类级和族级测试之研究,99.01-2001.12,广东省科学基金 #980690,负责人;
(5) 面向对象软件测试方法论之研究,99.01-2001.12,国家自然科学基金 #69873020,负责人。
(6) 面向对象软件并发性分析与测试方法论之研究(基于框架和组件),2002.1-2004.12, 国家自然科学基金 #60173038,负责人。
(7) 并发性面向对象软件静态分析与动态测试方法之研究(基于多线程),2002.1-2004.,广东省自然科学基金重点项目#010421,负责人。
(8) 基于近海水环境监测的无线传感器网络控制机制研究, 2007.10- 2009.12, 广东省科学基金项目, #7010116, 第二承担人。
(9) 广东信息产业技术发展战略研究,2007.1-2010.12, 国家自然科学基金/广东省科学基金联合重点项目, #u0775001, 排名第二。
(10) 对等网络准入控制机制的研究, 2008.1-2008.12, 国家自然科学基金项目, #60773083, 第二承担人。
主要论文: 在美国国际期刊“acm 软件工程及方法论学报”(acm transactions on software engineering and methodology)、英国国际期刊“软件实践与经验”(software: practice and experience)、荷兰国际期刊“信息与软件技术”(information and software technology)、ieee symcy、ieee hicss和ieee compsac国际会议论文集等刊物上发表英文论文38篇,其中入sci、ei 33篇;在国内刊物上发表论文40多篇,其中入ei 5篇。
其代表作有在软件工程学世界最高层次期刊之一的acm transactions on software engineering and methodology(简称为acm tosem)1998年7卷3期 和2001年10 卷1期上分别发表的一篇46页和一篇54页的大型论文[40,42](均为第一作者)。该期刊每年只有4期,每期一般只有3篇论文,每篇论文一般都有30-80页。中国大陆至今(2007年12月)仅有三篇论文在该期刊上发表,另一篇是北大wei zhao, fuqing yang(杨芙清院士)等人2006年发表的。我们这两篇论文的摘要可在acm的下列网址上看到:
;
这两篇大型论文在国际上有较好的影响:
“acm computing reviews”vol.40 no.7(1999)和vol.42 no.9(2001)分别为这两篇论文发表专门的评论员推介性文章。
据dr.t.h.tse的不完全统计,2006年2月查得这两篇大型论文已被国外刊物和国外博士论文正面引用128次,而2007年12月查得这两篇大型论文被他人正面引用214次(大部分是国外引用。比如,国际软件测试著名专家、domain testing创始人之一、stvr期刊主编lee j. white教授引用了这两篇论文之一;国际软件测试著名专家、等价对测试创始人之一、acm tosem 编委p.g. frankl教授和美国工程院院士e.j. weyuker的合作论文也引用了这两篇论文。美国软件产业界著名专家r.v.binder的软件测试专著也引用了上述论文。
美国马里兰大学的一些教授把这两篇论文列入本方向博士生阅读文献表,指定专人宣讲、讨论,并把宣讲的powerpoint放在网上。美国麻省大学、clemson大学、瑞典uppsala 等大学的一些教授也把第一篇或第二篇论文用于博士生教学中。
英国学者hong zhu 博士在ieee qsic 2003 (usa) 上对这两篇论文所表述的成果的理论价值有很高的评价,他认为这两篇论文提出的“项等价性”和“对象等价性”分级的新思想、新准则及其成果“使代数规格说明理论发生了从经典初始语义学到行为语义学的实质性变化”; 顾庆博士、孙钟秀院士等人在“计算机应用与软件”19卷3期9页指出我们第一论文提出的“基于数据间依赖(谓词依赖和方法/函数依赖)的对象表示模型,代表了一个新的方向”。acm computing surveys (计算机学科综述评论型最高层期刊之一)volume 41, number 2, february 2009上,robertm. hierons 等15位学者联合发表的大型论文“using formal specifications to support testing” (78页长) 对上述论文[40,42] 也有多处正面引用。
本成果在国家自然科学基金委学科部结题评审会上被评为"特优"(全国76项评出7项,见"软件学报"2003年第一期p158)。
2014-12-22查得上述代表作[40] 在acm网上被 downloads 13 次(in recent 6 weeks)、65次(in recent 12 months) 、2,473次(cumulative); 代表作[42] 在 acm网上被 downloads 17 次(in recent 6 weeks)、58次(in recent 12 months) 、2,677次(cumulative).
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).
陈火炎首篇论文:
[0] 陈火炎, 共焦双曲数量场梯度公式的论证及在导航中的应用,舰船电子设计, 21期, pp.6-9, 1978.10.
1995年以来的主要研究论文有:
[43] 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.
[42] huo yan chen (陈火炎), t.h. tse, and t.y. chen, taccle: a methodology for object-oriented software testing at the class and cluster levels, 美国国际期刊acm transactions on software engineering and methodology, vol.10, no.1, pp.56-109 (54 pages), jan. 2001. {被sci收录, 被sci引用,入inspec}.
[41] huo yan chen(陈火炎), t.h. tse, yue yang deng, rocs: an object-oriented class-level testing system based on the relevant observable contexts technique, 荷兰国际期刊information and software technology, vol. 42, no. 10, pp677-686,2000年7月. {被sci收录, 被sci引用, 被ei收录,入inspec }.
[40] huo yan chen (陈火炎), t.h. tse, f.t. chan, t.y. chen, in black and white: an integrated approach to class level testing of object-oriented programs, 美国国际期刊acm transactions on software engineering and methodology, vol.7, no.3, pp.250-295 (46 pages), july 1998. {被ei收录,入inspec }.
[39-38] 2007年10月在加拿大召开的ieee一个国际会议及其论文集上发表软件测试方面的论文1篇, 本人为第一作者{入工程索引ei}; 2007年在springer期刊上发表信息安全方面的论文1篇,本人为第二作者。
[37-31] 2006年10月在台北召开的ieee一个国际会议及其论文集上发表软件测试方面的论文2篇, 其中一篇为第一作者、另一篇为第二作者(通信作者){均入工程索引ei}; 2006年在国外期刊上发表信息安全方面的论文1篇,本人为第三作者;在国内核心期刊上发表软件工程方面的论文3篇、信息安全方面的论文1篇,本人均为第二作者。
[30] 2005年1月在夏威夷召开的ieee一个国际会议及其论文集上发表软件测试方面的论文1篇,本人为独立作者. {入工程索引ei}.
[29] 2004年在荷兰召开的ieee一个国际会议及其论文集上发表软件测试方面的论文1篇,本人为第一作者. {入工程索引ei}.
[28-25] 2004年在"计算机学报"等国内核心期刊上发表论文4篇,本人均为第二作者,其中软件测试方面的论文1篇,信息安全方面的论文3篇. {入工程索引ei一篇}.
[24-19] 2003年在美国召开的ieee两个国际会议及其论文集上发表软件测试方面的论文6篇,其中本人为独立作者的有2篇,为第一作者的有2篇,为第二作者的有2篇. {均入工程索引ei}.
[18,17] 2003年在国内核心期刊上发表论文2篇,本人均为第二作者,其中软件测试方面的论文1篇,信息安全方面的论文1篇.
[16-14] 2002年在法国主办、在突尼斯召开的ieee一个国际会议及其论文集上发表软件测试方面的论文2篇、软件设计方法方面的论文1篇。本人均为独立作者. {均入工程索引ei}.
[13-11] 2000年在美国召开的ieee一个国际会议及其论文集上发表软件测试方面的论文3篇。其中本人为独立作者的有2篇,为第一作者的有1篇。 {均入工程索引ei}.
[10-8] 1999年在日本召开的ieee一个国际会议及其论文集上发表软件测试方面的论文2篇、软件设计方法方面的论文1篇。本人均为独立作者. {均入工程索引ei}.
[7] jian-zhu lu and huoyan chen (陈火炎),improvement of authenticated encryption scheme with (t, n) shared verification,the proceedings of ieee compsac’2000, pp.445-448, taipei, taiwan,2000年10月.{被ei收录}.
[6] 卢建朱,陈火炎,林飞, elgamal 型多重数字签名算法及安全性,计算机研究与发展,37卷11期,(中国计算机学会会刊,issn 1000-1239, coden jyyfey), pp.1335-1339, 2000年11月. {被ei收录}.
[5] 卢建朱,陈火炎,具有 (t, n) 共享验证的认证加密方案及其安全性,计算机研究与发展,38卷9期,(中国计算机学会会刊,中国自然科学核心期刊, issn 1000-1239, coden jyyfey), pp.11042-1045, 2001年9月. {被ei收录}.
[4] 卢建朱,陈火炎,林飞,基于智能卡的认证加密方案,小型微型计算机系统,21卷10期,(中国自然科学核心期刊,issn 1000-1220,coden xwjxeh) pp.1065-1066,文章编号: 1000-1220(2000)10-1065-02,2000年10月.
[3] 陈火炎,曾毅辉,client/server 系统处理分布的离散模型,计算机科学,26卷7期,1999.7, pp.47-50.
[2] t.h.tse, t.y.chen, h.y.chen(陈火炎), h.l.xie, the application of prolog to structured design, 英国国际期刊 software: practice and experience, vol.24(7), 659-676, july 1994, (香港政府资助项目). {被sci收录, 被sci引用, 被ei收录,入inspec }.
[1] h.k.ma, y.f.chan, h.y.chen(陈火炎), f.t.chan, t.y.chen, use of expert system in teaching family planning, 澳洲1991.12月 ascilite'91 国际会议及论文集.(香港政府资助项目).其修改稿发表于英国国际期刊computer education, vol.24, no.4, p293-298, 1995, elsever science ltd. {被ei收录}.
科研成果奖: 已获教育部提名国家科学技术奖自然科学奖贰等奖一个(属软件工程领域),广东省自然科学成果三等奖两个(一个属软件工程领域,一个属知识工程领域),省教育厅科技进步二等奖一个(属知识工程领域),省教育厅科技进步三等奖一个(属知识工程领域)。
培养研究生的情况: 已培养计算机专业各类研究生19人,其工作单位有大专院校、政府机构、it企业(如google, ibm, bea 等)。主要开设的研究生课有:高级软件工程、逻辑程序设计和知识工程。
( 以上源于暨大本人原网页z6尊龙旗舰厅 copyright 2007.12; 2016.9、2019.5略作部分补充。)
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
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. “
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.
-
个人简介
-
biography
-
contact by scholat