期刊文献+
共找到10篇文章
< 1 >
每页显示 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
DSML ProcGraph: Overview and a Mid-Size Industrial Application Example
2
作者 Giovanni Godena Miha Glavan 《Journal of Software Engineering and Applications》 2023年第8期315-347,共7页
This paper presents model-based approach to process-control software development. The presented approach enables modelling of control software in a straightforward manner and, at the same time, on a high level of abst... This paper presents model-based approach to process-control software development. The presented approach enables modelling of control software in a straightforward manner and, at the same time, on a high level of abstraction. The essence of the presented approach is a high-level, domain-specific modelling language ProcGraph, which is based on three types of diagrams that describe the modelled system using a domain-oriented hierarchical structure of interdependent procedural control entities and state-transition diagrams describing the behaviour of the procedural control entities. The presented concept is demonstrated by means of higher-level model segments of a real process-control application that deals with the micronisation process in the production of titanium dioxide. The presented industrial case shows that the application of ProcGraph provides adequate expressive power for an elegant preparation of graphic specifications in a transparent and easy way. 展开更多
关键词 Model-Driven software engineering Domain-specific Modelling languages Process-Control software State Machines Titanium Dioxide
下载PDF
形式化方法在软件工程中的应用研究 被引量:4
3
作者 苗德成 冯黎波 《河北科技大学学报》 CAS 北大核心 2011年第6期575-579,597,共6页
探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的... 探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价。 展开更多
关键词 形式化方法 软件规约形式语言 软件工程 形式系统 规约
下载PDF
形式方法与面向对象方法的结合探讨 被引量:4
4
作者 李刚 朱关铭 童頫 《计算机工程》 EI CAS CSCD 北大核心 1998年第1期13-16,69,共5页
文中讨论了形式方法和面向对象方法各自的优缺点,结合作者设计的面向对象形式规格说明语言OOZS,介绍了将这两种方法结合起来的三种途径,并对这三种途径进行了分析、评价和对比,最后提出了今后的研究方向。
关键词 规格说明语言 形式方法 面向对象 软件开发
下载PDF
一种领域特定语言的研究与实现 被引量:4
5
作者 赵卫东 刘永红 《成都大学学报(自然科学版)》 2013年第2期142-144,共3页
为满足软件设计中复杂和变化的业务逻辑及算法,以Smart Packer设计软件研发为背景,提出了一种新的软件设计方法,以帮助用户研发一套领域特定语言,达到用户自定义业务逻辑及算法的目的.此外,通过展示领域特定语言研究与实现过程,让用户... 为满足软件设计中复杂和变化的业务逻辑及算法,以Smart Packer设计软件研发为背景,提出了一种新的软件设计方法,以帮助用户研发一套领域特定语言,达到用户自定义业务逻辑及算法的目的.此外,通过展示领域特定语言研究与实现过程,让用户对本领域业务逻辑描述更加接近自然语言,从而有效提高开发人员的生产力,并增进与领域专家的有效沟通.结果表明,领域特定语言的使用将大大提高软件的可用性. 展开更多
关键词 领域特定语言 软件工程 领域专家
下载PDF
用Z语言实现面向对象的说明
6
作者 顾治华 《计算机工程与科学》 CSCD 1995年第1期1-11,共11页
形式说明利于精确定义系统的功能,而面向对象技术则利于系统的构造。Z语言是一个很流行的形式说明语言。本文阐明了通过在Z语言中增加面向对象的结构来实现面向对象的系统说明。
关键词 Z语言 面向对象技术 系统 说明语言 绘图 功能 实例 增加 形式 定义
下载PDF
面向概念的知识获取系统
7
作者 王申康 《计算机学报》 EI CSCD 北大核心 1991年第12期902-909,共8页
本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的知识获取环境.系统结合了人工智能(AI),面向对象的程序设计(oop)和逻辑程序设计(Lp)等技术.系统以概念为知识基元,由概念描述器(cd)予以描述.cd由一组概念特性、属性... 本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的知识获取环境.系统结合了人工智能(AI),面向对象的程序设计(oop)和逻辑程序设计(Lp)等技术.系统以概念为知识基元,由概念描述器(cd)予以描述.cd由一组概念特性、属性、逻辑约束和函数式等支持.概念集在知识库中是一个层次式的继承网络.系统主要用于辅助专家开发新系统的描述、定义和说明.也可对已有的系统、文本文件进行描述并用于教育. 展开更多
关键词 面向概念 知识莸取系统 人工智能
下载PDF
规格说明语言NUSL的初步报告
8
作者 徐永森 姜馨杰 《汕头大学学报(自然科学版)》 1989年第2期73-83,共11页
NUSL是一个以数据抽象为核心的,可执行的规格说明语言,它具有如下特点:1.表达力强,2.简明精确,3.模块化,4.可执行.本文描述NUSL的语法语义并给出—个应用例子.
关键词 规格说明语言 NUSL 软件工程
下载PDF
分布式系统的LOTOS规范及其实现
9
作者 谢冰 张晨东 陈火旺 《计算机科学》 CSCD 北大核心 1998年第1期72-76,共5页
分布式系统的主要特点是靠各独立运转的组成部分协同工作来完成系统的功能。对干电信交换、指挥调度、实时控制以及模拟与仿真等分布交互系统。
关键词 分布式系统 LOTOS语言 规范语言 分布式计算机
下载PDF
面向业务平台原理及其在软件工程中的作用
10
作者 吕延宁 郝闻众 《北京工业职业技术学院学报》 2012年第2期43-48,共6页
为了解决业务应用系统软件工程中需求变更带来的系统研发滞后,以及业务人员同软件开发人员沟通带来的沟通偏差等问题,面向业务平台将业务应用系统分离为系统层和业务层。在业务层,业务人员使用业务设计器直接进行需求建模,系统层业务引... 为了解决业务应用系统软件工程中需求变更带来的系统研发滞后,以及业务人员同软件开发人员沟通带来的沟通偏差等问题,面向业务平台将业务应用系统分离为系统层和业务层。在业务层,业务人员使用业务设计器直接进行需求建模,系统层业务引擎负责执行业务模型。这样使系统适应变化能力增强,是随需应变的解决之道。 展开更多
关键词 软件工程 需求变更 面向业务 领域语言 业务引擎
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部