期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
从功能规格说明到设计规格说明的自动转换 被引量:4
1
作者 徐家福 戴敏 吕建 《计算机学报》 EI CSCD 北大核心 1991年第2期123-130,共8页
本文介绍了算法自动设计的研究背景与设计思想,提出了一种算法设计自动化模型及其形式化的软件规格说明语言表示,并详细讨论了一些常用算法设计方法的自动实现技术.
关键词 功能规格说明 设计规格说明 转换
下载PDF
基于逻辑系统的用户需求功能规格说明语言及其应用
2
作者 张忠玉 《曲靖师范学院学报》 2002年第3期83-85,共3页
在基于谓词逻辑对知识的表示的基础上 ,用Unity逻辑系统对其加以扩充 ,形成一个小型的用户需求功能规格说明语言 (SmallproblemSpecificationLanguage) 。
关键词 知识表示 逻辑系统 用户需求功能规格说明 形式化语言 用户需求设计 电梯控制系统
下载PDF
Decomposition-Based Visual Function Specification and Auto-Generation of Function
3
作者 沈军 顾冠群 《Journal of Southeast University(English Edition)》 EI CAS 2002年第1期28-32,共5页
On the software module, this paper proposes a visual specification language(VSL). Based on decomposition, the language imitates men's thinking procedure that decomposes aproblem into smaller ones, then independent... On the software module, this paper proposes a visual specification language(VSL). Based on decomposition, the language imitates men's thinking procedure that decomposes aproblem into smaller ones, then independently solves the results of every small problem to get theresult of original problem (decomposition and synthesis). Besides, the language mixes visual withspecification. With computer supporting, we can implement the software module automatically. It willgreatly improve the quality of software and raise the efficiency of software development. Thesimple definition of VSL, the principle of auto-generation, an example and the future research areintroduced. 展开更多
关键词 software specification function decomposition data dependent visualprogramming
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部