软件学报专刊

吕建以探索建立新型软件方法学作为重大科学问题导向，长期坚持该领域的基础研究、技术创新与应用实践，在软件基础理论与方法、网构软件方法学、新型软件平台及应用方面取得了系统性和创新性的成果，为中国软件事业的发展作出了重要贡献。 作为学术带头人，吕建教授的“面向Internet的软件方法与技术”团队于2005年和2007年分别入选“教育部创新团队”和“国家自然科学基金委创新研究群体”；由他担任主任的“计算机软件新技术国家重点实验室”于2007年与2012年连续两次获评信息领域优秀国家重点实验室。 先后承担国家973重大基础研究计划、国家863高技术、国家科技攻关计划、国家攀登计划、国家自然科学基金和国际合作等项目20余项。他在国内外主要刊物与国际会议论文集上发表论文150余篇，授权专利11项，合著学术专著2部。 序号人员名称刊物年份1吕建 马晓星 陶先平 黄宇 余萍 许畅面向网构软件的环境显式化技术中国科学F辑20132邹阳 吕建 曹春 胡昊 宋巍 杨启亮上下文相关图文法的表达能力分析软件学报20123邹阳 吕建 曾晓勤并行性挖掘的图文法方法小型微型计算机系统20114吕建 马晓星 陶先平 曹春 黄宇 余萍面向网构软件的环境驱动模型与支撑技术研究中国科学F辑20085张康 吕建软件可视化和信息可视化专刊前言 软件学报20086杨芙清 吕建 梅宏网构软件技术体系:一种以体系结构为中心的途径中国科学F辑20087王远 吕建 徐锋 张林一种面向网构软件体系结构的信任驱动服务选取机制软件学报20088胡海洋 吕建 马晓星 陶先平面向对象范型体系结构中构件行为相容性研究软件学报20069梅宏 吕建软件体系结构专刊前言 软件学报200610吕建 马晓星 陶先平 徐锋 胡昊网构软件的研究与进展中国科学F辑200611王远 吕建 徐锋 张林一个适用于网构软件的信任度量及演化模型软件学报200612吕建 陶先平 马晓星 胡昊 徐锋 曹春基于Agent的网构软件模型研究中国科学F辑200513冯新宇 吕建 曹建农通用的移动Agent通信框架设计软件学报200314徐锋 吕建 郑玮 曹春一个软件服务协同中信任评估模型的设计软件学报200315李斌 吕建 朱梧基于情境演算的智能体结构 软件学报200316陶先平 吕建 马晓星 胡昊移动agent系统基准模型的研究电子学报200217李新 吕建 曹春 冯新宇 陶先平移动Agent系统的安全性研究软件学报200218徐锋 吕建Web安全中的信任管理研究与进展软件学报200219马晓星 吕建分布式Web服务器技术综述 计算机科学200220吕建 张鸣 廖宇 陶先平基于移动Agent技术的构件软件框架研究软件学报200021吕建 费翔林未来软件的呼唤记ISFST-99第四届未来软件技术国际学术会议计算机科学200022吕建 费翔林未来软件的呼唤——记ISFST-99第四届未来软件技术国际学术会议 计算机科学200023李英军 吕建 刘鸿儒SEIS++:一个油气勘探领域软件建造和集成的模式语言计算机学报200024陶先平 吕建 张冠群 李新 董桓一种移动agent结构化迁移机制的设计和实现软件学报200025杨大军 吕建基于数据分解的并发面向对象程序开发方法软件学报200026吕建 费翔林 王静英前进中的面向对象技术 计算机科学200027李英军 吕建 于大川 马晓星一个层次式面向对象并行计算框架的设计电子学报200028吕建 陆陪 于大川支持多种并行计算模型的面向对象框架研究软件学报199929李英军 吕建面向对象科学计算工作空间管理框架计算机研究与发展199930李英军 吕建 王宏琳面向对象应用框架在油气勘探领域的应用研究软件学报199931张鸣 吕建 杨大军 陶先平基于双层类结构的继承异常处理方法 软件学报199932陶先平 吕建 董桓 李新流动agent:一种未来的分布计算模式计算机科学199933李英军 吕建一个科学计算领域的面向对象并行应用框架计算机工程与科学199834吕建数据精化规则的可靠与完备集研究中国科学F辑199735张家重 吕建 王志坚 徐家福一种图形化对象式需求定义语言的设计软件学报199636张家重 吕建 徐家福软件需求工程述评 计算机科学199537吕建 费宗铭HOS规格说明的功能理解及其应用软件学报199538吕建 徐家福NDSAIL系统的归纳结论正确性准则及其自动确认方法计算机学报199339吕建 徐家福从软件功能实例规格说明到软件功能形式规格说明的自动转换 软件学报199240费宗铭 吕建 王志坚 陈道蓄 徐家福机器学习计算机科学199141吕建广谱规格说明语言FGSPEC的设计 计算机研究与发展199142吕建算法设计自动化研究综述 计算机科学1988

张凯龙的本命是男，陕西凤翔人；工学博士、法国MINES ParisTech博士后西北工业大学软件学院 教授、博士生导师[1]西北工业大学—巴黎高科MINES机器人与群智能系统联合实验室 主任[1]陕西省计算机教育学会 常务理事（2022-2025）[1]中国计算机学会杰出会员、嵌入式系统专委秘书长（2020-2023）[1]第二届中国嵌入式系统十大杰出青年[1]法中科学与应用基金会“卡恩·冈”奖获得者[1][3]

张凯龙现为西北工业大学软件学院教授、博士生导师，任西北工业大学—巴黎高科MINES机器人与群智能系统联合实验室主任、中国计算机学会（CCF）嵌入式系统专委会秘书长、陕西省计算机教育学会常务理事、IJNDC国际期刊共同主编、软件学报与计算机研究与发展等一流中文期刊的专刊客座编辑等。

张凯龙的本命是谁反应是一个比较现代化的词汇，因为在现在的很多年轻人当中本命指的是自己最喜欢的明星的意思，所以张凯龙的本命是迪丽热巴

张凯龙的本命是机遇，张凯龙现为西北工业大学软件学院教授、博士生导师，任西北工业大学—巴黎高科MINES机器人与群智能系统联合实验室主任、中国计算机学会（CCF）嵌入式系统专委会秘书长、陕西省计算机教育学会常务理事、IJNDC国际期刊共同主编、软件学报与计算机研究与发展等一流中文期刊的专刊客座编辑等。主要研究方向包括实时智能系统与软件、协作式智能交通系统、空天地群智能协同系统等，主持国家自然科学基金3项，陕西省科技计划项目、国家预研联合等10余项。