论文部分内容阅读
FDPE是一个以软件过程自动化为目标的集成化CASE环境.它以语法和语义都得到良好定义的形式化规范描述语言FDP为核心,将软件过程分为两个阶段:由需求形成规范的阶段和由规范变换为程序的阶段.FDPE采用了图形编辑、规范验证、程序变换、软件重用等方面一系列先进技术,实现了计算机系统对软件过程的支持,为用户提供了一个舒适的软件开发环境.本文介绍FDPE的组成、功能及特点.