Browsing Faculty of Computing, Engineering and Media by Subject "IBM UK"
Now showing items 1-2 of 2
-
Formal methods for legacy systems.
(Article)A method is described for obtaining useful information from legacy code. The approach uses formal proven program transformations, which preserve for refine the semantics of a construct while changing its form. The applicability ... -
Formal methods to aid the evolution of software.
(Article)There is a vast collection of operational software systems which are vitally important to their users, yet are becoming increasingly difficult to maintain, enhance and keep up to date with rapidly changing requirements. ...