arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0712.3115cs.SE
收藏

使用PSF II进行软件(再)工程:从体系结构到实现

Software (Re-)Engineering with PSF II: from architecture to implementation

Bob Diertens

摘要:

本文介绍了PSF在软件工程和再工程领域的应用研究。我们建立了一个新的实现的PSF工具包的模拟器从一个简单的模拟器的体系结构的PSF规格开始,并扩展它的功能,以获得一个完整的模拟器的体系结构。我们对体系结构的规范应用精炼和约束技术,以获得足够低的规范来构建实现。

英文摘要:

This paper presents ongoing research on the application of PSF in the field of software engineering and reengineering. We build a new implementation for the simulator of the PSF Toolkit starting from the specification in PSF of the architecture of a simple simulator and extend it with features to obtain the architecture of a full simulator. We apply refining and constraining techniques on the specification of the architecture to obtain a specification low enough to build an implementation from.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑