• Login
    Browsing Faculty of Computing, Engineering and Media by Subject 
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • Browsing Faculty of Computing, Engineering and Media by Subject
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • Browsing Faculty of Computing, Engineering and Media by Subject
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browsing Faculty of Computing, Engineering and Media by Subject "IBM UK"

    • 0-9
    • A
    • B
    • C
    • D
    • E
    • F
    • G
    • H
    • I
    • J
    • K
    • L
    • M
    • N
    • O
    • P
    • Q
    • R
    • S
    • T
    • U
    • V
    • W
    • X
    • Y
    • Z

    Sort by:

    Order:

    Results:

    Now showing items 1-2 of 2

    • title
    • publication date
    • submission date
    • ascending
    • descending
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
      • Formal methods for legacy systems. 

        Ward, Martin; Bennett, Keith H. (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. 

        Ward, Martin; Bennett, Keith H. (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. ...

        Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
        DMU LIbrary
         

         

        Browse

        All of DORACommunities & CollectionsAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission DateThis CommunityAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission Date

        My Account

        Login

        Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
        DMU LIbrary