[1]程正潮,沈军,任国林.FDPE:一个支持二阶段软件模型的CASE环境[J].东南大学学报(自然科学版),1993,23(1):100-104.[doi:10.3969/j.issn.1001-0505.1993.01.014]
　Cheng Zhengchao,Shen Jun,Ren Guolin,et al.A CASE Environment for Supporting 2-Stage Software Model[J].Journal of Southeast University (Natural Science Edition),1993,23(1):100-104.[doi:10.3969/j.issn.1001-0505.1993.01.014]
点击复制

FDPE:一个支持二阶段软件模型的CASE环境()
分享到：

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
23
期数:
1993年第1期
页码:
100-104
栏目:
计算机科学与工程
出版日期:
1993-01-20

文章信息/Info

Title:
A CASE Environment for Supporting 2-Stage Software Model
作者:
程正潮; 沈军; 任国林
东南大学计算机科学与工程系； 东南大学计算机科学与工程系； 东南大学学报编辑部
Author(s):
Cheng Zhengchao;  Shen Jun;  Ren Guolin;  Ren Guolin
Department of Computer Science & Engineering
Editorial Department of Journal of Southeast University
关键词:
软件;  软件工具;  软件工程/软件开发环境
分类号:
TP311.56
DOI:
10.3969/j.issn.1001-0505.1993.01.014
摘要:
FDPE是一个以软件过程自动化为目标的集成化CASE环境.它以语法和语义都得到良好定义的形式化规范描述语言FDP为核心,将软件过程分为两个阶段:由需求形成规范的阶段和由规范变换为程序的阶段.FDPE采用了图形编辑、规范验证、程序变换、软件重用等方面一系列先进技术,实现了计算机系统对软件过程的支持,为用户提供了一个舒适的软件开发环境.本文介绍FDPE的组成、功能及特点.

相似文献/References:

[1]姜浩,毕诸明,朱岩.FMS运控软件的死锁问题及其检测方法[J].东南大学学报(自然科学版),1997,27(1):11.[doi:10.3969/j.issn.1001-0505.1997.01.003]
　[J].Journal of Southeast University (Natural Science Edition),1997,27(1):11.[doi:10.3969/j.issn.1001-0505.1997.01.003]
[2]姜浩,毕诸明,朱岩.FMS运行控制系统的建模方法及测试机理[J].东南大学学报(自然科学版),1997,27(1):16.[doi:10.3969/j.issn.1001-0505.1997.01.004]
　[J].Journal of Southeast University (Natural Science Edition),1997,27(1):16.[doi:10.3969/j.issn.1001-0505.1997.01.004]
[3]卢云富,金远平.一种基于混合图的多数据库系统并发控制机构[J].东南大学学报(自然科学版),1995,25(1):46.[doi:10.3969/j.issn.1001-0505.1995.01.009]
　Lu Yunfu,Jin,Yuanping.A Hybrid Graph Based Concurrency Contol Mechanism for Multidatabase System[J].Journal of Southeast University (Natural Science Edition),1995,25(1):46.[doi:10.3969/j.issn.1001-0505.1995.01.009]

更新日期/Last Update: 2013-04-19