陆健的主要成就
作为学术带头人，陆健教授的“面向互联网的软件方法与技术”团队分别于2005年和2007年入选“教育部创新团队”和“国家自然科学基金委创新研究群体”。2007年和2012年，由他负责的“计算机软件新技术国家重点实验室”连续两次被评为信息领域优秀国家重点实验室。先后承担国家973重大基础研究计划、国家863高技术、国家科技重点项目、国家攀登计划、国家自然科学基金、国际合作等项目20余项。
在国内外主要期刊和国际会议论文集发表论文150余篇，授权专利11项，合著学术专著2部。序号人员姓名出版年份1吕肖兴陶先平黄常环境软件显式技术中国科学丛书F 20132吕春魏松杨启良上下文相关图形分析软件学报20123邹阳并行挖掘的图形方法吕建曾晓琴小型微机系统2065438。+014吕肖星陶先平曹鱼雨平网络化软件环境驱动模型及支撑技术研究；中国科学系列F 20085《软件可视化与信息可视化专刊》前言软件学报20086杨福清吕健网络化软件技术系统:一种以体系结构为中心的方法中国科学系列F 20087陆张峰网络化软件。信任驱动的体系结构服务选择机制软件学报20088吕肖兴陶先平软件学报20069梅建软件体系结构专刊介绍软件学报200610吕肖兴陶郝中国科学F系列联网软件的研究与进展200611王元。吕阿林网络化软件信任度量与演化模型软件学报200612吕先平马晓星徐季春基于Agent的网络化软件模型研究中国科学丛书F 200513冯新宇陆曹健建农通用移动Agent通信框架设计软件学报200314徐峰陆建政伟曹春义软件服务协作中的信任评估模型设计软件学报200315李斌吕建朱 吴智能代理结构软件期刊200316陶先平吕肖星移动代理系统基准模型研究电子期刊200217李曹健新宇陶先平安全研究软件期刊2。 00218徐峰、陆健《Web安全中信任管理的研究与进展》软件期刊200219马晓星、陆健《分布式Web服务器技术概述》计算机科学200220陆健、、张明、陶先平《基于移动代理技术的构件软件框架研究》软件期刊20021陆健、费祥林《未来软件的呼唤》ISFST-99第四。第四届未来软件技术国际会议计算机科学200022吕剑费祥麟对未来软件的呼唤——is FST-99第四届未来软件技术国际会议计算机科学200023吕剑SEIS++:一种面向油气勘探的软件构建与集成的模型语言中国计算机学报200024陶先平陆桓一种结构化移动代理。迁移机制软件的设计与实现学报200025杨大军，陆健，基于数据分解的并发面向对象编程方法软件学报200026陆健，费祥麟，王静莹，面向对象技术进展计算机科学200027李英俊，陆健，马晓星，设计一个层次化的面向对象并行计算框架在大川电子学报200028陆陪同大川支持多个并行计算模型的定向。对象框架研究软件学报199929李英俊、陆健、面向对象科学计算工作空间管理框架的计算机研发19930李英俊、陆健、王红林、应用研究软件学报面向对象应用框架在油气勘探领域的应用19931张明吕健、杨大军、陶先平、软件学报基于双层结构的继承异常处理方法6 5438+099932陶先平 移动agent:一种未来的分布式计算模型计算机科学19933，陆健，科学计算领域的面向对象并行应用框架，计算机工程与科学199834陆健的数据精化规则的可靠性和完备性研究，中国科学系列F 199735张家中，陆健，徐。 嘉福设计软件学报一种图形化的面向对象的需求定义语言199636张钟路徐健嘉福软件需求工程评论计算机科学19537卢健飞明宗HOS规范的功能理解及其应用软件学报199538鲁健徐家福NDSAIL系统归纳结论的正确性判据及其自动确认方法中国计算机学报65438。+099339吕嘉福的《软件功能实例规范到软件功能形式规范的自动转换》杂志199240费吕陈志健道嘉福机器学习计算机科学199141吕健的广谱规范语言FGSPEC的设计计算机研发19142吕健的算法的设计。