![软件工程进展 技术、方法和实践](https://cover.qianqiantushu.cc/2/s618ae56.jpg)
![软件工程进展 技术、方法和实践](https://cover.qianqiantushu.cc/2/s618ae56.jpg)
软件工程进展 技术、方法和实践PDF电子书下载
- 电子书积分:15 积分如何计算积分?
- 作 者:杨芙清,何新贵主编
- 出 版 社:北京:清华大学出版社
- 出版年份:1996
- ISBN:7302021708
- 页数:453 页
第一篇:软件开发工具与环境 1
青鸟工程现状与发展——兼论我国软件产业发展途径&杨芙清 1
Windows版青鸟软件工具系统的设计与实现&黄柏素 陈 钟 杨芙清 9
一个实时软件原型建造环境的设计与实现&王振宇 汪 洋 16
开发实时监控系统的CASE工具的设计与实现&朱瑞香 袁晓洁 王 娟 23
软件帮助系统的双模型开发方法和生成工具&朱春辉 谭耀铭 徐永森 黄宇航 29
面向对象系统开发模型OOSDM支撑环境的设计与实现&乔 琳 李文军 35
基于软件代理的分布应用开发工具&居德华 沈备军 胡自强 陆励风 41
青鸟Ⅱ型(JBII)软件工程环境中的过程描述&刘述忠 邵维忠 梅宏 杨芙清 47
青鸟MIS开发平台&史森 杨冬青 唐世渭 54
集成化MIS开发方法及支持工具的研制&高复先 包书进 61
一个基于模块说明的代码生成系统&曾广周 李红 68
程序综合系统——DTPS&赵莹 全炳哲 金淳兆 73
CASEE的集成与开放 蔡智明&袁兆山 刘宗田 79
Ada源程序语句统计分析工具的研究与实现&佟金荣 赵燕君 85
基于多媒体数据库的课件写作环境&王曦若 金茂钟 刘晓东 李雁 91
网络表格查询统计工具的开发&罗子波 96
“银鹰”集成环境的实现技术及应用&吴广茂 王玉玺 宋擒豹 卜苏滨 98
分布式对象计算标准CORBA&陈涵生 郑链浩 101
Ada软件数据流分析工具的设计&唐发根 钱红兵 105
第二篇:软件工程中的面向对象技术 108
面向对象设计方法IDEF4及其改进&周之英 108
面向对象的软件测试——方法研究及系统设计&邵维忠 王立福 梅宏 杨芙清 115
面向对象的可重用库框架&姜静波 郭勇 蔡建平 123
O-O软件开发中类库的管理与重用的实现&吴成恩 李万学 129
ISEE数据库平台的研究与实现&董剑利 刘又诚 高仲仪 135
关于对象类型的研究&李侃 李舟军 王兵山 140
一种面向对象的领域分析方法&沈浩 张然 145
面向对象的概念建模方法&卢显锋 狄玉来 151
基于关系的面向对象数据模型&曾小兰 陈小旺 156
面向对象建模中的三类对象&铁伟 姚世民 陈俊亮 160
对象数据交换和对象模型标准化问题&麦中凡 刘书舟 166
面向对象的编程语言及其比较&姜静波 173
基于脚本技术的对象识别及提炼&易晓勇 王立福 182
面向对象开发方法对软件维护的影响&蒋良 王世业 187
面向对象的再造工程研究&贺岚 狄玉来 194
面向对象的约束逻辑程序设计&林琪 199
CIMS中的面向对象方法&张红霞 朱海滨 204
面向对象程序设计及类型的若干问题&全炳哲 金淳兆 玄顺姬 209
面向对象技术在实时系统中的应用&曾培峰 唐莉萍 214
面向对象建模技术及其支持工具&李健 刘超 金茂忠 217
结构化图式编辑器的面向对象开发&朱姝 221
C程序宏观结构的分析方法&卢慧琼 吴家政 224
KOSD:一种基于知识的面向对象软件开发方法&周晓聪 李文军 227
基于复用的面向对象管理信息系统开发环境的研究&谢赞福 231
面向对象方法与MIS生成工具结合技术&范锐 233
CIMS/MRPII中面向对象技术的研究&宋宏 陈秀网 史迎 235
工程应用软件系统开发中的OOM&陈科 237
第三篇:软件过程模型及开发方法 240
过程概念的基本框架&郭江 周伯生 廖越虹 240
ISPW-6软件过程实例建模&柳军飞 245
结合类与对象的软件开发&彭伟 朱海滨 252
语料库词法标注的隐马可夫模型(HMM)算法&杨谊 王挺 陈火旺 257
基于知识的软件重用研究&李师贤 马青 263
软件可重用接口的设计与描述模式&陈华平 李京 陈国良 269
基于HOL的实时系统定理证明器&胡成军 王戟 陈火旺 275
部分求值新技术&宋立彤 刘磊 金成植 281
科学可视化综述&林华君 梅皓 287
数值计算数据的流动显示模拟&曹裕华 方德润 程能 290
构造领域字典支持软部件查询及匹配度评估&毛新军 陈火旺 齐治昌 293
基于软件重用的MIS开发方法&杨传斌 苗兰芳 296
一种基于数据流分析的程序静态分析方法&刘磊 叶晓煜 袁琦 299
第四篇:软件测试、评审和质量保证 302
C软件质量度量与评价系统SOME/C&张社英 刘又诚 302
软件模块内聚性的判定与度量&弓惠生 307
安全苛刻软件的开发与认证&姜静波 313
一个实时通信协议测试集的实现&李海雁 王培良 许博义 329
C++中类的数据流测试&郑学军 张天戈 王春森 334
数据库管理系统的一致性测试&陈瑜 338
面向对象软件测试模型与测试策略&吴鹏程 金茂忠 342
遗传算法与软件结构测试数据自动生成&荚伟 高仲仪 345
面向对象软件的测试研究&何新华 官云战 吕昌龄 孙书韬 347
网络协议的形式化验证和测试环境&杨万春 罗铁庚 齐治昌 陈火旺 350
基于PVM的并行调试环境&黄宁 金茂忠 353
Ada程序控制结构复杂性度量工具的设计与实现&赵燕君 姜静波 佟金荣 356
Ada软件实时性能检测工具ARPDS&奚红宇 陈曦 高仲仪 359
第五篇:用户界面技术 361
面向对象图形界面开发系统JB/GUIDS设计与实现&耿孝和 邵维忠 杨芙清 361
人机界面工具的研究&陈效路 程景云 367
适应性人机界面的分类与结构模型&张倪 钟锡昌 373
一个基于面向对象程序设计的多窗口系统&陶培基 李振德 杨柱 刘霞 379
一个新型用户界面管理模型的设计与实现&王欣 华庆一 葛玮 382
第六篇:软件工程方法论及其它 385
软件方法论研究中的若干问题探讨&应晶 何志均 385
基于模型的动态系统监测技术&陈越 392
Fortran 90编译系统开发过程中的软件工程技术&程虎 王健 397
软件开发方法学的进展&麦中凡 405
软件工程方法在一个实时数据处理系统开发中的应用&彭甫阳 415
图式程序设计语言及其发展&萧剑平 420
C/S软件中远程过程调用的实现机制&刘智深 李京 陈华平 孙志霞 426
浅谈OLE技术对软件工程的影响&阎慧 胡修府 432
综合集成研讨厅原型系统总体设计&陆镇麟 胡晓惠 陈华 437
一个面向表格的应用生成系统&张有仁 盛浩林 林振 等 440
Windows NT下网络实时并发通信系统的设计&杜永宁 李敏生 443
基于客户/服务器的超媒体系统模型NEXTER&王肇东 梁晋清 446
探索大学软件工程课程实验教学的途径&李昭智 程明 450
- 《市政工程基础》杨岚编著 2009
- 《激光加工实训技能指导理实一体化教程 下》王秀军,徐永红主编;刘波,刘克生副主编 2017
- 《工程静力学》王科盛主编 2019
- 《中央财政支持提升专业服务产业发展能力项目水利工程专业课程建设成果 设施农业工程技术》赵英编 2018
- 《化学反应工程》许志美主编 2019
- 《绿色过程工程与清洁生产技术 张懿院士论文集精选 上》《绿色过程工程与清洁生产技术》编写组编 2019
- 《软件工程》齐治昌,谭庆平,宁洪编著 2019
- 《先进激光加工技能实训》肖海兵主编 2019
- 《化学工程与工艺专业实验指导》郭跃萍主编 2019
- 《英语实训教程 第2册 商务英语听说》盛湘君总主编 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云,刘枫,尚利明著 2020
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春,骆敏主编 2015
- 《大学物理简明教程 下 第2版》施卫主编 2020
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019