Mustafa Bugra Ozcan

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper describes a research project whose aim is the use of requirements visualisation techniques in the construction of an environment for the reverse engineering of validated formal specifications from rapid prototypes. The work will build on established research by the proposers in the animation of model-based and algebraic formal specifications.The(More)
  • 1