作者搜索
新闻
  19.7.23
ScholarSpace计算机中文文献导读已更新到2019年6月!
  19.5.9
计算机学科排名系统ScholarRankings v2.0发布,新增领域选择和排名方式选择功能。
  19.4.27
学术引用系统ScholarCitation v1.0发布,基于计算机领域82826篇期刊论文间的引用关系,评估学术影响力。
  18.1.9
计算机学科排名系统ScholarRankings v1.0发布,其旨在改善原有排名方法,激励国内高校和教师积极参与计算机各个领域的研究,学者与学校的排名不仅取决于论文数量,排名结果更具有参考性(排名算法参考CSRankings)。
  17.11.9
学者关系知识图谱ScholarGraph v1.0发布,涵盖七大领域(计算机、经济、管理、物理、地理、考古、教育)673,044位学者、1,068,928篇论文的数据,共计10,612,497个三元组,每个领域下均有作者、期刊、论文、论文实体,以及论文发表、论文出版关系等。
  17.10.25
学者谱系检索系统ScholarTree(DegreeTree v2.0)系统发布,现已收录53个领域4,003,276条学位论文(涉及53个领域),挖掘出4,643,028条师生关系。

软件工程、系统软件与程序设计

查看收录最多的机构 查看收录最多的作者查看论文列表

分类收文单位排序Top20

1 中国科学院 546(篇)2 南京大学 335(篇)
3 上海交通大学 280(篇)4 北京大学 277(篇)
5 北京航空航天大学 254(篇)6 国防科技大学 245(篇)
7 清华大学 244(篇)8 华中科技大学 226(篇)
9 复旦大学 220(篇)10 中国科学技术大学 200(篇)
11 武汉大学 193(篇)12 国防科学技术大学 159(篇)
13 浙江大学 147(篇)14 东南大学 115(篇)
15 西安交通大学 115(篇)16 南京航空航天大学 112(篇)
17 西北工业大学 110(篇)18 哈尔滨工业大学 102(篇)
19 上海大学 100(篇)20 同济大学 90(篇)

分类收文作者排序Top20

1 徐宝文 87(篇)2 梅宏 82(篇)3 赵文耘 74(篇)4 李宣东 63(篇)
5 吕建 62(篇)6 郑国梁 61(篇)7 王怀民 55(篇)8 齐治昌 52(篇)
9 彭鑫 52(篇)10 卢炎生 51(篇)11 王戟 48(篇)12 黄志球 46(篇)
13 姜淑娟 46(篇)14 吴泉源 42(篇)15 缪淮扣 40(篇)16 李彤 40(篇)
17 应时 40(篇)18 杨芙清 39(篇)19 刘超 38(篇)20 宫云战 37(篇)

该分类收录论文列表(共8437篇)

No. 论文信息 被引数
2019
8437 梅宏 金芝 郝丹 . 软件学科发展回顾特刊前言. 软件学报, 2019, (01): 0
8436 马晓星 刘譞哲 谢冰 余萍 张天 卜磊 李宣东 . 软件开发方法发展回顾与展望. 软件学报, 2019, (01): 1
8435 王怀民 毛晓光 丁博 沈洁 罗磊 任怡 . 系统软件新洞察. 软件学报, 2019, (01): 0
8434 王戟 詹乃军 冯新宇 刘志明 . 形式化方法概貌. 软件学报, 2019, (01): 0
8433 荣国平 张贺 邵栋 王青 . 软件过程与管理方法综述. 软件学报, 2019, (01): 0
8432 张健 张超 玄跻峰 熊英飞 王千祥 梁彬 李炼 窦文生 陈振邦 陈立前 蔡彦 . 程序分析研究进展. 软件学报, 2019, (01): 1
8431 金芝 刘芳 李戈 . 程序理解:现状与未来. 软件学报, 2019, (01): 0
8430 张文 李自强 杜宇航 杨叶 . 方法级别的细粒度软件缺陷定位方法. 软件学报, 2019, (02): 0
8429 李斌 贺也平 马恒太 . 程序自动修复:关键问题及技术. 软件学报, 2019, (02): 0
8428 张卓 谭庆平 毛晓光 雷晏 常曦 薛建新 . 增强上下文的错误定位技术. 软件学报, 2019, (02): 0
8427 陈秋远 李善平 鄢萌 夏鑫 . 代码克隆检测研究进展. 软件学报, 2019, (04): 0
8426 胡星 李戈 刘芳 金芝 . 基于深度学习的程序生成与补全技术研究进展. 软件学报, 2019, (05): 0
8425 周风顺 王林章 李宣东 . C/C++程序缺陷自动修复与确认方法. 软件学报, 2019, (05): 0
8424 王甜甜 许家欢 王克朝 苏小红 . 示例演化驱动的学生程序自动修复. 软件学报, 2019, (05): 0
8423 蔡亮 范元瑞 鄢萌 夏鑫 . 即时软件缺陷预测研究进展. 软件学报, 2019, (05): 0
8422 倪超 陈翔 刘望舒 顾庆 黄启国 李娜 . 基于特征迁移和实例迁移的跨项目缺陷预测方法. 软件学报, 2019, (05): 0
8421 朱亚伟 左志强 王林章 李宣东 . C程序内存泄漏智能化检测方法. 软件学报, 2019, (05): 0
8420 汪昕 陈驰 赵逸凡 彭鑫 赵文耘 . 基于深度学习的API误用缺陷检测. 软件学报, 2019, (05): 0
8419 卜依凡 刘辉 李光杰 . 一种基于深度学习的上帝类检测方法. 软件学报, 2019, (05): 0
8418 张天伦 陈荣 杨溪 祝宏玉 . 基于代价极速学习机的软件缺陷报告分类方法. 软件学报, 2019, (05): 0
8417 张洋 王涛 吴逸文 尹刚 王怀民 . 基于嵌入模型的混合式相关缺陷关联方法. 软件学报, 2019, (05): 0
8416 章晓芳 朱灿 . 代码坏味对软件演化影响的实证研究. 软件学报, 2019, (05): 0
8415 何柳柳 杨羊 李征 赵瑞莲 . 面向持续集成测试优化的强化学习奖励机制. 软件学报, 2019, (05): 0
8414 马春燕 李尚儒 王慧朝 张磊 张涛 . 敏感变量和感知机结合的测试预言生成方法. 软件学报, 2019, (05): 0
8413 宋利 刘靖 . 基于SOM神经网络的二阶变异体约简方法. 软件学报, 2019, (05): 0
  查看全部(共116篇)>>
2018
8321 杨克 贺也平 马恒太 王雪飞 . 精准执行可达性分析:理论与应用. 软件学报, 2018, (01): 1-23 0
8320 赵天琪 赵海燕 张伟 金芝 . 基于模型的自适应方法综述. 软件学报, 2018, (01): 23-42 0
8319 刘剑 苏璞睿 杨珉 和亮 张源 朱雪阳 林惠民 . 软件与网络安全研究综述. 软件学报, 2018, (01): 42-69 4
8318 章晓芳 冯洋 刘頔 陈振宇 徐宝文 . 众包软件测试技术研究进展. 软件学报, 2018, (01): 69-89 0
8317 栗元邦 彭蓉 季晶晶 王帮超 赖涵 . 经验研究中情景感知需求获取与建模系统文献综述. 软件学报, 2018, (02): 320-340 0
8316 陈翔 王莉萍 顾庆 王赞 倪超 刘望舒 王秋萍 . 跨项目软件缺陷预测方法研究综述. 计算机学报, 2018, (01): 254- 1
8315 刘望舒 陈翔 顾庆 刘树龙 陈道蓄 . 一种面向软件缺陷预测的可容忍噪声的特征选择框架. 计算机学报, 2018, (03): 506-521 3
8314 王赞 郜健 陈翔 傅浩杰 樊向宇 . 自动程序修复方法研究述评. 计算机学报, 2018, (03): 588-611 1
8313 苏小红 张凡龙 . 面向管理的克隆代码研究综述. 计算机学报, 2018, (03): 628-652 0
8312 张艳梅 姜淑娟 张妙 鞠小林 . 集成测试中的类测试顺序生成技术述评. 计算机学报, 2018, (03): 670-695 0
8311 于巧 姜淑娟 张艳梅 王兴亚 高鹏飞 钱俊彦 . 分类不平衡对软件缺陷预测模型性能的影响研究. 计算机学报, 2018, (04): 809-825 2
8310 张艳梅 姜淑娟 陈若玉 王兴亚 张妙 . 基于粒子群优化算法的类集成测试序列确定方法. 计算机学报, 2018, (04): 931-946 3
8309 卓欣欣 白晓颖 许静 李恩鹏 刘喻 康介恢 宋文莉 . 服务接口测试自动化工具的研究. 计算机研究与发展, 2018, (02): 358-377 0
8308 苏华友 温文 李东升 . 面向GPU的单颗粒冷冻电镜软件RELION并行与优化. 计算机研究与发展, 2018, (02): 409-418 0
8307 程雪梅 杨秋辉 翟宇鹏 陈伟 . 基于半监督聚类方法的测试用例选择技术. 计算机科学, 2018, (01): 249-255 0
8306 黄钰尧 李凤英 常亮 孟瑜 . 基于符号零压缩二叉决策图的组合测试用例生成方法. 计算机科学, 2018, (01): 255-261 0
8305 弋泽龙 温玉梅 林燕敏 陈伟庭 吕冠宇 . 多层缺陷关联效应对软件可靠性增长过程的影响. 计算机科学, 2018, (02): 241-249 0
8304 郑明 李彤 莫启 周小煊 向文坤 何云 . 构件动态演化内部一致性保证方法. 计算机科学, 2018, (03): 151-158 0
8303 冉正 罗蕾 晏华 李允 . AUTOSAR可运行实体-任务自动映射方法研究. 计算机科学, 2018, (04): 0
8302 张晓文 贾向阳 常亮 刘钱超 胡小辉 . 一种基于Actor模型的并行动态符号执行方法. 小型微型计算机系统, 2018, (01): 12-17 0
8301 李龙澍 翁晴晴 . 应用自适应差分进化算法优化测试数据研究. 小型微型计算机系统, 2018, (02): 292-297 0
8300 李龙澍 郭紫梦 . 应用混沌果蝇算法的路径覆盖测试用例优化技术研究. 小型微型计算机系统, 2018, (02): 362-367 0
8299 蒋刚 李兆鹏 . C程序分析工具中程序切片的设计与实现. 小型微型计算机系统, 2018, (03): 401-406 0
8298 钟林辉 夏鲸 彭云 谢冰 . 一种图编辑距离的软件体系结构变化性度量方法及应用研究. 小型微型计算机系统, 2018, (03): 425-433 0
8297 高颖慧 杨亚东 张源 杨珉 . 使用指向分析的安卓库函数数据流摘要方法. 小型微型计算机系统, 2018, (04): 686-694 0
  查看全部(共124篇)>>
2017
8197 何王全 刘勇 方燕飞 魏迪 漆锋滨 . 面向国产异构众核系统的Parallel C语言设计与实现. 软件学报, 2017, (04): 764-786 0
8196 张恒若 付明 . 基于Z3的Coq自动证明策略的设计和实现. 软件学报, 2017, (04): 819-827 0
8195 李筱 周严 李孟宸 陈园军 XU Guo-Qing 王林章 李宣东 . C/C++程序静态内存泄漏警报自动确认方法. 软件学报, 2017, (04): 827-845 2
8194 何啸 李文峰 张天 麻志毅 邵维忠 胡长军 . 一种随机化的软件模型生成方法. 软件学报, 2017, (04): 907-925 1
8193 翟娟 汤震浩 李彬 赵建华 李宣东 . 常用循环摘要的自动生成方法及其应用. 软件学报, 2017, (05): 1051-1070 0
8192 张璇 王旭 李彤 白川 康燕妮 . 软件非功能需求权衡代价. 软件学报, 2017, (05): 1247-1271 0
8191 刘璘 周明辉 尹刚 . 大数据时代软件工程专题前言. 软件学报, 2017, (06): 0
8190 杨波 于茜 张伟 吴际 刘超 . GitHub开源软件开发过程中影响因素的相关性分析. 软件学报, 2017, (06): 1
8189 张宇霞 周明辉 张伟 赵海燕 金芝 . OpenStack开源社区中商业组织的参与模式. 软件学报, 2017, (06): 2
8188 徐培兴 陈伟 吴国全 高楚舒 魏峻 . 一种面向软件配置管理制品的层次分类方法. 软件学报, 2017, (06): 0
8187 黎宣 王千祥 金芝 . 基于增强描述的代码搜索方法. 软件学报, 2017, (06): 2
8186 黄袁 刘志勇 陈湘萍 熊英飞 罗笑南 . 基于关键类判定的代码提交理解辅助方法. 软件学报, 2017, (06): 0
8185 何吉元 孟昭鹏 陈翔 王赞 樊向宇 . 一种半监督集成跨项目软件缺陷预测方法. 软件学报, 2017, (06): 2
8184 蔡维德 郁莲 王荣 刘娜 邓恩艳 . 基于区块链的应用系统开发方法研究. 软件学报, 2017, (06): 10
8183 俞一峻 刘春 . 小模型大数据:一种分析软件行为的代数方法. 软件学报, 2017, (06): 0
8182 王焘 张文博 徐继伟 魏峻 钟华 . 云环境下基于统计监测的分布式软件系统故障检测技术研究. 计算机学报, 2017, (02): 397-414 1
8181 张密 杨力 张俊伟 . FuzzerAPP:Android应用程序组件通信鲁棒性测试. 计算机研究与发展, 2017, (02): 338-348 1
8180 李吟 . 基于接口契约的有状态Web服务用例集生成. 计算机研究与发展, 2017, (03): 609-623 0
8179 傅艺绮 董威 尹良泽 杜雨晴 . 基于组合机器学习算法的软件缺陷预测模型. 计算机研究与发展, 2017, (03): 633-642 2
8178 杨阳 吴际 苑春春 刘超 杨海燕 邢亮 . 面向DO-178C软件测试过程的目标符合性论证模式. 计算机研究与发展, 2017, (03): 654-669 0
8177 苏宁 郭俊霞 李征 赵瑞莲 . 基于EFSM不定型切片测试用例自动生成的研究. 计算机研究与发展, 2017, (03): 669-680 0
8176 郭艳燕 张楠 童向荣 . UML顺序图形式化语义的研究综述. 计算机科学, 2017, (02): 17-31 0
8175 陈洁琼 姜淑娟 张争光 . 基于数据流准则的测试用例生成方法. 计算机科学, 2017, (02): 107-112 0
8174 邓维 李兆鹏 . 形状分析符号执行引擎中的状态合并. 计算机科学, 2017, (02): 209-216 0
8173 何海洋 李强 余祥 韩翔宇 . 基于高阶π演算的构件演化行为研究. 计算机科学, 2017, (03): 202-209 0
  查看全部(共173篇)>>
2016
8024 陈翔 顾庆 刘望舒 刘树龙 倪超 . 静态软件缺陷预测方法研究. 软件学报, 2016, (01): 1-26 14
8023 于文静 赵海燕 张伟 金芝 . 基于特征模型的软件产品自动导出方法综述. 软件学报, 2016, (01): 26-45 0
8022 张锡哲 吕天阳 张斌 . 基于服务交互行为的复杂服务协同网络建模. 软件学报, 2016, (02): 231-247 1
8021 詹乃军 王戟 李宣东 . 软件形式化方法与应用专题前言. 软件学报, 2016, (03): 495-497 0
8020 陈睿 杨孟飞 郭向英 . 基于变量访问序模式的中断数据竞争检测方法. 软件学报, 2016, (03): 547-562 1
8019 吕江花 高世伟 马世龙 孙波 李先军 . 安全苛刻系统测试语言中的测试设备协同语句. 软件学报, 2016, (03): 562-580 0
8018 汤恩义 周岩 欧建生 陈鑫 . 面向条件判定覆盖的线性拟合制导测试生成. 软件学报, 2016, (03): 593-611 0
8017 杨志斌 赵永望 黄志球 胡凯 马殿富 Jean-Paul BODEVEIX Mamoun FILALI . 同步语言的时间可预测多线程代码生成方法. 软件学报, 2016, (03): 611-633 2
8016 陈鑫 黄超 张一帆 梅一鸣 . 面向方面设计中干涉问题的分析工具. 软件学报, 2016, (03): 633-645 1
8015 李征 巩敦卫 聂长海 江贺 . 基于搜索的软件工程研究专题前言. 软件学报, 2016, (04): 769-771 0
8014 玄跻峰 任志磊 王子元 谢晓园 江贺 . 自动程序修复方法研究进展. 软件学报, 2016, (04): 771-785 4
8013 夏春艳 张岩 宋丽 . 基于节点概率的路径覆盖测试数据进化生成. 软件学报, 2016, (04): 802-814 1
8012 丁蕊 董红斌 张岩 冯宪彬 . 基于关键点路径的快速测试用例自动生成方法. 软件学报, 2016, (04): 814-814 2
8011 姚香娟 巩敦卫 李彬 . 融入神经网络的路径覆盖测试数据进化生成. 软件学报, 2016, (04): 828-839 1
8010 吴川 巩敦卫 姚香娟 . 基于分支覆盖的回归测试路径选择. 软件学报, 2016, (04): 839-855 1
8009 曾梦凡 陈思洋 张文茜 聂长海 . 利用蚁群算法生成覆盖表:探索与挖掘. 软件学报, 2016, (04): 855-879 0
8008 王赞 樊向宇 邹雨果 陈翔 . 一种基于遗传算法的多缺陷定位方法. 软件学报, 2016, (04): 879-901 2
8007 路红 张莉 岳涛 . 面向产品线交互配置不一致性修复的差分IBEA算法. 软件学报, 2016, (04): 901-916 0
8006 郑宇军 张蓓 薛锦云 . 软件形式化开发关键部件选取的水波优化方法. 软件学报, 2016, (04): 933-943 2
8005 边毅 袁方 郭俊霞 李征 赵瑞莲 . 面向CPU+GPU异构计算的多目标测试用例优先排序. 软件学报, 2016, (04): 943-955 2
8004 沈国华 黄志球 谢冰 朱羿全 廖莉莉 王飞 刘银陵 . 软件可信评估研究综述:标准、模型与工具. 软件学报, 2016, (04): 955-969 1
8003 周维 周可人 栾钟治 姚绍文 钱德沛 . 基于共享内存的多核时代数据结构研究. 软件学报, 2016, (04): 1009-1026 0
8002 杜一 郭旦怀 陈昕 任磊 戴国忠 . 一种模型驱动的可视化生成系统. 软件学报, 2016, (05): 1199-1212 2
8001 胡洁 王青 . 一种软件特征模型扩展和演化分析方法. 软件学报, 2016, (05): 1212-1230 0
8000 王伟光 曾庆凯 孙浩 . 面向危险操作的动态符号执行方法. 软件学报, 2016, (05): 1230-1246 4
  查看全部(共165篇)>>
2015
7859 郭曦 王盼 . 相关路径静态分析中协同式逆向推理方法. 软件学报, 2015, (01): 411-411 1
7858 包晓安 谢晓鸣 张娜 曹建文 桂宁 . 基于缺陷关联度的Markov模型软件优化测试策略. 软件学报, 2015, (01): 411-411 2
7857 李宣东 刘超 毛晓光 . 安全攸关软件系统建模与验证专题前言. 软件学报, 2015, (02): 411-411 0
7856 杨志斌 胡凯 赵永望 马殿富 Jean-Paul BODEVEIX . 基于时间抽象状态机的AADL模型验证. 软件学报, 2015, (02): 411-411 0
7855 侯刚 周宽久 常军旺 王洁 李明楚 . 基于时间STM的软件形式化建模与验证方法. 软件学报, 2015, (02): 411-411 0
7854 张一帆 黄超 欧建生 汤恩义 陈鑫 . 设备驱动程序可靠性和正确性保障方法与技术研究进展. 软件学报, 2015, (02): 411-411 0
7853 杨波 吴际 刘超 . 基于数据链的软件故障定位方法. 软件学报, 2015, (02): 411-411 2
7852 甘水滔 秦晓军 陈左宁 王林章 . 一种基于特征矩阵的软件脆弱性代码克隆检测方法. 软件学报, 2015, (02): 411-411 1
7851 单黎君 周兴社 王宇英 赵雷 万丽景 乔磊 陈建新 . 信息物理融合系统控制软件的统计模型检验. 软件学报, 2015, (02): 411-411 1
7850 陈翔 鞠小林 文万志 顾庆 . 基于程序频谱的动态缺陷定位方法研究. 软件学报, 2015, (02): 411-411 8
7849 徐丙凤 黄志球 胡军 魏欧 李伟湋 . 一种状态事件故障树的时间特性分析方法. 软件学报, 2015, (02): 411-411 3
7848 凌济民 张莉 . 基于过程结构树的过程模型变体匹配技术. 软件学报, 2015, (03): 411-411 1
7847 余阳 王颍 刘醒梅 陈健 . 基于社会关系的工作流任务分派策略研究. 软件学报, 2015, (03): 411-411 3
7846 文一凭 刘建勋 陈志刚 . 面向实例方面处理的工作流动态调度优化方法. 软件学报, 2015, (03): 411-411 0
7845 朱鑫伟 朱国宾 Seppe VANDEN BROUCKE . 地理空间约束的业务流程建模方法. 软件学报, 2015, (03): 411-411 0
7844 郑龙 廖小飞 吴松 金海 . 一种用于多线程程序性能分析的重放系统. 计算机研究与发展, 2015, (01): 411-411 1
7843 王金水 翁伟 彭鑫 . 一种基于句法分析的跟踪关系恢复方法. 计算机研究与发展, 2015, (03): 0
7842 杜家利 于屏方 . 花园幽径现象理解折返性的数据结构分析. 中文信息学报, 2015, (01): 2
7841 巩庆奎 张常有 张先轶 张云泉 . 基于Julia语言的并行计算方法初探. 计算机科学, 2015, (01): 411-411 0
7840 何炎祥 杨建康 鲍海洲 冉亚洛 郭波波 杨建喜 . 基于群体智慧的软件开发间层模型及其架构实现. 计算机科学, 2015, (01): 411-411 0
7839 王权于 吕国斌 应时 周峰 . 一种策略驱动的BPEL流程异常处理框架. 计算机科学, 2015, (01): 411-411 0
7838 董昱 高雪娟 . 基于场景的联锁软件形式化模型生成方法. 计算机科学, 2015, (01): 411-411 0
7837 钟林辉 宗洪雁 . 基于本体的构件化软件演化信息获取及度量研究. 计算机科学, 2015, (01): 411-411 0
7836 王聪 王智学 徐友云 . 基于UML的面向C4ISR能力需求分析的对象建模语言. 计算机科学, 2015, (02): 411-411 0
7835 何鹏 李兵 杨习辉 熊伟 . 开源软件社区开发者偏好合作行为研究. 计算机科学, 2015, (02): 411-411 1
  查看全部(共185篇)>>
2014
7674 黄志球 徐丙凤 阚双龙 胡军 陈哲 . 嵌入式机载软件安全性分析标准、方法及工具研究综述. 软件学报, 2014, (02): 200-219 11
7673 王博 白晓颖 贺飞 Xiaoyu SONG . 可组合嵌入式软件建模与验证技术研究综述. 软件学报, 2014, (02): 234-254 1
7672 荣国平 刘天宇 谢明娟 陈婕妤 张贺 陈道蓄 . 嵌入式系统开发中敏捷方法的应用研究综述. 软件学报, 2014, (02): 0
7671 赵会群 孙晶 张爆 王同林 . 嵌入式API测试套生成方法和技术. 软件学报, 2014, (02): 373-386 0
7670 张大林 金大海 宫云战 王前 董玉坤 张海龙 . 基于缺陷关联的静态分析优化. 软件学报, 2014, (02): 386-400 2
7669 尹玲 陈小红 刘静 . 信息物理融合系统的时间需求一致性分析. 软件学报, 2014, (02): 2
7668 孟祥武 王凡 史艳翠 张玉洁 . 移动用户需求获取技术及其应用. 软件学报, 2014, (03): 439-457 4
7667 伍晓泉 魏峻 . 基于事件结构的并发程序可视化调试方法. 软件学报, 2014, (03): 457-472 0
7666 衷璐洁 霍玮 李龙 李丰 冯晓兵 张兆庆 . 一种场景敏感的高效错误检测方法. 软件学报, 2014, (03): 472-489 1
7665 吕江花 马世龙 李先军 高世伟 . 安全苛刻系统自动化测试的形式化语义模型. 软件学报, 2014, (03): 489-506 0
7664 李轶 吴文渊 冯勇 . 有界闭域上的线性赋值循环终止性分析. 软件学报, 2014, (06): 1133-1143 0
7663 刘晓娴 赵荣彩 赵捷 徐金龙 . 面向规则DOACROSS循环的流水并行代码自动生成. 软件学报, 2014, (06): 1154-1169 1
7662 陈理国 刘超 . 基于高斯过程的缺陷定位方法. 软件学报, 2014, (06): 1169-1180 1
7661 张鹏 刘磊 刘华虓 金英 . Tabular表达式的指称语义研究. 软件学报, 2014, (06): 1212-1225 0
7660 陈星 张颖 张晓东 武义涵 黄罡 梅宏 . 基于运行时模型的多样化云资源管理方法. 软件学报, 2014, (07): 2
7659 苏小红 龚丹丹 王甜甜 马培军 . 结合用例约简与联合依赖概率建模的错误定位. 软件学报, 2014, (07): 2
7658 韩乐 黎铭 . 基于代价敏感多标记学习的开源软件分类. 软件学报, 2014, (09): 1982-1992 1
7657 宋平 刘轶 刘驰 张晶晶 钱德沛 郝沁汾 . 一种支持细粒度并行的SDN虚拟化编程框架. 软件学报, 2014, (10): 0
7656 巩敦卫 任丽娜 . 回归测试数据进化生成. 计算机学报, 2014, (03): 489-500 1
7655 郝鹏 郑征 张震宇 高乙超 宫成 薛云志 . 基于谓词执行信息分析的自适应缺陷定位算法. 计算机学报, 2014, (03): 500-512 2
7654 许蕾 李言辉 陈林 宫敏 颜友军 徐宝文 . 一种面向用户需求的Web服务测试方法. 计算机学报, 2014, (03): 512-522 4
7653 杨波 吴际 徐珞 毕考 刘超 . 一种软件测试需求建模及测试用例生成方法. 计算机学报, 2014, (03): 522-539 3
7652 聂坤明 张莉 . 基于模型对比和组合的软件产品线领域需求建模. 计算机学报, 2014, (03): 539-551 3
7651 董瑞志 彭鑫 赵文耘 . 一种基于问题框架的软件密集型系统增量需求问题求解方法. 计算机学报, 2014, (03): 551-568 0
7650 戚晓芳 徐晓晶 江振亮 汪鹏 . 基于偏序约简程序可达图的并发程序切片方法. 计算机学报, 2014, (03): 568-580 0
  查看全部(共231篇)>>
2013
7443 赵方 李兰英 . 基于业务流程的Web应用监控系统研究. 计算机工程, 2013, (02): 0
7442 阮彤 金志超 . 面向跨企业多方协同应用的Web服务安全模型. 计算机工程, 2013, (02): 0
7441 李连伟 刘展 宋冬梅 李东旭 胡利民 . 黄河三角洲脆弱性评价系统的设计与实现. 计算机工程, 2013, (02): 0
7440 周晓莹 高建华 . 用于统计测试概率分布生成的自动搜索方法. 计算机工程, 2013, (02): 0
7439 欧阳柳波 邹北骥 林建 杨贯中 刘丽杰 . 一种软件实用性模糊评估方法. 小型微型计算机系统, 2013, (02): 0
7438 张一川 张斌 刘莹 . 基于SBTM的多租约个性化业务定制系统的研究与实现. 小型微型计算机系统, 2013, (02): 0
7437 罗奇鸣 . 综合利用语句和序列可疑度的软件故障定位方法. 小型微型计算机系统, 2013, (02): 1
7436 季海婧 孙军梅 . 改进量子遗传算法应用于测试数据自动生成的研究. 小型微型计算机系统, 2013, (02): 0
7435 陈霄 吴毅坚 彭鑫 赵文耘 . 采用构件组装技术协同开发Web应用的方法. 计算机科学与探索, 2013, (02): 1
7434 梅宏 王啸吟 张路 . 字符串分析研究进展. 软件学报, 2013, (01): - 0
7433 吴泉源 . 网络计算中间件. 软件学报, 2013, (01): - 1
7432 易立 赵海燕 张伟 金芝 梅宏 . 特征模型融合研究. 计算机学报, 2013, (01): - 2
7431 邵飞 彭蓉 . 一种基于领域知识的非功能需求建模辅助方法. 计算机学报, 2013, (01): - 0
7430 金英 刘华虓 张鹏 . 一种面向方面需求模型的分析与验证方法. 计算机学报, 2013, (01): - 0
7429 尹斌 金芝 李智 . 问题框架方法的可靠性关注点及系统可靠性增强模式. 计算机学报, 2013, (01): - 1
7428 彭蓉 孙栋 赖涵 . 基于知行一致性判定三角的需求维基协作效用评估方法. 计算机学报, 2013, (01): - 0
7427 姜巍 张莉 戴翼 蒋竞 王刚 . 面向用户需求获取的在线评论有用性分析. 计算机学报, 2013, (01): - 3
7426 李龙 赵海燕 张伟 . 特征模型定制的一种自动传播策略与选择性回退机制. 计算机学报, 2013, (01): - 1
7425 衷璐洁 霍玮 李丰 陈聪明 冯晓兵 张兆庆 . 基于传播引擎的指针引用错误检测. 计算机学报, 2013, (02): - 1
7424 张云乾 郑征 季晓慧 张文博 张震宇 . 基于马尔可夫模型的软件错误定位方法. 计算机学报, 2013, (02): - 5
7423 何伟 赵瑞莲 朱群雄 . 基于调用图的类间MM路径自动生成方法研究. 计算机研究与发展, 2013, (02): - 0
7422 叶俊 谭庆平 李暾 . 面向方面程序的属性推断. 计算机研究与发展, 2013, (02): - 0
7421 王昌晶 罗海梅 左正康 . 基于问题模式的形式化软件规格说明生成方法. 计算机研究与发展, 2013, (02): - 1
7420 何加浪 张宏 . 神经网络在软件多故障定位中的应用研究. 计算机研究与发展, 2013, (03): - 2
7419 马艳芳 张敏 陈仪香 . 软件动态正确性的形式化描述. 计算机研究与发展, 2013, (03): - 1
  查看全部(共244篇)>>
2012
7199 王鑫 裘佺 孙洪涛 . Halo:基于Eclipse的逆向工程工具. 计算机工程, 2012, (01): 0
7198 冯径 黄立威 黄伟 . 软件配置构件分类及优化查询方法研究. 计算机工程, 2012, (01): 0
7197 梁广泰 王千祥 . CODAS:一个易扩展的静态代码缺陷分析服务. 计算机科学, 2012, (01): 0
7196 游珍 薛锦云 应时 . Apla语言中并发分布式机制的研究. 计算机科学, 2012, (01): 1
7195 王瑢 贲可荣 . 蜕变关系构造基本准则与策略研究. 计算机科学, 2012, (01): 1
7194 倪友聪 叶鹏 杜欣 肖如良 张琳琳 . 软件体系结构层切点指示器的形式化描述方法. 计算机科学, 2012, (01): 1
7193 谢仲文 李彤 代飞 卢萍 王剑 刘金卓 高提雷 . 基于特征组合的软件需求建模. 计算机科学, 2012, (01): 2
7192 吕海 邸瑞华 龚华 . 大规模结构有限元分析程序在多核集群计算环境中的性能分析和优化. 计算机科学, 2012, (01): 0
7191 刘智 张小松 . 一种基于污点分析的文件型软件漏洞发现方法. 小型微型计算机系统, 2012, (01): 0
7190 柴学智 曹健 . 面向云计算的工作流技术. 小型微型计算机系统, 2012, (01): 4
7189 张剑 胡军 郭丽娟 . 多核处理器架构下面向监控的软件运行时验证方法研究. 小型微型计算机系统, 2012, (01): 1
7188 郁抒思 周水庚 关佶红 . 软件工程数据挖掘研究进展. 计算机科学与探索, 2012, (01): 4
7187 姚香娟 巩敦卫 . 基于路径比较的变异测试方法. 电子学报, 2012, (01): 2
7186 霍玮 李丰 丁兆伟 桑春雷 张兆庆 冯晓兵 . 一种提高时序安全属性静态检测实用性的方法. 计算机学报, 2012, (02): - 0
7185 黄陇 杨宇航 李虎 . 参数配对及n-way组合覆盖算法研究. 计算机学报, 2012, (02): - 1
7184 马峻岩 周兴社 张羽 李士宁 李志刚 . 传感器网络调试研究综述. 计算机学报, 2012, (03): - 2
7183 李海波 战德臣 徐晓飞 . 面向工作流管理系统的动态构件预取方法. 计算机学报, 2012, (05): - 0
7182 梁亚澜 聂长海 . 覆盖表生成的遗传算法配置参数优化. 计算机学报, 2012, (07): - 4
7181 葛季栋 胡海洋 周宇 胡昊 王栋毅 过晓波 . 一种基于不变量的工作流协同模型分解方法. 计算机学报, 2012, (10): - 4
7180 惠战伟 黄松 嵇孟雨 . 基于程序特征谱整数溢出错误定位技术研究. 计算机学报, 2012, (10): - 2
7179 吕烁 文中领 杨帆 张海涛 . 一种多协议通用目标器软件的设计与实现. 计算机研究与发展, 2012, (S1): 0
7178 程晓菊 李仁发 . 基于函数切片的嵌入式软件回归测试研究. 计算机工程, 2012, (02): - 1
7177 华竹轩 王桂荣 徐楠 刘智琼 杨香泉 . 基于企业服务总线中间件的评估模型. 计算机工程, 2012, (02): - 0
7176 仇书礼 初佃辉 孟凡超 . 基于Spring的构件动态演化机制. 计算机工程, 2012, (02): - 1
7175 解浪 杨叶 . 一种软件工作量估算的不确定性度量方法. 计算机工程, 2012, (03): - 0
  查看全部(共288篇)>>
2011
6911 占竞 沈吟东 徐甲 . 基于GIS的公交运营仿真系统的设计与实现. 计算机工程与科学, 2011, (09): 164-169 0
6910 宋志强 山磊 . 集中控制型预付式保管箱系统的设计与实现. 计算机工程与科学, 2011, (07): 167-172 0
6909 曹蔚然 刘天华 牛连强 . 工作流信息图示模型的分析与改进. 计算机工程与科学, 2011, (07): 148-154 0
6908 武凌 马季 . 工作流管理系统中的数据流传输优化. 计算机工程与科学, 2011, (07): 141-148 0
6907 王瑞 毛晓光 代子营 王燕妮 . 面向方面体系结构建模研究. 计算机工程与科学, 2011, (06): 97-102 0
6906 代子营 毛晓光 马晓东 王瑞 . 基于抽象符号表的内存模型. 计算机工程与科学, 2011, (06): 84-91 0
6905 牟永敏 姜宇 张志华 . 软件自动化测试中热点路径的研究. 计算机工程与科学, 2011, (06): 79-84 0
6904 毛新军 常志明 . 面向Agent的软件设计模式. 计算机工程与科学, 2011, (06): 72-79 0
6903 李根 卢凯 张英 卢锡城 冯华 张巍 . Hunter:一种指令集体系结构无关的二进制级动态测试用例生成技术. 计算机工程与科学, 2011, (04): 69-75 0
6902 刘树锟 阳小华 . 程序不变量检测技术. 计算机工程与科学, 2011, (03): 108-113 0
6901 高建华 刘慧 . 配对组合测试中参数约束问题研究. 计算机工程与科学, 2011, (03): 103-108 0
6900 侯苏宁 陈立前 王昭飞 王戟 . 一个面向C和Fortran数值程序的静态分析工具. 计算机工程与科学, 2011, (03): 94-103 0
6899 程全良 曾一 郭英君 李鹃 封卫 . 一种基于矩阵度量的缺陷管理流程的改进与实践. 计算机工程与科学, 2011, (03): 90-94 0
6898 苗春雨 陈丽娜 赵建民 . 基于一致性测试理论的Statechart描述的测试用例自动生成. 计算机工程与科学, 2011, (03): 82-90 1
6897 楼芳 李亮 贺志强 . 基于本体的渗透测试用例复用模型. 计算机工程与科学, 2011, (02): 23-27 1
6896 陈恺 冯登国 苏璞睿 张颖君 . 基于彩色污点传播的黑盒测试方法. 中国科学F辑, 2011, (05): 526-541 0
6895 陈曙 毋国庆 陈明楷 . 面向软件行为和多视点的需求建模方法. 小型微型计算机系统, 2011, (01): 2
6894 王巧容 赵海燕 曹健 . 个性化服务中的用户建模技术. 小型微型计算机系统, 2011, (01): 2
6893 翟健 杨秋松 肖俊超 李明树 . 一种形式化的组件化软件过程建模方法. 软件学报, 2011, 22 (01): 1-17 1
6892 丁博 王怀民 史殿习 李骁 . 一种支持软件可信演化的构件模型. 软件学报, 2011, 22 (01): 17-28 6
6891 陈小红 尹斌 金芝 . 基于问题框架的需求建模:一种本体制导的方法. 软件学报, 2011, (02): 7
6890 何啸 麻志毅 张岩 邵维忠 . 扩展QVT Relations实现业务流程模型的转换. 软件学报, 2011, (02): 0
6889 田聪 段振华 . 基于命题投影时序逻辑的单调速率调度算法模型检测. 软件学报, 2011, (02): 1
6888 王怀民 史佩昌 丁博 尹刚 史殿习 . 软件服务的在线演化. 计算机学报, 2011, (02): 7
6887 陈小红 尹斌 金芝 . 从交互情景出发的需求捕获方法及其支撑工具. 计算机学报, 2011, (02): 1
  查看全部(共313篇)>>
2010
6598 董渊 任恺 王生原 张素琴 . 字节码虚拟机的构造和验证. 软件学报, 2010, (02): 305-318 0
6597 王伟 杨克峤 周寻 曹志伟 杨珉 . 一种高效的垃圾收集器CCone. 小型微型计算机系统, 2010, (02): 0
6596 刘磊 吴锡 . 自由标签系统中标签的层次关系提取方法. 小型微型计算机系统, 2010, (02): 0
6595 何曼 刘湘伟 郝成民 . PIM到关系PSM的转换方法研究. 计算机工程, 2010, (03): 58-61 0
6594 安金霞 王国庆 李树芳 朱纪洪 . 基于多维度覆盖率的软件测试动态评价方法. 软件学报, 2010, (09): 2135-2148 3
6593 陈凯律 沈备军 张艳红 . 基于软件过程的项目风险管理及其工具. 计算机工程, 2010, (04): 69-71 1
6592 楼俊钢 江建慧 靳昂 . 考虑软件不同失效过程偏差的软件可靠性模型. 计算机学报, 2010, 33 (07): 1263-1272 2
6591 赵会群 孙晶 . 面向服务的可信软件体系结构代数模型. 计算机学报, 2010, (05): 890-900 8
6590 庞善臣 蒋昌俊 . 一种基于不变量结构分解的工作流性能分析方法. 计算机学报, 2010, (05): 908-919 4
6589 陆文 徐锋 吕建 . 一种开放环境下的软件可靠性评估方法. 计算机学报, 2010, 33 (03): 452-463 7
6588 张莉 钱冠群 李琳 . 基于变更传播仿真的软件稳定性分析. 计算机学报, 2010, 33 (03): 440-452 4
6587 钱忠胜 缪淮扣 . 基于规格说明的若干逻辑覆盖测试准则. 软件学报, 2010, (07): 1536-1550 7
6586 柳毅 麻志毅 何啸 邵维忠 . 一种从UML模型到可靠性分析模型的转换方法. 软件学报, 2010, (02): 287-305 3
6585 刘国梁 魏峻 冯玉琳 . 基于组件模型分析的组件容器产品线体系结构. 软件学报, 2010, (01): 1
6584 闫华 张伟 赵海燕 梅宏 . 基于二分决策图的特征模型验证方法. 软件学报, 2010, (01): 1
6583 高崇南 余宏亮 郑纬民 . 一种自动推断复杂系统层次结构任务模型的方法. 计算机学报, 2010, (01): 1
6582 韩锐 刘英博 闻立杰 王建民 . 工作流管理系统中一种概率性分析和调整时间约束的方法. 计算机研究与发展, 2010, (01): 2
6581 文俊浩 秦佳 赵瑞锋 . 基于WDAG的工作流模型优化分析. 计算机工程, 2010, (01): 0
6580 郭晶晶 高建华 . 基于冗余测试用例的最小测试用例集生成方法. 计算机工程, 2010, (01): 0
6579 金伟祖 李平新 . 基于CAS集群的单点失效问题解决方案. 计算机工程, 2010, (01): 0
6578 朱庆 王小平 薛小平 司文婷 . 基于构件的网构软件系统动态演化. 计算机工程, 2010, (01): 1
6577 孟凡新 张京军 刘光远 . 基于AOP和Web服务的多层分布式系统. 计算机工程, 2010, (01): 0
6576 蔡虹 沈雷 李永红 . 基于覆盖测试的嵌入式软件自动裁剪. 计算机工程, 2010, (01): 0
6575 钟启艮 王希武 黄小城 . 数据库应用软件交互复杂性度量研究. 计算机工程, 2010, (01): 0
6574 范明虎 樊红 伍孝金 . ASP.net中基于RBAC的通用权限管理系统. 计算机工程, 2010, (01): 1
  查看全部(共447篇)>>
2009
6151 常志明 毛新军 齐治昌 . Bigraph理论在自适应软件体系结构上的应用. 计算机学报, 2009, (01): 97-106 9
6150 舒兆港 李迪 胡跃明 肖苏华 . 基于领域建模的数控系统代码生成技术. 计算机工程, 2009, 35 (01): 7-9 0
6149 蒋宏潮 尹怡欣 班晓娟 . 基于SOA的Struts框架应用. 计算机工程, 2009, 35 (01): 21-24 0
6148 帅飞 王晋东 王坤 张恒巍 . 智能安全防护软件策略构件的设计与实现. 计算机工程, 2009, 35 (01): 40-42 0
6147 董慧 方金云 赵红超 程振林 . 基于Citrix的异地软件共享系统的设计与实现. 计算机工程, 2009, 35 (01): 49-52 0
6146 许勇 王智学 李宗勇 . 领域本体的一致性检查. 计算机工程, 2009, 35 (01): 55-58 0
6145 罗霄 侯红 . 基于开源的软件缺陷管理工具的改进策略. 计算机工程, 2009, 35 (01): 65-68 0
6144 马敏 刘琳岚 付铮 陈轩 . 基于分组-分类的工作流活动多实例调度. 计算机工程, 2009, 35 (01): 68-70 0
6143 柯贤达 王英林 . 面向知识管理系统的本体进化管理框架. 计算机工程, 2009, 35 (01): 71-73 0
6142 孙洪浩 王树义 林晓斌 王晓飞 . 过程间指针分析算法的改进. 计算机工程, 2009, 35 (01): 90-93 1
6141 鲍福良 徐洁 方志刚 . 改进的Java类文件保护方法. 计算机工程, 2009, 35 (01): 93-94 0
6140 程晓宇 毕笃彦 蔡晔 . μC/OS在龙芯处理器上的移植及性能分析. 计算机工程, 2009, 35 (01): 213-215 1
6139 白瑞林 刘洋 曲明波 . 基于WinCE5.0的高速绣花机步进电机驱动. 计算机工程, 2009, 35 (01): 229-232 0
6138 邹耀 刘佩林 . 基于用户描述的可配置汇编器. 计算机工程, 2009, 35 (01): 242-244 0
6137 韩虎 曾庆良 孙成通 王成龙 . 复杂产品虚拟样机协同开发平台设计与实现. 计算机工程, 2009, 35 (01): 260-263 0
6136 吴炳方 周月敏 . 水土保持监测信息系统的设计与实现. 计算机工程, 2009, 35 (01): 269-271 0
6135 王凡 谭国真 王皓 何钦来 . 面向交通领域构件的特征建模方法. 计算机工程, 2009, 35 (01): 280-282 0
6134 刘玲 桑楠 苏芮 黄小红 . 支持需求追踪的版本控制机制. 计算机工程, 2009, 35 (01): 58-61 0
6133 顾勋梅 邵志清 . 基于Java程序的功能点度量. 计算机工程, 2009, (04): 0
6132 李波 杨卫东 . XML流上的关键字查询算法. 计算机工程, 2009, (04): 0
6131 曹孟春 陈凯明 . 一种用于反编译代码与源代码的比较算法. 计算机工程, 2009, (04): 0
6130 李曦 张飞 时正 吴晓丹 . 面向RTEMS的嵌入式软件集成开发环境. 计算机工程, 2009, (04): 0
6129 查峰 . 基于C语言的轻量级高效XML编解码器. 计算机工程, 2009, (04): 0
6128 朱友志 郑耿 胡文山 刘国平 . 基于Internet的NCS监控组态软件. 计算机工程, 2009, (04): 0
6127 王曦 . UML状态图在回归测试中的应用. 计算机工程, 2009, (04): 0
  查看全部(共653篇)>>
2008
5498 徐家福 宋方敏 钱士钧 戴静安 张云洁 . 量子程序设计语言NDQJava. 软件学报, 2008, (01): 1-8 7
5497 宋方敏 钱士钧 戴静安 张云洁 徐家福 . 量子程序设计语言NDQJava处理系统. 软件学报, 2008, (01): 9-16 7
5496 李梦君 李舟军 陈火旺 . 基于抽象解释理论的程序验证技术. 软件学报, 2008, (01): 17-26 12
5495 屈婉霞 李暾 郭阳 杨晓东 . 谓词抽象技术研究?. 软件学报, 2008, (01): 27-38 7
5494 汪晓庆 郑彦兴 史美林 . 一种有效的数据共享环境多数据源选择算法. 软件学报, 2008, 19 (02): 314-322 0
5493 沈榆平 赵希顺 . 一个带破圈启发方法的回答集编程系统(英文). 软件学报, 2008, 19 (04): 869-878 1
5492 何积丰 李宣东 . Internet环境下基于构件的软件理论与方法专刊前言. 软件学报, 2008, 19 (05): 1081-1082 0
5491 常志明 毛新军 齐治昌 . 基于Agent的网构软件构件模型及其实现. 软件学报, 2008, 19 (05): 1113-1124 7
5490 陈鑫 . 一种基于构件演算的主动构件精化方法. 软件学报, 2008, 19 (05): 1134-1148 0
5489 曾红卫 缪淮扣 . 构件组合的抽象精化验证. 软件学报, 2008, 19 (05): 1149-1159 5
5488 张莉 高晖 王守信 . 软件体系结构评估技术. 软件学报, 2008, 19 (06): 1328-1339 0
5487 孙熙 庄磊 刘文 焦文品 梅宏 . 一种可定制的自主构件运行支撑框架. 软件学报, 2008, 19 (06): 1340-1349 4
5486 王远 吕建 徐锋 张林 . 一种面向网构软件体系结构的信任驱动服务选取机制. 软件学报, 2008, 19 (06): 1350-1362 6
5485 葛季栋 顾庆 胡昊 吕建 . 一种基于对象网的多视角软件过程模型. 软件学报, 2008, 19 (06): 1363-1378 0
5484 赵亮 王建民 孙家广 . 统计测试的软件可靠性保障能力研究. 软件学报, 2008, 19 (06): 1379-1385 4
5483 魏小娟 杨婧 李翠平 陈红 . Skyline查询处理. 软件学报, 2008, 19 (06): 1386-1400 18
5482 吴扬扬 雷庆 陈锻生 YOKOTA Harou . 一种从XML数据中发现关系信息的方法. 软件学报, 2008, 19 (06): 1422-1427 3
5481 邓昌智 敖翔 周明骏 徐礼爽 田丰 戴国忠 . 以活动为中心的个人信息管理. 软件学报, 2008, 19 (06): 1428-1438 3
5480 王国仁 乔百友 韩东红 王斌 . 基于分片的XML快速结构连接算法. 计算机学报, 2008, 31 (01): 77-90 0
5479 李向宁 郝克刚 赵克 . 一种新的业务过程管理模型. 计算机学报, 2008, 31 (01): 104-111 1
5478 张为华 王鹏 臧斌宇 朱传琪 . 一种基于代表元的划分算法. 计算机学报, 2008, 31 (03): 400-410 3
5477 钱巨 徐宝文 周毓明 . 点间确定别名及其在Java程序数据依赖分析中的应用. 计算机学报, 2008, 31 (03): 419-430 0
5476 刘家红 吴泉源 . 一个基于事件驱动的面向服务计算平台. 计算机学报, 2008, 31 (04): 588-599 6
5475 金士尧 黄红兵 范高俊 . 面向涌现的多Agent系统研究及其进展. 计算机学报, 2008, 31 (06): 881-895 4
5474 单锦辉 高友峰 刘明浩 刘江红 张路 孙家? . 一种新的变异测试数据自动生成方法. 计算机学报, 2008, 31 (06): 1025-1034 11
  查看全部(共714篇)>>
2007
4784 姜淑娟 徐宝文 史亮 . 一种基于异常传播分析的数据流分析方法. 软件学报, 2007, 18 (01): 74-84 4
4783 左继红 王千祥 梅宏 . 一种基于模型的特征交互检测方法. 软件学报, 2007, 18 (01): 94-104 1
4782 张亮 李然 汪卫 施伯乐 . XML数据物化模式的生成与优化技术. 软件学报, 2007, 18 (02): 323-331 0
4781 黎建兴 毛新军 束尧 . 软件Agent的一种面向对象设计模型. 软件学报, 2007, 18 (03): 582-591 0
4780 左继红 王千祥 梅宏 . 基于模式分析的特征交互检测. 软件学报, 2007, 18 (04): 796-807 0
4779 杨学军 高珑 . 错误流模型:硬件故障的软件传播建模与分析. 软件学报, 2007, 18 (04): 808-820 5
4778 章晓芳 徐宝文 聂长海 史亮 . 一种基于测试需求约简的测试用例集优化方法. 软件学报, 2007, 18 (04): 821-831 15
4777 刘川意 汪东升 . 基于HPCC和层次分析法的高性能计算系统评价模型. 软件学报, 2007, 18 (04): 1039-1046 1
4776 汪黎 杨学军 王戟 罗宇 . 操作系统内核程序函数执行上下文的自动检验. 软件学报, 2007, 18 (04): 1056-1067 5
4775 莫毓昌 杨孝宗 崔刚 刘宏伟 . 一般阶段任务系统的任务可靠性分析. 软件学报, 2007, 18 (04): 1068-1076 2
4774 文艳军 王戟 齐治昌 . 并发反应式系统的组合模型检验与组合精化检验. 软件学报, 2007, 18 (06): 1270-1281 8
4773 孔令波 唐世渭 杨冬青 王腾蛟 高军 . XML数据的查询技术. 软件学报, 2007, 18 (06): 1400-1418 7
4772 周军锋 孟小峰 蒋瑜 谢敏 . F-Index:一种加速Twig查询处理的扁平结构索引. 软件学报, 2007, 18 (06): 1429-1442 2
4771 李洋 张文博 魏峻 钟华 黄涛 . 基于序列模式的Servlet容器缓存替换. 软件学报, 2007, 18 (07): 1592-1602 0
4770 苏生 战德臣 徐晓飞 . 基于扩展状态任务网的制造供应链计划. 软件学报, 2007, 18 (07): 1626-1638 0
4769 宋靖宇 魏峻 万淑超 . 门户环境中基于语义数据协作应用集成方法. 软件学报, 2007, 18 (07): 1705-1714 0
4768 易晓东 王戟 杨学军 . 基于Assume-Guarantee搜索复用的C程序验证方法. 软件学报, 2007, 18 (09): 2130-2140 0
4767 王远 范玉顺 . 工作流时序约束模型分析与验证方法. 软件学报, 2007, 18 (09): 2153-2161 2
4766 何积丰 金芝 李宣东 . 面向服务的计算专刊前言. 软件学报, 2007, 18 (12): 2965-2966 6
4765 雷丽晖 段振华 . 一种基于扩展有限自动机验证组合Web服务的方法. 软件学报, 2007, 18 (12): 2980-2990 15
4764 卢暾 . 基于可生存性规范的软件构件系统恢复的建模与推理. 软件学报, 2007, 18 (12): 3031-3047 1
4763 李晓光 于戈 龚剑 王大玲 鲍玉斌 . 有效的非完全结构XML查询. 计算机学报, 2007, 30 (01): 57-67 1
4762 徐罡 马建刚 黄涛 . 一种基于XML的复合事件模型及其订阅语言. 计算机学报, 2007, 30 (01): 81-90 0
4761 刘宗田 强宇 周文 李旭 黄美丽 . 一种模糊概念格模型及其渐进式构造算法. 计算机学报, 2007, 30 (02): 184-188 10
4760 王子元 聂长海 徐宝文 史亮 . 相邻因素组合测试用例集的最优生成方法. 计算机学报, 2007, 30 (02): 200-211 8
  查看全部(共729篇)>>
2006
4055 丁晓宁 张昕 金蓓弘 黄涛 . 一种任务类型敏感的J2EE事务调度算法. 软件学报, 2006, 17 (01): 31-38 0
4054 王忠杰 徐晓飞 战德臣 . 基于特征的构件模型及其规范化设计过程. 软件学报, 2006, 17 (01): 39-47 3
4053 秦严严 田丰 王晓春 戴国忠 . 一种笔式用户界面软件领域模型及其应用. 软件学报, 2006, 17 (01): 69-78 4
4052 汪洋 魏峻 王振宇 . 可扩展和可配置事件通知服务体系结构. 软件学报, 2006, 17 (03): 638-648 1
4051 何成万 何克清 . 基于角色的设计模式建模和实现方法. 软件学报, 2006, 17 (04): 658-669 2
4050 朱雪阳 唐稚松 . Statecharts的组合语义与求精. 软件学报, 2006, 17 (04): 670-681 2
4049 王远 吕建 徐锋 张林 . 一个适用于网构软件的信任度量及演化模型. 软件学报, 2006, 17 (04): 682-690 19
4048 冯铁 张家晨 王洪媛 金淳兆 . 一种自动化软件设计改进方法. 软件学报, 2006, 17 (04): 703-712 0
4047 杨建武 陈晓鸥 . 基于核矩阵学习的XML文档相似度量方法. 软件学报, 2006, 17 (05): 991-1000 0
4046 刘升平 林作铨 梅婧 岳安步 . 一种XML的模型论语义. 软件学报, 2006, 17 (05): 1089-1097 2
4045 梅宏 申峻嵘 . 软件体系结构研究进展. 软件学报, 2006, 17 (06): 1257-1275 26
4044 胡海洋 吕建 马晓星 陶先平 . 面向对象范型体系结构中构件行为相容性研究. 软件学报, 2006, 17 (06): 1276-1286 5
4043 楚旺 钱德沛 . 以体系结构为中心的构件模型的形式化语义. 软件学报, 2006, 17 (06): 1287-1297 0
4042 彭鑫 赵文耘 刘奕明 . 基于特征模型和构件语义的概念体系结构设计. 软件学报, 2006, 17 (06): 1307-1317 3
4041 徐鹏 杨放春 . 建模样式:一种评估软件体系结构非功能属性的方法. 软件学报, 2006, 17 (06): 1318-1327 2
4040 黄双喜 范玉顺 赵? . 一类通用的适应性软件体系结构风格研究. 软件学报, 2006, 17 (06): 1338-1348 2
4039 李长云 李赣生 何频捷 . 一种形式化的动态体系结构描述语言. 软件学报, 2006, 17 (06): 1349-1359 13
4038 余萍 马晓星 吕建 陶先平 . 一种面向动态软件体系结构的在线演化方法. 软件学报, 2006, 17 (06): 1360-1371 8
4037 李刚 赵卓峰 韩燕波 梁英 . 基于CAFISE Framework的高适应性面向服务软件开发. 软件学报, 2006, 17 (06): 1372-1380 1
4036 刘静 何积丰 缪淮扣 . 模型驱动架构中模型构造与集成策略. 软件学报, 2006, 17 (06): 1411-1422 5
4035 王学斌 王怀民 吴泉源 史殿习 . 一种模型转换的编织框架. 软件学报, 2006, 17 (06): 1423-1435 3
4034 陈磊 李三立 . 网格数据复本管理的动态自适应软件体系结构. 软件学报, 2006, 17 (06): 1436-1447 4
4033 陈振邦 王戟 董威 齐治昌 . 面向服务软件体系结构的接口模型. 软件学报, 2006, 17 (06): 1459-1469 3
4032 Wei-Tek Tsai . PESOI: Process Embedded Service-Oriented Architecture. 软件学报, 2006, 17 (06): 1470- 4
4031 崔鹏 刘红静 . 测试集问题的集合覆盖贪心算法的深入近似. 软件学报, 2006, 17 (07): 1494-1500 0
  查看全部(共727篇)>>
2005
3328 杨芙清 . 软件工程技术发展思索. 软件学报, 2005, 16 (01): 1-7 46
3327 李杰 田丰 戴国忠 . 笔式用户界面交互信息模型研究. 软件学报, 2005, 16 (01): 50-57 2
3326 张福新 章隆兵 胡伟武 唐志敏 . 可恢复的软件DSM系统JIACKPT. 软件学报, 2005, 16 (02): 165-173 0
3325 孙瑞志 史美林 . 工作流活动多实例的调度控制. 软件学报, 2005, 16 (03): 400-406 3
3324 王青 李明树 刘霞 . 一种支持软件过程控制和改进的主动度量模型. 软件学报, 2005, 16 (03): 407-418 6
3323 曲卫民 孙乐 孙玉芳 . XML数据查询中值匹配查询代价估计算法. 软件学报, 2005, 16 (04): 561-569 0
3322 杨磊 黄辉 宋涛 . 桶外排序算法的抽样分点分发策略. 软件学报, 2005, 16 (05): 643-651 2
3321 任琦 徐迎庆 庄越挺 沈向洋 . 面向办公应用的自动配色方案创作与应用系统. 软件学报, 2005, 16 (05): 691-699 1
3320 王静 孟小峰 王宇 王珊 . 以目标节点为导向的XML路径查询处理. 软件学报, 2005, 16 (05): 827-837 4
3319 王栋 梅宏 . 下一代通信软件中的特征冲突检测. 软件学报, 2005, 16 (07): 1232-1241 1
3318 曹东刚 梅宏 曹建农 . 在中间件中支持用户自定义连接子. 软件学报, 2005, 16 (08): 1378-1385 1
3317 颜炯 王戟 陈火旺 . 基于UML的软件Markov链使用模型构造研究. 软件学报, 2005, 16 (08): 1386-1394 4
3316 顾庆 陈道蓄 . 基于事件约束的软件过程验证. 软件学报, 2005, 16 (10): 1735-1742 1
3315 李文龙 陈? 林海波 汤志忠 . 3种提高软件流水有效性的算法:比较和结合. 软件学报, 2005, 16 (10): 1822-1832 1
3314 刘利 李文龙 陈? 李胜梅 汤志忠 . 软件流水中隐藏存储延迟的方法. 软件学报, 2005, 16 (10): 1833-1841 9
3313 刘利 李文龙 郭振宇 李胜梅 汤志忠 . 避免模调度中cache代价的优化方法. 软件学报, 2005, 16 (10): 1842-1852 2
3312 董广智 柳军飞 齐璇 . 一种反应式SPM及其动态语义XYZ表示. 软件学报, 2005, 16 (11): 1876-1885 1
3311 孔令波 唐世渭 杨冬青 王腾蛟 高军 . XML数据索引技术. 软件学报, 2005, 16 (12): 2063-2079 9
3310 王忠杰 徐晓飞 战德臣 . 面向复用成本优化的构件重构方法. 软件学报, 2005, 16 (12): 2157-2165 2
3309 周之英 . 完美球本质??论分布系统软件开发技术(英文). 软件学报, 2005, 16 (12): 2166-2171 0
3308 徐罡 黄涛 刘绍华 叶丹 . 分布应用集成核心技术研究综述. 计算机学报, 2005, 28 (04): 433-444 3
3307 马晓星 余萍 陶先平 吕建 . 一种面向服务的动态协同架构及其支撑平台. 计算机学报, 2005, 28 (04): 467-477 21
3306 胡海涛 李刚 韩燕波 . 一种面向业务用户的大粒度服务组合方法. 计算机学报, 2005, 28 (04): 694-703 14
3305 张程 韩燕 . 一种适用于服务组合平台的语境信息使用模式. 计算机学报, 2005, 28 (04): 712-720 1
3304 韩燕波 李刚 虎离林 . 序言. 计算机学报, 2005, 28 (04): 002-2 0
  查看全部(共634篇)>>
2004
2694 胡文蕙 赵文 张世琨 王立福 . 基于构件技术的应用框架元模型的研究. 软件学报, 2004, 15 (01): 1-8 3
2693 毛晓光 邓勇进 . 基于构件软件的可靠性通用模型. 软件学报, 2004, 15 (01): 27-32 10
2692 赵欣培 李明树 王青 陈振冲 梁金能 . 一种基于Agent的自适应软件过程模型. 软件学报, 2004, 15 (03): 348-359 7
2691 徐明 陈纯 应晶 . 基于系统调用分类的异常检测(英文). 软件学报, 2004, 15 (03): 391-403 10
2690 王静 孟小峰 王珊 . 基于区域划分的XML结构连接. 软件学报, 2004, 15 (05): 720-729 9
2689 刘国华 汪卫 张亮 施伯乐 . 基于有向图的对象范式生成算法. 软件学报, 2004, 15 (05): 730-740 0
2688 汤志忠 李文龙 苏伯珙 . 一种软件流水的反流水算法. 软件学报, 2004, 15 (07): 987-993 0
2687 李文龙 林海波 汤志忠 . 软件流水的开销模型和决策框架. 软件学报, 2004, 15 (07): 1005-1011 0
2686 金宏 王宏安 王强 戴国忠 . 改进的最小空闲时间优先调度算法. 软件学报, 2004, 15 (08): 1116-1123 3
2685 刘玲 缪淮扣 . 对逻辑覆盖软件测试准则的公理化评估. 软件学报, 2004, 15 (09): 1301-1310 3
2684 夏军 杨学军 . 基于数据空间融合的全局计算与数据划分方法. 软件学报, 2004, 15 (09): 1311-1327 3
2683 赵文 袁崇义 刘刚 张世琨 王立福 . 基于P/T系统化简方法的工作流过程模型验证. 软件学报, 2004, 15 (10): 1423-1430 1
2682 刘绍华 魏峻 黄涛 . 基于服务协作中间件的动态流程模型. 软件学报, 2004, 15 (10): 1431-1440 0
2681 舒风笛 毋国庆 李明树 . 面向嵌入式实时软件的需求规约语言及检测方法. 软件学报, 2004, 15 (11): 1595-1606 1
2680 李爱国 覃征 . 在线分割时间序列数据. 软件学报, 2004, 15 (11): 1671-1679 2
2679 崔萌 李宣东 郑国梁 . UML实时活动图的形式化分析. 计算机学报, 2004, 27 (03): 339-346 4
2678 马国凯 王欣? 王鹏 臧斌宇 朱传琪 . 利用U模变换增加并行粒度与改善数据访问局部性的方法. 计算机学报, 2004, 27 (04): 516-523 0
2677 李青山 陈平 王伟 宋海鸿 . 逆向工程中反射植入的研究. 计算机学报, 2004, 27 (04): 535-542 2
2676 张志伟 吴泉源 王怀民 贾焰 . 支持时间无关激活的分布对象中间件异步模型. 计算机学报, 2004, 27 (08): 1009-1015 1
2675 章隆兵 吴少刚 蔡飞 胡伟武 . 适合机群OpenMP系统的制导扩展. 计算机学报, 2004, 27 (08): 1129-1136 1
2674 孙斌 . 面向对象、泛型程序设计与类型约束检查. 计算机学报, 2004, 27 (11): 1492-1504 2
2673 李永祥 陈意云 . 基于函数指针数组的代码迷惑技术. 计算机学报, 2004, 27 (12): 1706-1711 7
2672 林海波 李文龙 汤志忠 . IA-64中软件流水的寄存器需求研究. 计算机研究与发展, 2004, 41 (01): 22-27 0
2671 涂永忠 邵晨曦 蔡维德 胡香冬 . 影子模式:一种新的用于测试的设计模式. 计算机研究与发展, 2004, 41 (01): 34-40 0
2670 韩宗芬 李运发 谢夏 金海 . 一种具有时间约束的分布式软件可靠性评估方法. 计算机研究与发展, 2004, 41 (02): 311-316 0
  查看全部(共453篇)>>
2003
2241 朱玉全 孙志挥 季小俊 . 基于频繁模式树的关联规则增量式更新算法. 计算机学报, 2003, 26 (01): 91-96 7
2240 陈莉 张兆庆 冯晓兵 . 分布存储系统中优化通信的冗余计算分割. 计算机学报, 2003, 26 (02): 180-187 0
2239 董威 王戟 齐治昌 . 并发程序的切片模型检验方法. 计算机学报, 2003, 26 (03): 266-274 0
2238 刘静 钟伟才 刘芳焦 李成 . 组织协同进化分类算法. 计算机学报, 2003, 26 (04): 446-453 6
2237 周龙骧 . 关于“可移动Agent系统位置透明通信的一种实现”的一点注记. 计算机学报, 2003, 26 (04): 511-512 0
2236 夏军 杨学军 曾丽芳 周海芳 . 基于投影分层技术的嵌套循环空间局部性优化方法. 计算机学报, 2003, 26 (05): 539-551 2
2235 陆林生 董超群 王玲秋 史涛 . 并行程序概念设计方法的研究. 计算机学报, 2003, 26 (09): 1086-1093 1
2234 张涌 钱乐秋 王渊峰 . 基于扩展有限状态机测试中测试输入数据自动选取的研究. 计算机学报, 2003, 26 (10): 1295-1303 5
2233 王青 李明树 . 基于SPC的软件需求度量方法. 计算机学报, 2003, 26 (10): 1312-1317 1
2232 刘宏伟 杨孝宗 曲峰 董剑 . 基于CGOM的软件费用模型研究. 计算机学报, 2003, 26 (10): 1332-1336 2
2231 夏军 戴华东 杨学军 . 基于线性表出的非奇异循环变换局部性优化方法. 计算机学报, 2003, 26 (12): 1609-1620 0
2230 朱玉全 孙志挥 赵传申 . 快速更新频繁项集. 计算机研究与发展, 2003, 40 (01): 94-99 5
2229 惠晓滨 张凤鸣 虞健飞 牛世民 . 一种基于栈变换的高效关联规则挖掘算法. 计算机研究与发展, 2003, 40 (02): 330-335 1
2228 熊悦 龚育昌 赵振西 . 嵌入式系统规范语言. 计算机研究与发展, 2003, 40 (03): 493-499 1
2227 邵维忠 蒋严冰 麻志毅 . UML现存的问题和发展道路. 计算机研究与发展, 2003, 40 (04): 509-516 0
2226 周晓聪 李文军 李师贤 . 对象在类型系统λω×≤中的表示. 计算机研究与发展, 2003, (04): 0
2225 杜栓柱 谭建荣 陆国栋 . 一个基于TWF-net的扩展时间工作流模型及其应用. 计算机研究与发展, 2003, 40 (04): 524-530 4
2224 杨明 孙志挥 吉根林 . 快速挖掘全局频繁项目集. 计算机研究与发展, 2003, 40 (04): 620-626 5
2223 邹晓峰 陆建江 宋自林 . 基于模糊分类关联规则的分类系统. 计算机研究与发展, 2003, 40 (05): 651-656 3
2222 赵瑞莲 闵应骅 . 一种基于规范和程序域分析的软件测试方法. 计算机研究与发展, 2003, 40 (06): 846-855 0
2221 王熙照 王亚东 湛燕 袁方 . 学习特征权值对K-均值聚类算法的优化. 计算机研究与发展, 2003, 40 (06): 869-873 0
2220 张志猛 庄越挺 潘云鹤 . 面向对象软件的逆向工程. 计算机研究与发展, 2003, 40 (07): 1062-1068 1
2219 张鲁峰 熊志辉 李思昆 . 基于虚拟微处理器的嵌入式软件开发与系统验证环境. 计算机研究与发展, 2003, 40 (11): 1657-1661 1
2218 陈翔 夏国平 . 基于Petri网的工作流层次模型及结构分析. 计算机工程, 2003, 29 (01): 11-13 1
2217 黄广君 吴健 胡正国 . KVM中内存管理策略与技术. 计算机工程, 2003, 29 (01): 48-49 0
  查看全部(共401篇)>>
2002
1840 赵会群 王国仁 高远 . 软件体系结构抽象模型. 计算机学报, 2002, 25 (07): 730-736 5
1839 单锦辉 王戟 齐治昌 吴建平 . Gupta方法的改进. 计算机学报, 2002, 25 (12): 1378-1386 0
1838 刘大有 王淞昕 王飞 . 基于完备拟序的开放逻辑. 计算机学报, 2002, 25 (12): 1441-1444 0
1837 李虎 史晓华 杨海燕 高仲仪 . 软件质量评价技术. 计算机研究与发展, 2002, 39 (01): 61-67 0
1836 杜栓柱 谭建荣 陆国栋 . 基于界面构件关联图的软件功能测试技术. 计算机研究与发展, 2002, 39 (02): 148-152 5
1835 汪良主 张申生 戚克涛 . 基于Agent面向软件重用的敏捷供应链模型. 计算机研究与发展, 2002, 39 (02): 153-158 0
1834 陈振强 徐宝文 . 一种并发程序依赖性分析方法. 计算机研究与发展, 2002, 39 (02): 159-164 4
1833 常明 陈?? . 基于SGML/XML的文件结构化研究与实现. 计算机研究与发展, 2002, 39 (02): 199-204 0
1832 周明辉 郭长国 吴泉源 贾焰 . 基于CORBA的容错对象复制算法. 计算机研究与发展, 2002, 39 (03): 290-294 0
1831 周泽华 黄涛 李京 . 消息中间件管理器的设计和实现. 计算机研究与发展, 2002, 39 (03): 318-323 1
1830 万剑怡 孙永强 薛锦云 . 一种基于设计模式的三阶段并行程序设计方法. 计算机研究与发展, 2002, 39 (03): 324-329 2
1829 章隆兵 陈意云 章锋 陈国良 . 基于分布式共享存储系统的并行文件子系统DPFS. 计算机研究与发展, 2002, (03): 0
1828 周皓峰 朱扬勇 施伯乐 . 一个基于兴趣度的关联规则采掘算法. 计算机研究与发展, 2002, 39 (04): 450-457 2
1827 赵瑞莲 闵应骅 . 基于谓词切片的字符串测试数据自动生成. 计算机研究与发展, 2002, 39 (04): 473-481 0
1826 操云甫 赵俊文 韩永生 戴国忠 . 面向大规模定制的软件开发模式. 计算机研究与发展, 2002, 39 (05): 593-598 1
1825 何文奇 . 虚拟企业中电子商务应用的工作流模型及实现. 计算机研究与发展, 2002, 39 (06): 749-755 0
1824 施伟斌 孙未未 施伯乐 . XML数据的结构化处理方法. 计算机研究与发展, 2002, 39 (07): 819-826 2
1823 肖侬 任浩 徐志伟 唐志敏 谢向辉 李伟 . 基于资源目录技术的网格系统软件设计与实现. 计算机研究与发展, 2002, 39 (08): 902-906 3
1822 陆宁 尤晋元 . 一种移动代理应用系统的体系结构描述语言. 计算机研究与发展, 2002, 39 (08): 1004-1011 0
1821 姚砺 束永安 叶澄清 . 面向对象软件覆盖度量的研究和软件测试工具的实现. 计算机研究与发展, 2002, 39 (08): 1017-1022 0
1820 张涌 钱乐秋 王渊峰 . 基于确定有限状态机的测试输入序列选取. 计算机研究与发展, 2002, 39 (09): 1144-1150 4
1819 刘大有 卢奕南 张弘 梁艳春 . 一种线性表示的遗传程序设计方法研究. 计算机研究与发展, 2002, 39 (10): 1254-1260 0
1818 陆建江 . 加权关联规则挖掘算法的研究. 计算机研究与发展, 2002, 39 (10): 1281-1286 1
1817 钟林辉 谢冰 邵维忠 . 扩充CDL支持基于构件的系统组装与演化. 计算机研究与发展, 2002, 39 (10): 1361-1365 4
1816 杨炳儒 孙海洪 . 基于双库协同机制的挖掘关联规则算法Maradbcm. 计算机研究与发展, 2002, 39 (11): 1447-1455 2
  查看全部(共455篇)>>
2001
1385 李必信 杨朝晖 谭毅 朱平 李宣东 郑国梁 . 一种基于切片技术度量Java耦合性的框架. 计算机学报, 2001, 24 (03): 259-265 1
1384 孙斌 . 扩展面向对象编程(XOOP)的理论和方法. 计算机学报, 2001, 24 (03): 266-280 2
1383 邹丰忠 李传湘 . 软件可靠性混沌模型. 计算机学报, 2001, 24 (03): 281-291 5
1382 徐宝文 张卫丰 . 数据挖掘技术在Web预取中的应用研究. 计算机学报, 2001, 24 (04): 430-436 6
1381 胡长军 余华山 姜伟 陆爱胜 许卓群 . p-HPF支持多范例并行计算的并行编译技术. 计算机学报, 2001, 24 (07): 685-693 1
1380 王英林 张申生 . 基于本体影射规则的软件集成重构研究. 计算机学报, 2001, 24 (07): 776-783 2
1379 苏丰 宋继强 陈冀兵 蔡士杰 . 工程图纸矢量化软件VHVector用户接口的设计与实现. 计算机学报, 2001, 24 (09): 930-937 0
1378 廖湖声 . 基于程序流程图的数据例化与程序例化. 计算机学报, 2001, 24 (09): 985-990 0
1377 徐宝文 张挺 陈振强 . 递归子程序的依赖性分析及其应用. 计算机学报, 2001, 24 (11): 1178-1184 3
1376 朱淼良 邱瑜 . 移动代理系统综述. 计算机研究与发展, 2001, 38 (01): 16-25 3
1375 陶先平 唐宝 马晓星 伊波 吕建 . 柔性继承机制的设计与实现. 计算机研究与发展, 2001, 38 (01): 98-104 0
1374 胡长军 仝兆岐 庞景芹 . 一个领域应用程序间通信协议的研究与实现. 计算机研究与发展, 2001, 38 (02): 144-149 0
1373 刘大有 卢奕南 王飞 梁艳春 . 遗传程序设计方法综述. 计算机研究与发展, 2001, 38 (02): 213-222 2
1372 孙宇霖 屈玉贵 赵保华 . 多单元协议一致性测试中的同步序列的生成. 计算机研究与发展, 2001, 38 (05): 626-630 1
1371 李留英 王戟 齐治昌 . UML statecharts的测试用例生成方法. 计算机研究与发展, 2001, 38 (06): 691-697 2
1370 董威 王戟 齐治昌 . 并发和实时系统的模型检验技术. 计算机研究与发展, 2001, 38 (06): 698-705 1
1369 曹宏庆 康立山 陈毓屏 . 动态系统的常微分方程组建模??基于不同搜索技术的实验研究. 计算机研究与发展, 2001, 38 (06): 746-753 1
1368 项君 周立 吴泉源 王怀民 . CORBA分布计算平台基于反应式Agent模型的流控机制研究. 计算机研究与发展, 2001, 38 (07): 826-832 0
1367 胡长军 余华山 丁文魁 许卓群 . Cluster环境下p-HPF编译器支持的并行计算范式. 计算机研究与发展, 2001, 38 (08): 954-959 1
1366 何克清 何非 应时 . 角色Use Case:UML的一个更加完全的分析方法. 计算机研究与发展, 2001, 38 (09): 1105-1111 1
1365 徐淑? 陆朝俊 陈昌生 孙永强 . 基于BSP的并行事务处理模型. 计算机研究与发展, 2001, 38 (11): 1399-1404 0
1364 吴国文 顾宁 施伯乐 . 利用本体簇生成标准概念模式. 计算机研究与发展, 2001, 38 (12): 1499-1504 2
1363 韩杰 顾庆 陈道蓄 谢立 . 基于CMM模型的软件质量保障支撑平台框架. 计算机科学, 2001, 28 (01): 12-15 0
1362 徐宝文 . 带标记信号量??一种新型同步与互斥机制. 计算机科学, 2001, 28 (01): 15-18 1
1361 符进强 汪洋 钱乐秋 . 基于动态构件框架的构件演化. 计算机科学, 2001, 28 (01): 21-24 0
  查看全部(共334篇)>>
2000
1051 程继华 郭建生 施鹏飞 . 挖掘所关注规则的多策略方法研究. 计算机学报, 2000, 23 (01): 47-51 4
1050 郭胜辉 孙玉芳 . 基于数据字典库的信息系统的设计. 计算机学报, 2000, 23 (04): 414-419 1
1049 黄波 臧斌宇 韦俊银 朱传琪 . 上下文敏感的过程间指针分析. 计算机学报, 2000, 23 (05): 477-486 5
1048 金芝 . 基于本体的需求自动获取. 计算机学报, 2000, 23 (05): 486-493 13
1047 吴承勇 连瑞琦 张兆庆 乔如良 . 协作式全局指令调度与寄存器分配. 计算机学报, 2000, 23 (05): 493-499 1
1046 田边 戴航 戴冠中 刘成 . PDUIMS??基于持久存储的用户界面管理系统的设计与应用. 计算机学报, 2000, 23 (06): 660-666 1
1045 焦文品 史忠植 . 构造MAS的动态体系结构的模型. 计算机学报, 2000, 23 (07): 732-737 3
1044 梅宏 吴穹 袁望洪 杨芙清 . Smalltalk程序理解辅助系统BDCom-ST. 计算机学报, 2000, 23 (08): 882-886 0
1043 陈渝 夏军 杨学军 钱方 陈福接 . 有效表示数据访问空间的偏序线性存取域描述. 计算机学报, 2000, 23 (10): 1040-1050 0
1042 王云 刘又诚 周伯生 . UML可视化建模系统的模型一致性检查机制. 计算机研究与发展, 2000, 37 (01): 1-8 1
1041 周健 吴泉源 腾猛 王怀民 孙海燕 . 一种基于分布对象技术的Agent计算框架. 计算机研究与发展, 2000, 37 (01): 45-49 1
1040 赵东范 刘磊 宋力彤 . 过程式语言部分求值循环展开的有效处理方法. 计算机研究与发展, 2000, 37 (01): 102-108 0
1039 陈桂林 王永成 韩客松 王刚 . 一种高效的中文电子词表数据结构. 计算机研究与发展, 2000, 37 (01): 109-116 3
1038 蔡国永 古天龙 董荣胜 庞健雄 . 实时对象模型及其可预测调度研究. 计算机研究与发展, 2000, 37 (01): 117-121 0
1037 李必信 郑国梁 王云峰 李宣东 . 一种分析和理解程序的方法──程序切片. 计算机研究与发展, 2000, 37 (03): 284-291 6
1036 曹子宁 朱梧? 石纯一 . 程序规范自动检测与修正系统ADRS的研究. 计算机研究与发展, 2000, 37 (03): 292-299 0
1035 刘英 刘磊 . 面向Java的实用别名分析技术. 计算机研究与发展, 2000, 37 (05): 595-600 1
1034 李刚 金茂忠 . 一种可重用构件的设计方法. 计算机研究与发展, 2000, 37 (05): 609-615 2
1033 丁宇新 程虎 . Java虚拟机异常处理机制的设计与实现. 计算机研究与发展, 2000, 37 (05): 622-626 1
1032 袁琦 金成植 . Monad表示的OO程序自动生成. 计算机研究与发展, 2000, 37 (06): 668-671 1
1031 郭健强 蔡希尧 . 一种检查面向对象程序中数据流异常的方法. 计算机研究与发展, 2000, 37 (06): 672-676 0
1030 韩伟红 贾焰 王志英 杨晓东 . 多库系统中高效的视图维护机制. 计算机研究与发展, 2000, (07): 0
1029 李帮清 徐宝文 . ConC++:C++的一种并发扩充语言. 计算机研究与发展, 2000, 37 (08): 1000-1005 0
1028 周晓聪 李文军 李师贤 . 类型系统λω×≤的PER模型. 计算机研究与发展, 2000, (08): 2
1027 史东辉 蔡庆生 倪志伟 张春阳 . 基于规则的分类数据离群挖掘方法研究. 计算机研究与发展, 2000, 37 (09): 1094-1100 1
  查看全部(共196篇)>>
1999
855 鞠时光 . 可视化空间数据库查询语言CQL. 计算机学报, 1999, 22 (02): 205-211 8
854 郑援 李思昆 胡成军 彭宇行 . 虚拟实体对象建模语言SCPL. 计算机学报, 1999, 22 (03): 319-324 8
853 郑红军 张乃孝 . 一种带约束的多态类型系统. 计算机学报, 1999, 22 (04): 343-350 1
852 高全泉 . TUILI(推理)语言编译系统的Java实现. 计算机学报, 1999, 22 (04): 442-445 0
851 乔林 汤志忠 容红波 张赤红 . 指令级并行程序执行模型. 计算机学报, 1999, 22 (05): 476-480 0
850 汪剑平 程旭 丁文魁 李晓明 许卓群 . HPF编译器中的通信实现策略及其相关算法. 计算机学报, 1999, 22 (05): 486-495 4
849 李贵 尹朝万 郑怀远 . 对象互操作的行为模型. 计算机学报, 1999, 22 (05): 502-507 1
848 王宇君 汪卫 施伯乐 . 区间约束及其代数查询语言. 计算机学报, 1999, 22 (05): 550-554 1
847 侯建民 郑滔 樊晓聪 李宣东 郑国梁 . 线性混成系统的参数分析. 计算机学报, 1999, 22 (06): 639-644 0
846 张三元 . 隐式曲线、曲面的几何不变量及几何连续性. 计算机学报, 1999, 22 (07): 774-776 7
845 唐宝 马晓星 陶先平 吕建 . ND-Polya中协变-反变问题的处理方法. 计算机学报, 1999, 22 (09): 953-957 0
844 裘宗燕 . 两维时间域上的实时程序语义. 计算机学报, 1999, (09): 0
843 兰毓华 毛法尧 曹化工 . 基于Z规格说明的软件测试用例自动生成. 计算机学报, 1999, (09): 1
842 云晓春 方滨兴 . 基于部件设计的运行时验证. 计算机学报, 1999, 22 (09): 970-974 0
841 丁文魁 汪剑平 向华 李晓明 许卓群 . p-HPF并行编译系统核外计算的实现及优化策略. 计算机学报, 1999, 22 (10): 1042-1049 0
840 高济 王进 . 基于Agents的软件合成框架ABFSC. 计算机学报, 1999, 22 (10): 1050-1058 3
839 莫倩 周兴铭 徐明 李子木 . 柔性协同事务模型. 计算机学报, 1999, (06): 720-726 1
838 茅兵 李成锴 黄丽雯 谢立 . 面向对象的协同程序设计模型. 计算机研究与发展, 1999, 36 (03): 297-303 0
837 齐锐 张大力 黄磊 李琦 . 网络化地理信息系统中数据传输技术的探讨. 计算机研究与发展, 1999, 36 (03): 380-384 0
836 邵维忠 梅宏 . 统一建模语言UML述评. 计算机研究与发展, 1999, 36 (04): 385-394 2
835 杨继锋 孙永强 . 依赖项重写系统及其在程序设计语言中的应用. 计算机研究与发展, 1999, 36 (04): 434-439 0
834 王文义 董绍静 . 大规模并行处理系统及其程序设计方法研究??Cache缺失延迟、层次算法和可定域性. 计算机研究与发展, 1999, (05): 2
833 马晓星 唐宝 陶先平 伊波 吕建 . ND-Polya类比实现技术. 计算机研究与发展, 1999, 36 (06): 695-704 1
832 李必信 郑国梁 李宣东 张勇翔 梁佳 . 软件理解研究与进展. 计算机研究与发展, 1999, 36 (08): 897-906 2
831 史晓华 高仲仪 邵晖 . ADA程序通信死锁的动态检测方法. 计算机研究与发展, 1999, 36 (08): 954-960 3
  查看全部(共209篇)>>
1998
646 全炳哲 金淳兆 玄顺姬 . 基于类型理论的继承机制的研究. 计算机学报, 1998, (01): 0
645 袁崇义 屈婉玲 . 从河内塔的并行解到UNITY程序设计. 计算机学报, 1998, (01): 0
644 汤志忠 张赤红 乔林 . 流水安全法─?一个面向软件流水技术的新的数据相关性分析方法. 计算机学报, 1998, (01): 1
643 李强 吴泉源 王怀民 . 一种Agent互操作语言的设计. 计算机学报, 1998, (01): 0
642 樊晓聪 徐殿祥 郑国梁 . Agent的行为自信度及其修改规则. 计算机学报, 1998, 21 (01): 40-46 2
641 李茂贞 戴国忠 董士海 . 多通道界面软件结构模型及整合算法. 计算机学报, 1998, 21 (02): 111-118 2
640 徐仁佐 张健 刘莲君 何平 . 软件可靠性专家系统(SRES)中经验模型的奇异性问题与参数估计方法. 计算机学报, 1998, (02): 2
639 华庆一 葛玮 鱼滨 郝克刚 . 一个面向对象的交互式图形工具箱OOIGT. 计算机学报, 1998, 21 (02): 154-161 1
638 陈德人 董金祥 李善平 何志均 谌潜 车玫 . 以OOEDB为核心的集成化CAD/CAPP/CAM系统GS-ICCC的设计与实现. 计算机学报, 1998, 21 (02): 168-175 5
637 樊晓聪 徐殿祥 候建民 郑国梁 . Agent规范与编程语言SPLAW的语法和语义. 计算机学报, 1998, 21 (08): 682-693 0
636 吴建国 刘明业 孙元 . VHDL语言中断言语句及其综合方法研究. 计算机学报, 1998, 21 (10): 929-932 0
635 袁华强 孙永强 . 纯函数式I/O的操作语义. 计算机学报, 1998, 21 (11): 1009-1014 0
634 陆汝钤 金芝 刘? 蒋爱军 赖辉? . 客户/服务器风格的体系结构描述语言NEWCOM. 计算机学报, 1998, 21 (12): 1103-1111 2
633 张家重 徐家福 . 需求工程研究新进展. 计算机研究与发展, 1998, 35 (01): 1-5 0
632 古志民 郑守淇 . 智能对象语言CLOS的分布实现. 计算机研究与发展, 1998, 35 (01): 58-62 1
631 张畅 徐冬溶 潘云鹤 . 基于多源类比的MIS表格生成. 计算机研究与发展, 1998, 35 (01): 63-63 3
630 刘宗田 . 程序变换的一种规范说明方法. 计算机研究与发展, 1998, 35 (01): 87-90 0
629 王志言 刘椿年 . 一种路径覆盖的自动生成算法──剪枝法. 计算机研究与发展, 1998, 35 (02): 169-172 0
628 袁晓东 陈家骏 郑国梁 . OOZE求精技术自动化的探讨. 计算机研究与发展, 1998, 35 (02): 173-177 0
627 卢炎生 韩琪 . 主动实时数据库事务及其处理. 计算机研究与发展, 1998, 35 (02): 188-191 0
626 云晓春 方滨兴 胡铭曾 . Sigma系统中数据依赖关系分析的完善与增强. 计算机研究与发展, 1998, 35 (03): 215-218 1
625 周之英 全波 . 支持协同工作的CASE工具的实现技术. 计算机研究与发展, 1998, 35 (03): 224-228 2
624 丁俊华 孙圣强 杨大军 吕建 . 一种多视角的需求定义及其一致性验证方法. 计算机研究与发展, 1998, 35 (03): 229-233 0
623 王岩冰 张家重 刘弘 . 算法语言L的指称语义. 计算机研究与发展, 1998, (03): 1
622 徐殿祥 郑国梁 . 面向对象逻辑语言LKO的类型系统. 计算机研究与发展, 1998, 35 (03): 246-250 0
  查看全部(共152篇)>>
1997
494 温冬蝉 王鼎兴 . 基于机群系统的C++语言并行化实现. 计算机学报, 1997, (01): 1
493 张志海 张素琴 蒋维杜 . C++函数重载机制及其实现. 计算机学报, 1997, 20 (01): 37-41 0
492 全炳哲 金淳兆 李文辉 . 基于类型理论的面向对象程序设计. 计算机学报, 1997, (01): 2
491 吴少岩 陈火旺 . 自动程序设计──模拟进化的途径. 计算机学报, 1997, 20 (02): 97-104 3
490 张东晓 刘明业 . VHDL语言高级综合子集的确立及其实现方法. 计算机学报, 1997, 20 (03): 198-205 2
489 袁伟 孙永强 . “SEQ OF PAR”结构化并行程序设计. 计算机学报, 1997, 20 (03): 230-237 0
488 孙凝晖 刘宏 刘文卓 王川宝 陆雪琳 赵维斌 . 曙光1000大规模并行计算机系统软件的设计. 计算机学报, 1997, 20 (03): 259-268 2
487 曾广周 孙伯起 . 基于系统仿真的软件需求工程方法及其支持环境. 计算机学报, 1997, 20 (03): 280-283 3
486 袁华强 肖倩 孙永强 . 非确定性Monad. 计算机学报, 1997, 20 (03): 284-288 0
485 王克文 . 双析取逻辑程序设计基础(Ⅰ). 计算机学报, 1997, 20 (04): 289-297 1
484 王克文 . 双析取逻辑程序设计基础(Ⅱ). 计算机学报, 1997, 20 (04): 298-304 0
483 黄日日 杨芙清 . 一个支持软件过程的CASE系统的设计与实现. 计算机学报, 1997, 20 (05): 441-450 1
482 金成植 刘磊 . 过程式语言到函数式语言的抽象方法. 计算机学报, 1997, 20 (08): 731-736 2
481 高全泉 . Tuili-Ⅱ里的属性谓词及其实现. 计算机学报, 1997, 20 (10): 878-883 0
480 秦晓 钟华 . 多媒体应用开发环境SuperAuthor. 计算机学报, 1997, 20 (10): 953-957 0
479 许安国 吴哲辉 . 加权T-图的保性变换. 计算机学报, 1997, 20 (11): 1038-1043 3
478 佘坤 周明天 辛涛 . 开放DTP核心??TM. 计算机研究与发展, 1997, (01): 0
477 费翔林 吕枫华 王和珍 杨闯 . DMUIGS:一个直接操纵式用户界面自动生成系统. 计算机研究与发展, 1997, (01): 0
476 廖湖声 . VY:一个可视化语法分析程序生成系统. 计算机研究与发展, 1997, (01): 1
475 刘磊 袁琦 金成植 . 基于信息流分析的程序分析技术. 计算机研究与发展, 1997, (01): 1
474 李之彦 . 一种评估MRPI的规模与系统平台适应性的方法. 计算机研究与发展, 1997, (01): 0
473 徐宝文 . Ada95语言评述. 计算机研究与发展, 1997, 34 (01): 53-57 0
472 徐宝文 . Ada95与面向对象的程序设计. 计算机研究与发展, 1997, 34 (01): 58-65 0
471 徐宝文 . Ada95层次库结构与大型软件开发. 计算机研究与发展, 1997, 34 (01): 66-71 0
470 徐宝文 . Ada95保护对象与面向数据的同步. 计算机研究与发展, 1997, 34 (01): 72-77 2
  查看全部(共137篇)>>
1996
357 李宣东 郑国梁 . 型构兼容的继承及其语义. 计算机学报, 1996, 19 (01): 23-29 1
356 李宣东 郑国梁 . 对Modula-2进行面向对象扩充. 计算机学报, 1996, 19 (01): 30-35 1
355 刘育刚 . 递归Prolog程序的正确性证明. 计算机学报, 1996, 19 (01): 64-67 0
354 朱冰 梅宏 杨芙清 . 多种OOPL的统一框架模型. 计算机学报, 1996, 19 (03): 179-185 0
353 何新贵 . 具有主动功能的程序设计语言及其实现技术. 计算机学报, 1996, 19 (03): 221-229 1
352 冯玉琳 黄涛 武小鹏 . 面向对象的组合软件工程研究. 计算机学报, 1996, 19 (03): 237-241 2
351 华庆一 . 一个基于属性文法的用户界面规格说明. 计算机学报, 1996, 19 (05): 351-357 2
350 范植华 白光野 蒋东溟 徐崇 史开宇 . 角色编辑器Rb-MDE的设计与实现. 计算机学报, 1996, 19 (05): 398-400 0
349 全炳哲 张家晨 金淳兆 . 面向对象详细设计及自动转换的研究. 计算机学报, 1996, 19 (07): 506-513 1
348 金立群 钱家骅 . 非线性代数规范的直接实现技术. 计算机学报, 1996, 19 (07): 530-536 0
347 许满武 陆剑锋 戴劲雯 曾凡聪 傅松 杨冬 . NUMLS中的多态类型检测. 计算机学报, 1996, 19 (07): 548-553 0
346 李希春 . 二叉树的一种新存储结构. 计算机学报, 1996, 19 (07): 554-557 0
345 林凯 孙永强 陆朝俊 . 基于重写方法的程序开发系统的设计和实现. 计算机学报, 1996, 19 (09): 641-648 4
344 吴中海 叶澄清 . 高效逻辑语言实现方法. 计算机学报, 1996, 19 (09): 649-655 4
343 李祥 . 有序环(域)下的程序计算与BSS机器计算. 计算机学报, 1996, 19 (10): 735-740 0
342 周青 . HiLog的悖论. 计算机学报, 1996, 19 (10): 780-782 0
341 全炳哲 陈伟 金淳兆 . 一种程序综合方法. 计算机学报, 1996, 19 (11): 833-840 0
340 徐殿祥 郑国梁 . 对象式逻辑程序设计语言LKO的说明性语义. 计算机学报, 1996, 19 (11): 841-847 2
339 徐殿祥 郑国梁 . 对象式逻辑程序设计. 计算机研究与发展, 1996, 33 (01): 17-23 4
338 马志方 刘大有 吕为工 . 面向agent的程序设计语言:DL-1. 计算机研究与发展, 1996, 33 (02): 93-101 1
337 曾广周 于潇 . 一个改善软件结构设计质量的知识系统. 计算机研究与发展, 1996, 33 (02): 102-108 0
336 奚胜田 郑国梁 . 支持软件详细设计工具JS-PDL/C的设计与实现. 计算机研究与发展, 1996, 33 (02): 109-114 0
335 景晓军 李晓明 方滨兴 . 从FFT看并行程序设计特点:一个实例分析. 计算机研究与发展, 1996, 33 (02): 115-120 0
334 马绍汉 陶雪红 孙伟 . 一类命题知识库的更新算法. 计算机研究与发展, 1996, 33 (02): 127-131 1
333 陈家骏 郑国梁 . 结构化软件开发过程的平稳过渡. 计算机研究与发展, 1996, 33 (03): 176-180 0
  查看全部(共120篇)>>
1995
237 孟小峰 王珊 . 嵌套查询的非嵌套化处理研究. 计算机学报, 1995, 18 (04): 241-251 2
236 洪先龙 . 一种以电性能优化为目标的Steiner树算法. 计算机学报, 1995, 18 (04): 266-272 2
235 谭庆平 陈火旺 . 证明开发环境中的元语言设计. 计算机学报, 1995, 18 (04): 273-280 0
234 梅宏 孙永强 . 函数式面向对象程序设计语言FOPL. 计算机学报, 1995, 18 (04): 281-289 0
233 刘志宏 孙文兵 胡守仁 刘凤岐 . 支持逻辑程序并行执行的智能回溯机制. 计算机学报, 1995, 18 (04): 304-308 2
232 廖湖声 吴晶 . 函数式程序的离散式延迟输入输出流. 计算机学报, 1995, 18 (07): 554-558 0
231 许满武 陆剑锋 曾凡聪 戴劲雯 刘凤玉 张杰 . 知识推理描述语言NUML的设计、实现及应用. 计算机学报, 1995, 18 (09): 707-711 1
230 牛振东 宋瀚涛 刘明业 . VHDL语言行为描述划分的研究与实现. 计算机学报, 1995, 18 (11): 801-807 4
229 纪金龙 金亿新 李强 钟津立 . BJ-1并行计算机的并行程序设计语言. 计算机学报, 1995, 18 (12): 914-923 0
228 丁宝康 . 数据库的可视查询语言VQL. 计算机研究与发展, 1995, 32 (01): 14-18 0
227 丁忠俊 . 基于模板式语法制导编辑器的程序转换系统. 计算机研究与发展, 1995, 32 (01): 28-32 0
226 郑红军 刘磊 金成植 . TP_SDDT的设计与实现. 计算机研究与发展, 1995, 32 (01): 33-36 0
225 郭江 廖越虹 . 工具集成的框架及工具间的关系. 计算机研究与发展, 1995, 32 (01): 37-41 0
224 党华锐 . 一个超文本CASE原型的设计与实现. 计算机研究与发展, 1995, 32 (01): 50-53 0
223 曾广周 何海翔 . 分层数据流图的自动生成与布局. 计算机研究与发展, 1995, 32 (01): 62-66 0
222 杨祥金 李慧卿 . DDFP语言的归约机实现技术. 计算机研究与发展, 1995, 32 (02): 5-10 0
221 朱巧明 杨季文 吕强 . MIPS中通信软件的设计. 计算机研究与发展, 1995, 32 (02): 51-55 0
220 毛权 秦敬 周济 余俊 . DEST2.0:一个基于实例原型的设计支持工具. 计算机研究与发展, 1995, (03): 2
219 梅宏 孙永强 . 合成语言FOPL实现注记. 计算机研究与发展, 1995, 32 (03): 37-44 0
218 张家重 郑明春 刘培玉 刘方爱 高玲 . 支持结构化方法的需求分析环境. 计算机研究与发展, 1995, 32 (03): 51-55 0
217 方滨兴 李晓明 . ABC-90jr SIMD阵列计算机控制结构. 计算机研究与发展, 1995, 32 (04): 1-5 0
216 袁军 陈栋 王能斌 . 逻辑程序语言中的集合. 计算机研究与发展, 1995, 32 (04): 27-32 0
215 廖彬山 高仲仪 . Ada并发软件的质量保证策略和模型. 计算机研究与发展, 1995, 32 (05): 41-45 0
214 杨献春 徐福培 . VAX/RGL的C语言接口设计. 计算机研究与发展, 1995, 32 (07): 43-47 0
213 严桂兰 刘甲耀 . C程序设计自动化逆过程的实现. 计算机研究与发展, 1995, 32 (08): 25-32 0
  查看全部(共105篇)>>
1994
132 王鑫 . FFP语言及其环境的实现. 软件学报, 1994, 5 (01): 53-55 0
131 徐福培 胡长原 高杰 . 中文页面描述语言解释器CPDL的设计与实现. 计算机学报, 1994, 17 (01): 23-29 2
130 秦晓 . 元数据字典及其实现. 计算机学报, 1994, 17 (02): 81-87 1
129 陈意云 . 重写系统的模块分解. 计算机学报, 1994, 17 (03): 161-167 0
128 袁伟 孙永强 . 函数式语言并行实现中并行颗粒度的动态控制. 计算机学报, 1994, 17 (03): 212-217 0
127 何大可 . 一种新型线索二叉树. 计算机学报, 1994, 17 (03): 232-235 0
126 王怀民 陈火旺 高洪奎 . 面向智能主体的程序设计. 计算机学报, 1994, 17 (05): 367-375 2
125 郁松年 . 一种有效的最小生成树并行算法. 计算机学报, 1994, 17 (06): 469-472 0
124 张乃孝 . 程序变换过程的分析与设计. 计算机学报, 1994, 17 (06): 473-477 0
123 梅宏 孙永强 . 函数式面向对象语言FOPL的指称语义. 计算机学报, 1994, 17 (07): 513-520 0
122 费宗铭 王志坚 徐家福 . 软件复用的机器支撑. 计算机学报, 1994, 17 (07): 521-526 0
121 牛振东 徐嵩杰 刘明业 . VHDL语言分析器的设计与实现. 计算机学报, 1994, 17 (10): 777-785 2
120 吴力心 . 压缩存储的研究与应用. 计算机研究与发展, 1994, 31 (01): 57-62 0
119 马军 马绍汉 . 最小生成树的高效异步并行算法. 计算机研究与发展, 1994, 31 (02): 1-4 0
118 许立辉 靳展 . Smalltalk的汉字信息处理. 计算机研究与发展, 1994, 31 (02): 19-28 0
117 丁宝康 . SQL语言中量词和空值的使用技术. 计算机研究与发展, 1994, 31 (03): 15-22 0
116 李经纬 王鼎兴 温冬蝉 . 并行面向对象语言ParaObject抽象机的设计与实现. 计算机研究与发展, 1994, 31 (05): 7-12 0
115 金海 张江陵 . 改进型t-EC/d?UED码. 计算机研究与发展, 1994, 31 (05): 41-45 0
114 曹建庆 谢荣传 钦明皖 . 一个表示和运用非功能性需求的框架. 计算机研究与发展, 1994, 31 (05): 57-61 0
113 毛国君 杨涤非 . 一种三叉树的存储结构及其基本操作的实现. 计算机研究与发展, 1994, 31 (05): 62-65 0
112 徐福培 马小虎 高杰 . PDL格式矢量汉字轮廓库的一种自动生成算法. 计算机研究与发展, 1994, 31 (06): 41-45 2
111 钱树人 . 程序设计语言的语义理解及语境分析. 计算机研究与发展, 1994, 31 (07): 37-41 1
110 张星明 许建国 . 用户界面对象模型的研究. 计算机研究与发展, 1994, 31 (07): 53-57 2
109 朱昌衔 朱震野 . 三太子智能页面描述语言文本(1.0版). 计算机研究与发展, 1994, 31 (11): 50-65 0
108 李明树 唐朔飞 王文敏 赵晶 . 并发成员系统程序设计语言环境下的机器人协同问题求解. 计算机研究与发展, 1994, 31 (12): 26-31 0
  查看全部(共89篇)>>
1993
43 陈建华 陈涵生 . 一种有效的编译优化代码移动算法. 软件学报, 1993, 4 (01): 29-37 0
42 王怀民 陈火旺 . 人工智能软件中的面向对象程序设计. 软件学报, 1993, 4 (01): 43-50 2
41 吴永辉 . 模糊函数依赖与模糊关系的规范化. , 1993, 19 (03): 7-12 0
1991
40 汪林林 . 对用DBMS建立一个KBS SHELL的研究. 小型微型计算机系统, 1991, 12 (08): 57- 0
39 蔡希尧 . 不确定信息的数值表示和计算方法. 计算机科学, 1991, (05): 50-56 1
38 蔡希尧 陈平 . 元知识与反射原理. 计算机科学, 1991, (01): 36-42 0
37 蔡希尧 陈通照 . 信息系统面向对象需求分析. 计算机科学, 1991, (05): 62-68 0
36 蔡林希 . 软件工具述评. , 1991, (01): 1-8 0
35 陈涵生 . CASE工具在军用软件开发中的应用. , 1991, (01): 8-16 0
1990
34 孙旭光 . DMRA:一种适用于高速局部网的分布式多级路由选择算法. 计算机学报, 1990, (03): 0
33 蔡希尧 陈平 . 类型和数据抽象. 计算机科学, 1990, (02): 39-46 0
32 余金山 . 演绎数据库系统的研究与发展. 计算机科学, 1990, (03): 37-45 0
31 朱振元 . 一个基于函数型计算方式的并行处理系统. , 1990, (04): 42-47 0
1989
30 徐宝文 . 一种灵活的操作条件设置与处理方法. 计算机研究与发展, 1989, 26 (08): 26-32 4
29 徐宝文 . Ada重载子程序的实现. 计算机研究与发展, 1989, 26 (11): 36-42 2
28 徐宝文 . NAG应用软件生成系统的设计与实现. 小型微型计算机系统, 1989, (01): 0
27 徐宝文 . 集成式项目支撑环境初论. 小型微型计算机系统, 1989, 10 (11): 37-44 0
26 徐宝文 . 为什么要开设《高级程序设计语言原理》课程. 计算机科学, 1989, (02): 0
25 康建初 . MUFL:一个多形式的知识表示语言. 计算机科学, 1989, (03): 0
1988
24 徐家福 . 软件自动化. 计算机研究与发展, 1988, (11): 5
1986
23 刘应学 . HDS-8030机的微码设计. 计算机工程, 1986, (02): 0
22 ThomasM.Leonard 陈涵生 . Ada与图形核心系统. 计算机工程, 1986, (02): 1
21 徐家福 . 试论程序设计原则语言设计. 计算机科学, 1986, (02): 0
20 王振宇 廖汉忠 吴桦 . 结构编辑程序的综述与分析. 计算机科学, 1986, (06): 0
1985
19 周之英 . d维长方体相交问题. 计算机学报, 1985, (01): 1
18 周之英 . 平面点集凸壳的实时算法. 计算机学报, 1985, (02): 0
17 张幸儿 徐家福 . XCY-2分块编译的实现. 计算机研究与发展, 1985, (03): 1
16 陈涵生 蒋涵民 . 属性文法和编译程序生成系统GAG. 计算机科学, 1985, (06): 0
15 王振宇 . Ada国际大会见闻和印象记. 计算机科学, 1985, (05): 0
1984
14 陆荣国 . 关于《一种实用的语法识别程序》的注记. 计算机学报, 1984, (04): 0
13 孙永强 宋国新 毕华 黄小戎 . 循环断言生成系统. 计算机研究与发展, 1984, (01): 0
12 许满武 . 实现FP语言的实验模型FPM2. 计算机研究与发展, 1984, (08): 0
11 周之英 . Unix系统的shell语言. , 1984, (05): 0
1983
10 徐家福 . 程序设计语言Ada简介(一). 小型微型计算机系统, 1983, (02): 0
9 徐家福 . 程序设计语言Ada简介(二). 小型微型计算机系统, 1983, (03): 0
8 许满武 . 函数式程序设计语言FP的实现. 小型微型计算机系统, 1983, (04): 1
7 费翔林 . 操作系统XTI的调进调出. 小型微型计算机系统, 1983, (06): 0
6 孙永强 . 本刊十周年纪念征文之三——FP函数程序设计. 计算机科学, 1983, (04): 0
5 王振宇 . 第十届国际自动机、语言和程序设计讨论会侧记. 计算机科学, 1983, (06): 0
1982
4 王振宇 . Ada程序包及其在系统程序设计中的应用. 计算机科学, 1982, (05): 0
1981
3 郝克刚 . GP文法与匹配优先分析算法. 计算机学报, 1981, (01): 0
2 徐家福 . 软件工程设计与函数式程序设计系统. 计算机研究与发展, 1981, (01): 0
1980
1 朱振元 . PASCAL语言和它的自编译程序介绍. 小型微型计算机系统, 1980, (04): 0