使用PSF III进行软件（再）工程：用于PSF的IDE
Software (Re-)Engineering with PSF III: an IDE for PSF
摘要：
我们描述了一个集成开发环境（IDE）的PSF的设计。在软件工程过程中，我们使用PSF形式的进程代数来规范IDE的体系结构。通过应用垂直和水平实现技术，该规范被细化为IDE系统作为工具总线应用程序的PSF规范。我们实现了指定的各种工具，并使用从系统规范中提取的ToolBus脚本将它们连接起来。
英文摘要：
We describe the design of an integrated development environment (IDE) for PSF. In the software engineering process we used process algebra in the form of PSF for the specification of the architecture of the IDE. This specification is refined to a PSF specification of the IDE system as a ToolBus application, by applying vertical and horizontal implementation techniques. We implemented the various tools as specified and connected them with a ToolBus script extracted from the system specification.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
