FDPE:一个支持二阶段软件模型的CASE环境

A CASE Environment for Supporting 2-Stage Software Model

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

FDPE is an integrated CASE environment for the purpose of software process automation and its kernel is a formal specification language FDP well defined on both syntax and semantics. In FDPE, software process is divided into two stages, i.e., to generate a specification from user's requirments and then translate the specification into programs. Computer supports to software process were implemented through integrating a series of advanced techniques in FDPE, such as graphic editing, rapid prototyping, software reuse, specification verification and program transformation, and a comfortable software development environment was provided for users by FDPE, in which both the software qualities can be ensured and its productivities can be improved greatly. In this paper, FDPE's construction, functions and features are shown.