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

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

2007-12-19

arxiv.org/abs/0712.3115v1

Computer Science

Software Engineering

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Software (Re-)Engineering with PSF II: from architecture to implementation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Software (Re-)Engineering with PSF II: from architecture to implementation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Software (Re-)Engineering with PSF II: from architecture to implementation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-146280