E. J. Younger, M. P. Ward  Home/Search
Context Related
| dur.ac.uk/~dcs0mpw/marti...eddyt.ps.gz dur.ac.uk/~dcs6mpw/marti...eddyt.ps.gz cse.dmu.ac.uk/~mward/mar...eddyt.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dur.ac.uk/~dcs0mpw/martin/pape... (more) Homepages: M.Ward |
Rate this article:      (best)Comment on this article |
Abstract: Reverse engineering of interrupt-driven real-time programs with timing constraints is a particularly challenging research area, because the functional behaviour of a program, and the non-functional timing requirements, are implicit and can be very difficult to discover. However, in this paper we present a significant advance in this area, which is achieved by modelling realtime programs with interrupts in the wide spectrum language WSL. A small example program is modelled in this way, and... (Update)
Similar documents based on text: More All
0.1: The Formal Transformation Approach to Source Code Analysis and.. - Ward (2001) (Correct)
0.1: Understanding Concurrent Programs using Program Transformations - Younger, Ward (1993) (Correct)
0.1: A glaciological model of the Younger Dryas event in Scandinavia - Fastook, Holmlund (Correct)
BibTeX entry: (Update)
E. J. Younger & M. Ward, "Inverse Engineering a simple Real Time program," J. Software Maintenance: Research and Practice 6 (1993), 197--234. http://citeseer.ist.psu.edu/younger99inverse.html More
@article{ younger93inverse,
author = "Eddy Younger and Martin Ward",
title = "Inverse Engineering a simple Real Time program",
journal = "Journal of Software Maintenance: Research and Practice",
volume = "6",
publisher = "John Wiley \
Citations (may not include all citations):689 Systematic Software Development using VDM - Jones - 1986
385 A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
204 KIDS: A Semiautomatic Program Development System - Smith - 1990
185 The Calculi of Lambda Conversion (context) - Church - 1951
138 Lectures on Constructive Functional Programming (context) - Bird - 1988
67 Program Transformation Systems (context) - Partsch, Steinbrugen - 1983
66 mural: A Formal Development Support System (context) - Jones, Jones et al. - 1991
44 Algorithmic Language and Program Development (context) - Bauer, Wossner - 1982
38 Structured Programming with the GOTO Statement (context) - Knuth - 1974
24 Laws of Programming (context) - Hoare, Hayes et al. - 1987
23 Interactive Programming Environments (context) - Barstow, Shrobe et al. - 1984
18 Automating the Transformational Development of Software (context) - Fickas - 1982
18 Formal Aspects of Computing (context) - Neilson, Havelund et al. - 1989
18 Automating the Transformational Development of Software (context) - Fickas - 1985
15 A System for Assisting Program Transformation (context) - Feather - 1982
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dur.ac.uk/~dcs0mpw/martin/papers/): More
Formal Methods to Aid the Evolution of Software - Ward, Bennett (1995) (Correct)
Iterative Procedures for Computing Ackerman's Function - Ward (1993) (Correct)
Understanding Concurrent Programs using Program Transformations - Younger, Ward (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC