面向对象的软件构造 被引量：21

1

作者 冯玉琳 黄涛 李京 《软件学报》 EI CSCD 北大核心 1996年第3期129-136,共8页

面向对象技术的发展改变了传统软件系统的结构和设计方法学．本文作者提出一种称为ＳＣＯＰ的面向对象的软件系统结构模式，即软件是对象模块的复合，而软件设计则是对象模块经过程控制进行复合的构造生成．本文从语义模型、描述语言、... 面向对象技术的发展改变了传统软件系统的结构和设计方法学．本文作者提出一种称为ＳＣＯＰ的面向对象的软件系统结构模式，即软件是对象模块的复合，而软件设计则是对象模块经过程控制进行复合的构造生成．本文从语义模型、描述语言、设计方法学和支持环境等几方面对ＳＣＯＰ进行扼要的介绍． 展开更多

关键词 语义模型 面向对象 软件构造 程序设计

在线阅读 下载PDF 职称材料

层次化软件构造 被引量：10

2

作者 龚洪泉 邱晓娜 +1 位作者 薛云皎 钱乐秋 《计算机工程与应用》 CSCD 北大核心 2003年第5期135-138,232,共5页

该文针对面向对象和可视化开发环境中出现的常见问题,结合软件系统开发的实践经验,参照计算机网络中的层次参考模型,提出了层次化软件构造的思想。同时结合实现软件复用的构件技术,将软件系统的组成构件划分为物理操作层构件、公共服务... 该文针对面向对象和可视化开发环境中出现的常见问题,结合软件系统开发的实践经验,参照计算机网络中的层次参考模型,提出了层次化软件构造的思想。同时结合实现软件复用的构件技术,将软件系统的组成构件划分为物理操作层构件、公共服务层构件、特定领域层构件和用户界面层构件4个层次。文章最后结合软件开发项目的具体应用,说明了层次化软件构造的有效性和实用性。 展开更多

关键词 层次化软件构造 软件开发 面向对象 可视化开发环境 计算机网络 层次参考模型 层次化软件构造 软件复用 构件技术

在线阅读 下载PDF 职称材料

软件构造课程设计及其课程群 被引量：2

3

作者 李劲华 陈宇 《实验室研究与探索》 CAS 北大核心 2015年第10期84-88,共5页

计算机课程设置中缺乏将分散在各个课程中的软件开发理论、技术与工具综合应用的实践课程,是造成难以培养具有开发一定规模软件能力的因素。对此,设置了一门独立的软件开发综合实验课——软件构造课程设计,强化软件技术集成及开发能力... 计算机课程设置中缺乏将分散在各个课程中的软件开发理论、技术与工具综合应用的实践课程,是造成难以培养具有开发一定规模软件能力的因素。对此,设置了一门独立的软件开发综合实验课——软件构造课程设计,强化软件技术集成及开发能力。通过整合相关课程的内容,设计了一个面向软件开发技术、培养工程技术人才的软件构造课程群。该课程群涵盖了计算机课程体系中的编程基础、系统软件、软件过程的课程,以及新增的软件构造课程设计。给出了软件构造课程设计的教学设计、软件构造课程群的构成,以及针对不同人才类型的课程群的教学实施方案。比较并分析了相关的教学研究。 展开更多

关键词 课程群 软件构造 综合课程设计 实践教学 工程技术型人才

在线阅读 下载PDF 职称材料

基于监控的可信网构软件构造方法建模 被引量：2

4

作者 闫桂玲 《计算机工程与科学》 CSCD 北大核心 2013年第2期142-146,共5页

网构软件是一种面向网络环境的新型软件形态,其构建依赖于对开放、动态和多变环境中各网络节点软件实体之间的有效协同,然而,目前的软件构造方法都是基于静态可信,即:都是研究软件制造过程中的可信度,一旦软件制作完成,在运行过程中,软... 网构软件是一种面向网络环境的新型软件形态,其构建依赖于对开放、动态和多变环境中各网络节点软件实体之间的有效协同,然而,目前的软件构造方法都是基于静态可信,即:都是研究软件制造过程中的可信度,一旦软件制作完成,在运行过程中,软件的可信度是否会改变就不在研究范围之内。针对网构软件的开放、动态和多变特性,设计了一种基于监控的可信网构软件构造模型,该模型随着网构软件的运行,随时根据网络节点状态等相关因素动态评估网构软件的可信度,并根据监测结果改进网构软件和监控参数,为网构软件提供动态可信支持,并逐步提高网构软件的可信度。 展开更多

关键词 网构软件 可信度 软件监控 软件构造模型

在线阅读 下载PDF 职称材料

软件构造过程中的对象规范和实现

5

作者 李京 冯玉琳 《软件学报》 EI CSCD 北大核心 1995年第A01期231-237,共7页

面向对象的软件构造过程中的一个着急技术是对象的描述。本文介绍的ＡＤＬ语言就是用于描述软件对象的基本特征。一个ＡＤＬ对象定义分为两部分：其一是对象规范，它在抽象数据域上描述对象的语义特征，用逻辑公式规定对象的状态和行为... 面向对象的软件构造过程中的一个着急技术是对象的描述。本文介绍的ＡＤＬ语言就是用于描述软件对象的基本特征。一个ＡＤＬ对象定义分为两部分：其一是对象规范，它在抽象数据域上描述对象的语义特征，用逻辑公式规定对象的状态和行为约束。另一是对象体，它由开发者选用相应的某种实现语言和算法给出对象规范的具体实现，同时给出抽象数据到具体数据的映射关系。 展开更多

关键词 软件构造 对象规范 对象实现

在线阅读 下载PDF 职称材料

监控使能的分布式软件系统构造方法 被引量：11

6

作者 刘东红 郭长国 +1 位作者 王怀民 王涛 《软件学报》 EI CSCD 北大核心 2011年第11期2610-2624,共15页

针对开放的网络环境中大型分布式软件的调试、调优、维护和可信演化问题,提出了伴随式的监控使能分布式软件构造方法.基于发布/订阅的分布计算模型,提出了被监控对象的业务逻辑和监控逻辑分离的运行时体系结构;基于面向方面编程思想,提... 针对开放的网络环境中大型分布式软件的调试、调优、维护和可信演化问题,提出了伴随式的监控使能分布式软件构造方法.基于发布/订阅的分布计算模型,提出了被监控对象的业务逻辑和监控逻辑分离的运行时体系结构;基于面向方面编程思想,提出了监控使能的分布式软件开发方法和工具,降低了监控实施代价,增强了代码的可维护性;基于运行时体系结构,提出了监控系统的动态可定制部署方法.监控使能的分布式软件构造方法能够在开发时控制功能代码和非功能代码的纠结,尽可能地降低软件编程人员的代码维护难度;能够在部署时保证监控系统和被监控对象的松耦合;能够在运行时实现监控信息的按需汇聚和按需处理.从而在对系统核心业务的影响尽可能小的前提下.获得对系统运行行为尽可能全面的理解. 展开更多

关键词 监控 分布式软件系统 软件构造 可信软件

在线阅读 下载PDF 职称材料

可信软件的构造与演化分析专刊前言 被引量：1

7

作者 王怀民 徐洁 《软件学报》 EI CSCD 北大核心 2010年第2期177-178,共2页

近年来，软件及其运行环境发生了质的变化，边界开放、规模巨大、行为复杂等特点使得软件系统在可信性方面面临许多新的挑战．如何构造和维护可信的软件系统受到了工业界和学术界越来越多的关注和重视，多国政府、组织、企业、科研机构... 近年来，软件及其运行环境发生了质的变化，边界开放、规模巨大、行为复杂等特点使得软件系统在可信性方面面临许多新的挑战．如何构造和维护可信的软件系统受到了工业界和学术界越来越多的关注和重视，多国政府、组织、企业、科研机构纷纷提出了与可信软件构造与演化相关的研究计划．为了总结国内外在该研究领域所取得的重要研究成果，特别是我国国家高技术研究发展计划（863）、 展开更多

关键词 软件系统 软件构造 演化分析 研究成果 科研机构 学术界 工业界 可信性

在线阅读 下载PDF 职称材料

软件高层抽象设计构造的需求及发展 被引量：15

8

作者 胡华 高济 何志均 《计算机科学》 CSCD 北大核心 1999年第2期64-73,共10页

1 引言经过多年的研究和努力,计算机硬件系统经过电子管、晶体管、小规模集成电路和大规模集成电路等多个阶段与时代的迅速发展,已经形成了一个以高效率和低成本为基本特征的现代化成熟生产工业。而与计算机硬件发展形成鲜明对照的是,... 1 引言经过多年的研究和努力,计算机硬件系统经过电子管、晶体管、小规模集成电路和大规模集成电路等多个阶段与时代的迅速发展,已经形成了一个以高效率和低成本为基本特征的现代化成熟生产工业。而与计算机硬件发展形成鲜明对照的是,计算机软件虽然也经历了从程序设计、软件开发、工程化思想和今天的产业化发展等研究内容和层次都不断提高的多个发展阶段,然后,以高成本和低效率为主要特征的软件危机在软件开发生产过程中却依然存在,软件工程的研究和发展成果至今难以令人满意。软件工程是一门综合性的知识体系,其范围涉及自然科学、社会科学、计算机科学、工程技术科学、管理科学等诸多范畴。 展开更多

关键词 软件高层构造 面向对象 软件开发 软件工程

在线阅读 下载PDF 职称材料

基于二进制补丁比对的软件输入数据自动构造 被引量：2

9

作者 沈亚楠 赵荣彩 +4 位作者 任华 王小芹 刘振华 张新宇 李鹏飞 《计算机工程与设计》 CSCD 北大核心 2010年第14期3169-3173,共5页

在软件二进制补丁比对结果的基础上,提出一种基于目标的适应值函数模型。该模型对同一种群中所有个体评估,寻找优秀个体以遗传到子代中,产生能够到达或接近到达可疑函数的个体数据。该算法不需要源码。实验结果表明,该算法简化了逆向分... 在软件二进制补丁比对结果的基础上,提出一种基于目标的适应值函数模型。该模型对同一种群中所有个体评估,寻找优秀个体以遗传到子代中,产生能够到达或接近到达可疑函数的个体数据。该算法不需要源码。实验结果表明,该算法简化了逆向分析人员构造软件畸形数据的过程,为其快速触发软件脆弱点创造了条件。 展开更多

关键词 软件二进制补丁比对 函数调用图 遗传算法 适应值函数 软件输入数据自动构造

在线阅读 下载PDF 职称材料

《软件学报》可信软件的构造与演化专刊征文通知

10

《软件学报》 EI CSCD 北大核心 2009年第5期F0004-F0004,共1页

本专刊将收录国内外在可信软件构造和演化方面的具有创新性的研究成果，展示可信软件在理论、方法和技术方面的研究现状。本专刊将于2009年第12期出版，现特向国内外关注该主题的研究人员公开征集稿件。读者群体包括软件工程、可信计算... 本专刊将收录国内外在可信软件构造和演化方面的具有创新性的研究成果，展示可信软件在理论、方法和技术方面的研究现状。本专刊将于2009年第12期出版，现特向国内外关注该主题的研究人员公开征集稿件。读者群体包括软件工程、可信计算和分布计算领域的研究者和工程实践人员等。 展开更多

关键词 软件构造 征文通知 演化 学报 研究成果 研究人员 软件工程 工程实践

在线阅读 下载PDF 职称材料

《软件学报》可信软件的构造与演化专刊征文通知

11

《软件学报》 EI CSCD 北大核心 2009年第6期F0004-F0004,共1页

本专刊将收录国内外在可信软件构造和演化方面的具有创新性的研究成果，展示可信软件在理论、方法和技术方面的研究现状。本专刊将于2009年第12期出版，现特向国内外关注该主题的研究人员公开征集稿件。读者群体包括软件工程、可信计算... 本专刊将收录国内外在可信软件构造和演化方面的具有创新性的研究成果，展示可信软件在理论、方法和技术方面的研究现状。本专刊将于2009年第12期出版，现特向国内外关注该主题的研究人员公开征集稿件。读者群体包括软件工程、可信计算和分布计算领域的研究者和工程实践人员等。 展开更多

关键词 软件构造 征文通知 演化 学报 研究成果 研究人员 软件工程 工程实践

在线阅读 下载PDF 职称材料

支持运行监控的可信软件体系结构设计方法 被引量：13

12

作者 文静 王怀民 +2 位作者 应时 倪友聪 王涛 《计算机学报》 EI CSCD 北大核心 2010年第12期2321-2334,共14页

近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系... 近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作. 展开更多

关键词 面向侧面的体系结构描述语言 面向侧面的软件开发方法 支持运行监控的可信软件构造模型 软件工程 可信软件开发

在线阅读 下载PDF 职称材料

面向非确定性的软件质量保障方法与技术专题前言 被引量：1

13

作者 陈俊洁 汤恩义 +1 位作者 何啸 马晓星 《软件学报》 EI CSCD 北大核心 2021年第7期1923-1925,共3页

随着互联网、物联网、云计算等新计算平台、新应用模式及智能化等新软件模式的广泛运用,软件系统内外各种来源的非确定性不断增强.从软件系统内部的不确定性来看,并发程序是一类典型的非确定性软件系统.并发程序由于其随机性高的特点,... 随着互联网、物联网、云计算等新计算平台、新应用模式及智能化等新软件模式的广泛运用,软件系统内外各种来源的非确定性不断增强.从软件系统内部的不确定性来看,并发程序是一类典型的非确定性软件系统.并发程序由于其随机性高的特点,容易导致并发缺陷且难以调试.从软件系统外部的不确定性来看,软件所处的网络环境和所服务的用户需求变得更加动态多变,这就要求软件系统能够主动应对这些动态变化.具有自适应和持续演化能力的软件系统需要在环境和需求的自动感知与理解、适应行为的自主决策以及适应行为的精准实施等环节处理各种不确定性,以保障系统能够持续、稳定地提供服务.从软件构造途径的不确定性来看,包含深度神经网络部件的数据驱动智能化软件系统是另一类非确定性软件系统,其非确定性来自于机器学习模型的归纳本质.此类系统日益应用于一些安全相关的领域,这就对其软件质量提出了更高的要求.本专题关注软件质量保障中非确定性问题所面临的挑战以及相关软件质量保障技术. 展开更多

关键词 软件系统 非确定性 并发程序 深度神经网络 软件质量 软件模式 软件构造 云计算

在线阅读 下载PDF 职称材料

对象语义约束检验系统的设计和实现

14

作者 李京 倪彬 冯玉琳 《计算机研究与发展》 EI CSCD 北大核心 1996年第8期561-565,共5页

我们使用一阶谓词逻辑公式表示对象的语义约束，即对象结构特征和操作行为特征约束，这些逻辑公式必须保证是一致的，并且对象在其演变的历史过程中必须满足对象约束。本文介绍一个对象语义约束检验系统。

关键词 语义约束 一致性 面向对象 程序设计 软件构造

在线阅读 下载PDF 职称材料

对象形式语义模型 被引量：4

15

作者 黄涛 李京 《软件学报》 EI CSCD 北大核心 1995年第A01期207-212,共6页

在面向对象的软件构造中，对象视为软件系统的基本构件，本文给出一个对象形式语义模型，对象被定义为封装属性和行为的实体，对象行为必须满足给定的静态约束和时序约束；基于对象态射本文给出对象聚俣，特化，继承和对象类等概念在此... 在面向对象的软件构造中，对象视为软件系统的基本构件，本文给出一个对象形式语义模型，对象被定义为封装属性和行为的实体，对象行为必须满足给定的静态约束和时序约束；基于对象态射本文给出对象聚俣，特化，继承和对象类等概念在此语义模型框架中的解释。 展开更多

关键词 对象语义模型 继承 聚合 软件构造 软件系统

在线阅读 下载PDF 职称材料