期刊文献+
共找到27篇文章
< 1 2 >
每页显示 20 50 100
Intelligent Agent Based Mapping of Software Requirement Specification to Design Model
1
作者 Emdad Khan Mohammed Alawairdhi 《Journal of Software Engineering and Applications》 2013年第12期630-637,共8页
Automatically mapping a requirement specification to design model in Software Engineering is an open complex problem. Existing methods use a complex manual process that use the knowledge from the requirement specifica... Automatically mapping a requirement specification to design model in Software Engineering is an open complex problem. Existing methods use a complex manual process that use the knowledge from the requirement specification/modeling and the design, and try to find a good match between them. The key task done by designers is to convert a natural language based requirement specification (or corresponding UML based representation) into a predominantly computer language based design model—thus the process is very complex as there is a very large gap between our natural language and computer language. Moreover, this is not just a simple language conversion, but rather a complex knowledge conversion that can lead to meaningful design implementation. In this paper, we describe an automated method to map Requirement Model to Design Model and thus automate/partially automate the Structured Design (SD) process. We believe, this is the first logical step in mapping a more complex requirement specification to design model. We call it IRTDM (Intelligent Agent based requirement model to design model mapping). The main theme of IRTDM is to use some AI (Artificial Intelligence) based algorithms, semantic representation using Ontology or Predicate Logic, design structures using some well known design framework and Machine Learning algorithms for learning over time. Semantics help convert natural language based requirement specification (and associated UML representation) into high level design model followed by mapping to design structures. AI method can also be used to convert high level design structures into lower level design which then can be refined further by some manual and/or semi automated process. We emphasize that automation is one of the key ways to minimize the software cost, and is very important for all, especially, for the “Design for the Bottom 90% People” or BOP (Base of the Pyramid People). 展开更多
关键词 software engineering Artificial Intelligence Ontology INTELLIGENT Agent requirements specification requirements MODELING Design MODELING Semantics Natural LANGUAGE Understanding Machine Learning Universal MODELING LANGUAGE (UML) ICT (Information and Communication Technology and BOP (Base of the PYRAMID People)
下载PDF
The Analysis and Proposed Modifications to ISO/IEC 25030—Software Engineering—Software Quality Requirements and Evaluation—Quality Requirements
2
作者 Karen Mou Kui Khaled Ben Ali Witold Suryn 《Journal of Software Engineering and Applications》 2016年第4期112-127,共16页
The quality of the software product is a crucial factor that contributes to its success. Therefore, it is important to specify the right software quality requirements that will establish the basis for desired quality ... The quality of the software product is a crucial factor that contributes to its success. Therefore, it is important to specify the right software quality requirements that will establish the basis for desired quality of the final system/software product. There are several known methodologies/ processes that support the specification of the system/software functional requirements starting from the user needs to finally obtain the system requirements that the developers can implement through their development process. System/software quality requirements are interdependent with functional requirements, which means that the system/software quality requirements are meant to be specified in parallel with the latter. The ISO/IEC 25000 [1] SQuaRE series of standards include the standard ISO/IEC 25030—Software engineering—Software Quality Requirements and Evaluation—Quality requirements [2], which has as main goal to help specify software quality requirements. As to date, this standard does not offer clear and concise steps that a software quality engineer could follow in order to specify them. This article presents modifications recommended for ISO/IEC 25030 standard, with, among the others, a new requirements definition process that allows for specifying the system/software quality requirements taking into account the existing published system and software quality model ISO/IEC 25010 [3] as well as all the stake- holders of the project. 展开更多
关键词 System/software Quality System/software Quality requirements software Quality Engineer specification Process ISO/IEC 25030 ISO/IEC 25000 SQuaRE
下载PDF
功能点方法在软件需求开发中的应用研究
3
作者 李园 《航空电子技术》 2023年第3期63-67,共5页
针对需求开发活动中存在的常见问题,将功能点识别方法应用于需求分析过程,从度量软件提供给用户的功能角度进行软件需求分析,并以某软件为例,以软件功能点模型作为约束标准,形成了标准、规范的软件需求规格说明,有效控制了软件需求的边... 针对需求开发活动中存在的常见问题,将功能点识别方法应用于需求分析过程,从度量软件提供给用户的功能角度进行软件需求分析,并以某软件为例,以软件功能点模型作为约束标准,形成了标准、规范的软件需求规格说明,有效控制了软件需求的边界,亦辅助保证了需求的完整性等要求。 展开更多
关键词 需求开发 功能点 软件需求规格说明 软件工程
下载PDF
可信软件非功能需求形式化表示与可满足分析 被引量:10
4
作者 张璇 李彤 +3 位作者 王旭 于倩 郁湧 朱锐 《软件学报》 EI CSCD 北大核心 2015年第10期2545-2566,共22页
可信软件的可信性由其功能需求和非功能需求共同来体现,其中,非功能需求的实现是可信软件获得用户对其行为实现预期目标能力的信任程度的客观依据.针对可信软件的重要性以及对可信软件的迫切需求,在可信软件的早期需求工程阶段,提出可... 可信软件的可信性由其功能需求和非功能需求共同来体现,其中,非功能需求的实现是可信软件获得用户对其行为实现预期目标能力的信任程度的客观依据.针对可信软件的重要性以及对可信软件的迫切需求,在可信软件的早期需求工程阶段,提出可信软件非功能需求驱动的过程策略选取方法.首先,对可信软件需求进行定义,提出由功能需求和非功能需求中的可信关注点构成可信需求,非可信关注点的非功能需求则定义为软目标,用于表达质量需求,基于模糊集合论和信息熵对可信软件非功能需求进行排序并获取可信关注点和软目标.在此基础上,提出可信软件非功能需求驱动的过程策略选取方法.传统的软件早期需求工程阶段的目标是为了获取满足需求的技术及设计决策,与此不同,本文对可信软件非功能需求进行分析的目标是获取过程策略,从过程角度解决可信软件生产问题.由于非功能需求间复杂的相关关系,尤其是因为存在冲突关系,故提出了基于可满足性问题求解方法推理过程策略的方法,选取满足可信软件非功能需求的过程策略.最后,通过第三方可信认证中心软件的案例,说明所提出方法的可行性. 展开更多
关键词 可信软件 早期需求工程 非功能需求 软件过程 可满足性问题
下载PDF
需求工程研究新进展 被引量:21
5
作者 张家重 徐家福 《计算机研究与发展》 EI CSCD 北大核心 1998年第1期1-5,共5页
需求工程研究进展日渐显著,它可归结为需求工程的对象化、形式化和自动化三个主要方面.文中在讨论了需求工程有关的基本问题之后,围绕着上述三方面总结了其代表性工作、研究现状和发展趋势,并简要介绍了作者近期在面向对象需求工程... 需求工程研究进展日渐显著,它可归结为需求工程的对象化、形式化和自动化三个主要方面.文中在讨论了需求工程有关的基本问题之后,围绕着上述三方面总结了其代表性工作、研究现状和发展趋势,并简要介绍了作者近期在面向对象需求工程及其自动化方面所做的一些工作. 展开更多
关键词 需求工程 面向对象 软件自动化 软件开发
下载PDF
需求分析与获取的方法学与技术 被引量:10
6
作者 陈晓桦 刘心松 《计算机应用》 CSCD 1995年第2期19-21,共3页
本文给出需求工程的一般框架,在对需求分类的基础上主要讨论非功能性(即非行为性)需求,提出对软件需求规范和分析技术的要求,并强调对现有相关工作评价的其中两个方面。
关键词 软件开发 需求分析 需求规范 需求工程
下载PDF
功能规约自动生成 被引量:2
7
作者 董丽君 凌澍 徐家福 《计算机学报》 EI CSCD 北大核心 1996年第3期174-178,共5页
NDRASS系统[1]是南京大学计算机软件研究所新近研制成的一个由软件需求定义到软件功能规约的转换系统.功能规约自动生成是该系统的主体部分.它涉及状态空间的生成,操作定义的生成和系统总控流程的生成等.本文简要阐述了这... NDRASS系统[1]是南京大学计算机软件研究所新近研制成的一个由软件需求定义到软件功能规约的转换系统.功能规约自动生成是该系统的主体部分.它涉及状态空间的生成,操作定义的生成和系统总控流程的生成等.本文简要阐述了这些问题,特别讨论了NDRASS系统中控制流图的规范化与结构化分解.全文包括研究动因、NDRASS系统、功能规约自动生成架构、控制流图的规范化和结构化、代码生成、示例以及结语七个部分. 展开更多
关键词 软件需求定义 软件功能规约 NDRASS系统
下载PDF
一种度量软件需求的功能点方法 被引量:3
8
作者 文静 顾勋梅 《微电子学与计算机》 CSCD 北大核心 2011年第10期75-78,83,共5页
基于目前应用广泛的功能点分析方法,从软件需求规约的角度提出了合理度量面向对象系统的一系列映射规则和度量规则,解决了基于人工解释所导致的度量结果的不精确问题,并通过实例说明了这些规则的使用方法,具有较强的实用性.
关键词 功能点分析 软件规约 面向对象系统 映射规则 度量规则
下载PDF
软件需求规格说明自动生成工具 被引量:1
9
作者 甘早斌 卢正鼎 《小型微型计算机系统》 CSCD 北大核心 2004年第4期650-653,共4页
首先提出了一种面向业务流的需求分析方法 ,并给出了相应的条件有向图需求描述模型 (CDGRD) ,然后详细地介绍了基于 CDGRD的软件需求规格说明自动生成工具 .最后以某大型企业信息系统项目为例 ,详细讨论了
关键词 软件需求规格说明 条件有向图 需求自动化
下载PDF
基于企业流程的需求形式化验证技术 被引量:1
10
作者 郑跃斌 《计算机工程与应用》 CSCD 北大核心 2003年第28期216-220,共5页
需求验证是为了确保需求规格说明具有良好特性(完整性、一致性、无二义性)而对需求规格说明进行的一种审查活动。目前广泛使用的需求验证技术存在着两个问题:难以处理大型、复杂的需求文档;审查过程需要相当长的时间。该文所研究的基于... 需求验证是为了确保需求规格说明具有良好特性(完整性、一致性、无二义性)而对需求规格说明进行的一种审查活动。目前广泛使用的需求验证技术存在着两个问题:难以处理大型、复杂的需求文档;审查过程需要相当长的时间。该文所研究的基于企业流程的需求形式化验证技术,通过对需求文档中企业流程各活动之间的逻辑关系进行验证,从而发现其中的不一致性和二义性。 展开更多
关键词 企业流程 需求验证 软件工程
下载PDF
软件需求定义语言NDRDL的设计 被引量:1
11
作者 董丽君 《计算机研究与发展》 EI CSCD 北大核心 1996年第12期920-925,共6页
本文概述了软件需求定义语言NDRDL的设计目标及设计原则,并讨论了一些语言基本成分,如数据流图、控制流图、实体关系图等的设计。文中采用个人帐目管理系统(PAMS)作为示例。
关键词 NDRDL语言 设计 数据流图 软件开发
下载PDF
嵌入式实时软件需求规格说明的原型化检测方法
12
作者 王敏 毋国庆 +2 位作者 朱立松 郑鹏 杨捷 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2001年第3期313-317,共5页
提出了一个检测嵌入式实时软件需求规格说明的方法 .该方法将原型化方法 ,可执行的需求描述语言和动画显示集成为一体 ,并可模拟执行嵌入式实时软件的需求规格说明 .此外 ,也阐述了这个方法的基本原理和某些实现方法 .最后 ,讨论了这个... 提出了一个检测嵌入式实时软件需求规格说明的方法 .该方法将原型化方法 ,可执行的需求描述语言和动画显示集成为一体 ,并可模拟执行嵌入式实时软件的需求规格说明 .此外 ,也阐述了这个方法的基本原理和某些实现方法 .最后 ,讨论了这个方法及相关的支持环境的特点 . 展开更多
关键词 需求工程 嵌入式实时软件 软件需求规格说明 原型化方法 软件开发 软件检测
下载PDF
软件需求分析自动化支撑系统中的字典管理方法研究
13
作者 杨大军 丁俊华 吕建 《计算机应用与软件》 CSCD 北大核心 2001年第4期37-42,共6页
软件需求分析及其自动化技术是软件自动化和需求工程的关键问题之一。而字典管理和技术的研究是其重要组成部分。本文以自行研制的软件需求分析自动化支撑系统NDRASS为背景,讨论了字典管理系统的设计方法和实现技术。
关键词 功能规约 软件需求分析 软件自动化支撑系统 软件工程 字典管理
下载PDF
Z规格说明函数映射的C++STL实现
14
作者 王宏生 于云赫 古丽 《沈阳工业大学学报》 EI CAS 2008年第3期346-349,共4页
为软件工程概要设计阶段提供新方法,将软件工程语言应用于软件开发实践,进而达到降低软件开发成本和减少软件后期维护的目的.将函数映射作为集合、关系的特例,研究了它们的存储形式及其主要操作,并在C++STL中进行预处理,给出了抽象静态... 为软件工程概要设计阶段提供新方法,将软件工程语言应用于软件开发实践,进而达到降低软件开发成本和减少软件后期维护的目的.将函数映射作为集合、关系的特例,研究了它们的存储形式及其主要操作,并在C++STL中进行预处理,给出了抽象静态的Z规格说明中函数映射在C++STL环境下自动转换为高级语言程序代码的方法.实现了Z规格说明中全入射、部分入射、全满射、部分满射到高级语言的自动转换,为软件生产的自动化打下了良好的基础. 展开更多
关键词 Z规格说明 函数映射 自动转换 软件自动化 形式语言
下载PDF
基于Z语言的软件工程形式化研究 被引量:1
15
作者 朱俊武 张辉 《武汉船舶职业技术学院学报》 2003年第4期20-24,29,共6页
软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率。本文阐述了形式化软件工程的基本概念,并采用规格说明语言实现了一个应用软件的形式化描述。
关键词 软件工程 形式化方法 Z语言.
下载PDF
QFD方法在桥梁工程中的应用
16
作者 马军海 陈艾荣 《上海公路》 2007年第2期28-31,共4页
质量功能展开(QFD)方法是一种顾客驱动的方法,可以把顾客的需求引入设计过程,有效地改善设计过程。通过对QFD方法进行分析,认为QFD方法可用于桥梁规划、设计、生产和施工等的分析决策,并研究了该方法在桥梁工程中应用的基本目标和应用... 质量功能展开(QFD)方法是一种顾客驱动的方法,可以把顾客的需求引入设计过程,有效地改善设计过程。通过对QFD方法进行分析,认为QFD方法可用于桥梁规划、设计、生产和施工等的分析决策,并研究了该方法在桥梁工程中应用的基本目标和应用步骤。最后通过实例分析证明了该方法很方便地将业主和使用者的需求转变成桥梁方案的功能要求和主要技术指标,确定桥梁设计中的关键技术指标,从而改进桥梁设计的质量,更好地满足业主和使用者的需求。 展开更多
关键词 桥梁工程 质量功能展开法 需求 功能要求 技术指标
下载PDF
一种扩展UML/UP的需求分析方法 被引量:1
17
作者 周宁 许沪敏 +2 位作者 冯东雷 何坚 叶奇 《计算机应用与软件》 CSCD 北大核心 2007年第3期78-80,共3页
UML是面向对象分析和设计的工业标准;UP(Unified Process,统一过程)是使用UML作为建模语言的软件工程过程。UML和UP结合在一起成为一种很强大的软件工程方法学。UML/UP作为方法学,在需求方面存在两大不足:需求表达能力不强;需求表达与... UML是面向对象分析和设计的工业标准;UP(Unified Process,统一过程)是使用UML作为建模语言的软件工程过程。UML和UP结合在一起成为一种很强大的软件工程方法学。UML/UP作为方法学,在需求方面存在两大不足:需求表达能力不强;需求表达与后续的系统分析和设计有较大的鸿沟。分析了需求工程中用例和场景分析以及用例图示的高层设计方法。在此基础上,提出了在需求方面增强了UML/UP方法。 展开更多
关键词 统一建模语言 统一过程 需求工程 场景 需求获取与表达 软件结构
下载PDF
软件需求描述方法的比较与分析
18
作者 王利 《泸州职业技术学院学报》 2009年第4期15-21,共7页
软件需求分析过程是软件开发过程中的一个重要环节。如何描述系统需求对于软件开发过程而言是至关重要的。在不同的软件开发方式下,存在着不同的需求描述方法,针对不同的需求描述方法进行分析和给出选择需求描述方法的建议。
关键词 软件工程 需求工程 需求描述方法
下载PDF
基于项目管理的软件开发过程中要注意的几个问题
19
作者 罗文 《电脑知识与技术》 2006年第5期114-115,共2页
本文分析了基于项目管理的软件开发过程中经常会遇到的几个问题,并提供了解决这些问题的参考方案。
关键词 功能需求 需求变更 软件工程 项目管理
下载PDF
网络式软件非功能需求冲突消解 被引量:1
20
作者 赵新辉 袁开银 吴尽昭 《计算机工程》 CAS CSCD 2012年第18期37-41,共5页
在构建非功能需求冲突管理元模型的基础上,给出相关建模元素的形式化描述,将需求冲突的语义定义作为检测依据。根据不同的需求冲突类型和程度,提出一种排除冲突和降低冲突的网络式软件非功能需求冲突消解方法。以旅游出行领域中计算行... 在构建非功能需求冲突管理元模型的基础上,给出相关建模元素的形式化描述,将需求冲突的语义定义作为检测依据。根据不同的需求冲突类型和程度,提出一种排除冲突和降低冲突的网络式软件非功能需求冲突消解方法。以旅游出行领域中计算行程费用服务的非功能需求为例,验证了该方法的有效性。 展开更多
关键词 网络式软件 需求工程 非功能需求 形式化建模 冲突检测 冲突消解
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部