公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

需求工程的形式化途径被引量：2: 1992年; 1.引言需求工程是软件工程的初始阶段,其总的目标是从用户的模糊而又不完整的要求生成准确的、完整的规格说明。需求工程的研究主要有形式化途径和非形式化途径。; 钱家骅吕建国洪梅徐智晨陈锋田忠郭孝洪刘畅; 关键词：形式化软件工程

RKB／PL：C＋＋的持久性扩充: 1996年; 需求工程知识库／ＰＬ——ＲＫＢ／ＰＬ（ｒｅｑｕｉｒｅｍｅｎｔ—ｅｎｇｉｎｅｅｒｉｎｇｋｎｏｗｌｅｄｇｅｂａｓｅ／ＰＬ）是保持Ｃ＋＋原有风格对Ｃ＋＋进行的持久性扩充．为支持对象的持久性，ＲＫＢ／ＰＬ在Ｃ＋＋对象类的基础上扩充了以约束声明加强对象状态的用户监控；引入簇来表达对象类的集合含义；引入集合、簇、簇闭包的遍历机制来支持对象查询．为支持这些语言机制，ＲＫＢ／ＰＬ具有一个由一组ｂｕｉｌｄ—ｉｎ对象类层次、类型信息库及接口函数、系统状态表以及系统服务函数等构成的运行时系统．本文讨论了ＲＫＢ／ＰＬ中这些机制的表示、相应的运行时系统的组成以及它们的主要实现技术．ＲＫＢ／ＰＬ已成功地用于实现“软件需求获取助手ＦＲＡ”系统的需求工程知识库子系统．; 田忠刘畅陈莹钱乐秋; 关键词：面向对象程序设计 C++语言

全选清除导出

共1页<1>

刘畅