Software Engineering with PSF
The refine step in the software engineering environments can be generalized into a software engineering workbench. Several instances of the generalized workbench can be combined to form a software engineering environment.