期刊文献+
共找到31篇文章
< 1 2 >
每页显示 20 50 100
Software techniques for Internet Computing:Current situation and future trend 被引量:4
1
作者 MEI Hong LIU XuanZhe 《Chinese Science Bulletin》 SCIE EI CAS 2010年第31期3510-3516,共7页
The fast development of the Internet has extended wider space for Information and Communications Technology(ICT),and it has brought a series of challenges for traditional software theories,models,approaches and techno... The fast development of the Internet has extended wider space for Information and Communications Technology(ICT),and it has brought a series of challenges for traditional software theories,models,approaches and technologies.This paper looks back some popular Internet-based new computing paradigms and application schemas,discusses the current status and the future trend of software technologies for Internet Computing,including topics of software model,software runtime supporting platform,software development methodologies and software quality measurement and assurance. 展开更多
关键词 INTERNET software technique software methodology INTERNETWARE
原文传递
支持软件开发的可执行定义方法 被引量:4
2
作者 应晶 何志均 吴朝晖 《软件学报》 EI CSCD 北大核心 1997年第5期350-359,共10页
本文分析了软件开发过程中的可执行定义方法及其与软件开发的关系,并将作者提出的可执行定义方法论MHSC(methodologyforhigh-levelspecificationconstruction)与现有方法论进... 本文分析了软件开发过程中的可执行定义方法及其与软件开发的关系,并将作者提出的可执行定义方法论MHSC(methodologyforhigh-levelspecificationconstruction)与现有方法论进行比较.论文表明可执行定义方法将在软件系统从定义开发到系统实现的进化式开发过程中起着关键的作用。 展开更多
关键词 可执行定义 软件方法论 软件开发
下载PDF
软件方法论研究中的若干问题 被引量:3
3
作者 应晶 何志均 《计算机科学》 CSCD 北大核心 1997年第4期69-74,共6页
软件发展到今天,已出现了一大批较为实用的软件工具。这些工具以成熟的技术为基础,别从不同的开发阶段、从不同的设计角度、依据不同的软件开发信息完成一个局部的开发功能例如。
关键词 软件方法论 软件工具 软件工程
下载PDF
一种基于极限编程的实验室项目软件方法LabXP
4
作者 邵飞 葛季栋 +2 位作者 胡昊 鲍钦迪 吕建 《计算机科学》 CSCD 北大核心 2005年第8期199-202,共4页
本文基于一种敏捷的软件方法——极限编程,结合实验室项目的特点,探讨了在实验室项目中进行软件开发的方法,提出了一种实验室项目软件方法 LabXP(Lab eXtreme Programing)。鉴于实验室项目的特殊性,这种方法是以极限编程(XP)为基础的敏... 本文基于一种敏捷的软件方法——极限编程,结合实验室项目的特点,探讨了在实验室项目中进行软件开发的方法,提出了一种实验室项目软件方法 LabXP(Lab eXtreme Programing)。鉴于实验室项目的特殊性,这种方法是以极限编程(XP)为基础的敏捷软件方法(Agile Software Method),在保证软件质量的基础上实现了快速开发。 展开更多
关键词 实验室项目 软件方法 XP 极限编程 实验室 项目 software EXTREME 软件开发 快速开发
下载PDF
基于ICONIX面向对象过程的嵌入式软件设计方法
5
作者 郭策 王兴起 《工业控制计算机》 2017年第12期4-6,8,共4页
软件方法学为构建大型的、复杂的软件系统提供了指导原则和方法体系,设计良好的系统模型要比直接编码更具决定性意义。ICONIX面向对象过程是模型驱动设计方法的一个体现,帮助人们快速实现健壮可靠的软件产品。在嵌入式领域,多数应用软... 软件方法学为构建大型的、复杂的软件系统提供了指导原则和方法体系,设计良好的系统模型要比直接编码更具决定性意义。ICONIX面向对象过程是模型驱动设计方法的一个体现,帮助人们快速实现健壮可靠的软件产品。在嵌入式领域,多数应用软件缺乏有效的设计,导致功能扩展和后期维护都非常棘手。ICONIX面向对象过程与嵌入式领域结合,展现了一种嵌入式软件的设计方法。 展开更多
关键词 软件方法学 模型驱动设计 ICONIX 嵌入式软件
下载PDF
信息管理系统辅助开发工具设计
6
作者 侯济恭 《华侨大学学报(自然科学版)》 CAS 1993年第2期261-268,共8页
本文讨论如何设计一个信息管理系统的辅助开发工具库:菜单自动生成器、报表自动生成器、屏幕表格自动生成器以及随机组合条件生成器.最后讨论实现中的几个关键技术.
关键词 信息管理系统 软件工具 软件方法
下载PDF
程序Java化过程中的软件工程策略
7
作者 贝佳 陶列骏 +1 位作者 郑康 潘金贵 《计算机工程》 CAS CSCD 北大核心 2003年第7期76-78,105,共4页
由于Java语言具有的诸多特性以及Internet和嵌入式系统的普及,对已经投入应用的使用C++语言编写的软件进行Java移植,在软件活动中的比例越来越大以及这一活动过程的特殊性,针对其过程进行的管理控制与开发方法和传统软件活动有所不... 由于Java语言具有的诸多特性以及Internet和嵌入式系统的普及,对已经投入应用的使用C++语言编写的软件进行Java移植,在软件活动中的比例越来越大以及这一活动过程的特殊性,针对其过程进行的管理控制与开发方法和传统软件活动有所不同,因此讨论了针对移植的策略,并以一个移植项目——FTP Plus为例,证明这些策略的有效性。 展开更多
关键词 软件工程 移植 JAVA 软件方法
下载PDF
逻辑化的指称语义学
8
作者 唐同诰 《复旦学报(自然科学版)》 CAS CSCD 北大核心 1989年第2期180-187,共8页
指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。本文将上述两种功能集中于一种语义学之中,实现了指称语义学的逻辑化,即在一阶时态逻辑的某个特定的系统里,对那些具有指称语义的公式进行逻辑推理... 指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。本文将上述两种功能集中于一种语义学之中,实现了指称语义学的逻辑化,即在一阶时态逻辑的某个特定的系统里,对那些具有指称语义的公式进行逻辑推理。这种公理化的推理方式,提高了指称语义学用于程序自动验证的能力。同时,把不同形式的程序语义学,在一阶时态逻辑之下统一地进行处理也是一种新的尝试。 展开更多
关键词 指称语义学 逻辑化 程序语义学
原文传递
多Agent系统的上下文感知增强 被引量:3
9
作者 马骏 陶先平 +1 位作者 朱怀宏 吕建 《软件学报》 EI CSCD 北大核心 2012年第11期2905-2922,共18页
如今,多agent系统(multi-agent system,简称MAS)被广泛用于开发各种应用系统.当前,开放、动态、难控的计算平台要求软件系统能够根据系统自身及其环境状态信息及其改变,动态地调节自身的行为,即具备一定的上下文感知能力.然而,现有工作... 如今,多agent系统(multi-agent system,简称MAS)被广泛用于开发各种应用系统.当前,开放、动态、难控的计算平台要求软件系统能够根据系统自身及其环境状态信息及其改变,动态地调节自身的行为,即具备一定的上下文感知能力.然而,现有工作并未就如何向既有的MAS应用系统引入上下文感知能力提出有效的解决方案.依照关注分离原则,结合面向上下文程序设计技术(context-oriented programming,简称COP)、反射技术(reflection)以及代码植入技术(code instrumentation),提出了一套MAS系统上下文感知增强框架和底层支撑技术.开发人员可以在既有应用源码不可得的情况下,自动地将指定agent类型转换为(扩展为)具有上下文感知能力的agent类型.此外,利用底层运行支撑环境,系统管理员可以在系统运行时刻动态地调整指定agent的上下文感知行为. 展开更多
关键词 软件AGENT 多AGENT 系统 上下文感知 程序设计 软件方法学
下载PDF
TurboPROLOG程序开发中数据描述的一种方法 被引量:1
10
作者 余金山 《计算机应用》 CSCD 1994年第1期23-26,共4页
TurboPROLOG程序开发中数据组织与描述的一种系统的、实用的、简单但又十分具体的方法和过程。参照文中的步骤,可以有效地把用户的数据说明直接地变换为相应的TurboPROLOG定义。
关键词 程序设计 数据描述 PROLOG语言
下载PDF
基于Turbo PROLOG的面向对象方法
11
作者 余金山 《小型微型计算机系统》 EI CSCD 北大核心 1998年第3期48-55,共8页
面向对象 (OO)技术是当前计算机界讨论的热点。另一方面 ,知识信息处理正在成为计算机应用的主要领域 ,发展中的基于知识的软件工程也将成为一种关键的软件技术。本文提出一种基于 Turbo PROLOG的 OO程序设计方法学。我们 :(1 )简明地... 面向对象 (OO)技术是当前计算机界讨论的热点。另一方面 ,知识信息处理正在成为计算机应用的主要领域 ,发展中的基于知识的软件工程也将成为一种关键的软件技术。本文提出一种基于 Turbo PROLOG的 OO程序设计方法学。我们 :(1 )简明地讨论了 OO方法的基本概念和基本要素 ;(2 )给出了在 Turbo PROLOG中实现 OO各要素的规则和方法 ;(3)分析了 OO基本特征在该方法中的体现及存在问题。 展开更多
关键词 面向对象 程序设计 PROLOG语言
下载PDF
嵌入式系统软硬件联合设计方法研究 被引量:11
12
作者 周海芳 陈虎 杨学军 《计算机工程与科学》 CSCD 2001年第6期98-101,共4页
本文从方法学的角度 ,结合嵌入式系统的设计 ,介绍了软硬件联合设计方法的流程和一些关键技术 ;并针对嵌入式系统自身的特点 ,探讨了设计方法相应的一些发展 ;最后 。
关键词 嵌入式系统 虚拟原型 软件 硬件 微处理器 设计
下载PDF
用面向对象方法开发软件产品 被引量:6
13
作者 徐海洋 刘连芳 《计算机应用研究》 CSCD 北大核心 2002年第4期1-4,共4页
针对软件产品开发的主要难点 ,分析了可能使用的几种软件工程方法 ,着重介绍了面向对象方法的特点和几种具体面向对象开发方法流派的开发步骤 ,并以超媒体编著工具 (HyperAuthor)
关键词 面向对象方法 软件工程方法 超媒体编著工具 软件产品 软件开发
下载PDF
面向对象软件设计方法的研究 被引量:7
14
作者 陈世鸿 黄水松 《武汉大学学报(自然科学版)》 CSCD 1995年第3期315-320,共6页
近10多年来,人们对OOM(object-orientedmethod)给予了极高的评价,它的起源可追溯到1967年提出的SIMULA语言,本文将OOM同传统的结构化方法、面向数据的设计法等作了对比与分析.从OOM的... 近10多年来,人们对OOM(object-orientedmethod)给予了极高的评价,它的起源可追溯到1967年提出的SIMULA语言,本文将OOM同传统的结构化方法、面向数据的设计法等作了对比与分析.从OOM的历史和发展现状探讨这一方法对软件开发方法学产生的影响. 展开更多
关键词 继承性 软件开发 面向对象 OOM法
下载PDF
可复用构件净室设计模式研究 被引量:3
15
作者 冯建湘 刘定 +1 位作者 楚涤修 冯冼 《长沙电力学院学报(自然科学版)》 2003年第3期11-14,共4页
基于构件的软件开发已成为软件工程化开发的重要趋势,可复用构件产品的质量和可靠性是决定软件系统质量和可靠性的关键.根据构件的主要特点和基于构件的软件设计思想,运用国际上先进的净室软件工程的理论、技术和实践成果,提出了可复用... 基于构件的软件开发已成为软件工程化开发的重要趋势,可复用构件产品的质量和可靠性是决定软件系统质量和可靠性的关键.根据构件的主要特点和基于构件的软件设计思想,运用国际上先进的净室软件工程的理论、技术和实践成果,提出了可复用构件净室实现的技术方法和实施过程. 展开更多
关键词 净室软件工程 软件开发 软件设计 软件重用 可复用构件 设计模式
下载PDF
企业数字化转型的现实困境、成因和应对研究
16
作者 张继德 张家轩 +1 位作者 刘洁 徐宏 《会计研究》 CSSCI 北大核心 2024年第7期13-25,共13页
数据已经成为继土地、劳动力、资本、技术四大生产要素之后推动企业发展的第五大关键生产要素。数字已被纳入生产函数,数字经济助推中国企业高质量发展。然而,与数字化转型如火如荼开展形成鲜明对照的是企业数字化转型极低的成功率,这... 数据已经成为继土地、劳动力、资本、技术四大生产要素之后推动企业发展的第五大关键生产要素。数字已被纳入生产函数,数字经济助推中国企业高质量发展。然而,与数字化转型如火如荼开展形成鲜明对照的是企业数字化转型极低的成功率,这成为企业数字化转型的现实困境。本文探究了数字化转型赋能企业价值创造的直接效应和溢出效应,明确了企业数字化转型的现实困境和产生原因,构建了三层五要素的数字化转型困境应对策略系统,从要素出发制定了有效高效应对数字化转型现实困境策略,为企业数字化转型监管部门制定监管政策和企业进行数字化转型实务提供数据经验借鉴和方法学支持。 展开更多
关键词 企业数字化转型 现实困境 应对策略 组织惯性 软件工程方法学
原文传递
IPEAS:适用于建设项目经济评价的决策支持系统 被引量:2
17
作者 王诚 董轩明 《计算机研究与发展》 EI CSCD 北大核心 1997年第6期427-431,共5页
建立有效的建设项目经济评价决策支持系统对于科学决策、减少投资失误有重要意义.本文介绍了一个新型建设项目经济评价决策支持系统IPEAS的开发方法、体系结构设计及实现;并对如何利用IPEAS进行经济评价决策活动作了描述;... 建立有效的建设项目经济评价决策支持系统对于科学决策、减少投资失误有重要意义.本文介绍了一个新型建设项目经济评价决策支持系统IPEAS的开发方法、体系结构设计及实现;并对如何利用IPEAS进行经济评价决策活动作了描述;最后。 展开更多
关键词 决策支持系统 软件开发 IPEAS 建设项目
下载PDF
Development and application of a model for analysis and design phases of Web-based system development
18
作者 Byung-KwonJung Dong-SooKim +2 位作者 Seok-MinYoon Gyu-SangShin Chong-SunHwang 《Science in China(Series F)》 2003年第4期241-249,共9页
Despite a short history of the Web development, Web-related technologies are rapidly develop- ing. However, the Web application quality is improving slowly, which requires efficient methods for devel- oping Web system... Despite a short history of the Web development, Web-related technologies are rapidly develop- ing. However, the Web application quality is improving slowly, which requires efficient methods for devel- oping Web systems. This study presents a model for Web-based software development for analysis and design phases based on the ISO/IEC 12207 standard. It describes the methods used to define processes and entities in order to reflect the contents in Web applications. It applies the methodology of Web-Road Map by KCC Information and Technology using this model to the public project. As a result, Web-Road Map is proven to be an efficient model to analyze and design Web-applications. 展开更多
关键词 Web-based software development methodology software life cycle analysis design.
原文传递
基于体系结构的构件化软件净室设计方法 被引量:2
19
作者 冯建湘 楚涤修 《武汉大学学报(工学版)》 CAS CSCD 北大核心 2004年第3期123-126,共4页
基于构件的软件开发已成为软件工程化开发的重要趋势,运用净室软件理论,以软件体系结构为基础,提出了构件化净室软件设计的技术方法和实例过程,即应用体系结构描述语言(ArchitectureDescriptionLanguage,简称ADL)对基于体系结构的分析... 基于构件的软件开发已成为软件工程化开发的重要趋势,运用净室软件理论,以软件体系结构为基础,提出了构件化净室软件设计的技术方法和实例过程,即应用体系结构描述语言(ArchitectureDescriptionLanguage,简称ADL)对基于体系结构的分析进行净室描述,根据描述结果通过构件库管理系统对构件进行净室组装以形成软件系统,并给出了进一步研究的方向.结果表明:该方法是提高软件产品质量、降低开发成本的有效途径. 展开更多
关键词 净室理论 净室软件工程 构件 软件体系结构 软件工程方法
下载PDF
一种适用于功能安全的软件结构化方法 被引量:3
20
作者 刘布麒 周志飞 《控制与信息技术》 2018年第4期49-53,共5页
由于轨道交通车辆空间小、人流量大,其安全性越来越受到重视,特别是其网络控制系统的安全性越来越受到关注。文章提出一种基于验证和评估、符合功能安全要求的软件结构化方法,其包括结构化分析方法、结构化设计方法、结构化测试、可追... 由于轨道交通车辆空间小、人流量大,其安全性越来越受到重视,特别是其网络控制系统的安全性越来越受到关注。文章提出一种基于验证和评估、符合功能安全要求的软件结构化方法,其包括结构化分析方法、结构化设计方法、结构化测试、可追溯性和结构化评估,并成功应用于出口马其顿动车的网络TCMS系统软件中。实际应用结果表明,该软件结构化方法实现了网络控制系统的安全性,从软件层面保证了网络控制系统的安全。 展开更多
关键词 软件结构化方法 列车控制和管理系统 安全完整性等级
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部