Shikun Zhou, Hussein Zedan, Antonio Cau  Home/Search
Context
Related
| cse.dmu.ac.uk/~cau/papers/zhou.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: cse.dmu.ac.uk/STRL/resear...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a sound and practical approach, based on a formal method (known as Interval Temporal Logic), to cope with `change' and analyse its effect. The approach allows us to capture a snapshot of system's behaviour over which various interesting properties, such as liveness, timeliness and safety properties, can be validated compositionally. These properties may include invariants that are required to be valid after changes have taken place. We also present and evaluate the design and... (Update)
Active bibliography (related documents): More All
0.7: Interval Temporal Logic - Cau, Moszkowski, Zedan (2002) (Correct)
0.5: Tackling The Abstraction Problem for Reverse Engineering in.. - Yang, Liu, Zedan (1998) (Correct)
0.5: An Initial Approach towards Measuring and Characterising.. - Burd, Munro (1999) (Correct)
Similar documents based on text: More All
0.3: Requirements for Security Enforcement inMobile Agent.. - Jones, Janicke.. (Correct)
0.3: ATOM: An Object-Based Formal Method for Real-time Systems - Zedan, Cau, Chen, Yang (1999) (Correct)
0.2: Designing a Provably Correct Robot Control System using a.. - Cau, Czarnecki, Zedan (1998) (Correct)
BibTeX entry: (Update)
@inproceedings{ zhouframework,
author = "Shikun Zhou and Hussein Zedan and Antonio Cau",
title = "A Framework For Analysing The Effect Of `Change' In Legacy Code",
pages = "411--420",
url = "citeseer.ist.psu.edu/435622.html" }
Citations (may not include all citations):140 Using Program Slicing in Software Maintenance - Gallagher, Lyle - 1991
125 A Temporal Logic for Multilevel Reasoning about Hardware (context) - Moszkowski - 1985
121 Executing Temporal Logic Programs - Moszkowski - 1986
80 Towards A Theory of the Comprehension of Computer Programs (context) - Brooks - 1983
49 Symbolic Execution and Program Testing (context) - King - 1976
44 Software Maintenance Management (context) - Lientz, Swanson - 1980
41 Software Change Impact Analysis (context) - Bohner, Arnold - 1996
38 Dynamic Slicing of Computer Program (context) - Korel, Laski - 1990
29 Using Clustering Algorithms in Legacy System Remodularisatio.. (context) - Wiggerts - 1997
25 Impact Analysis - Towards a Framework for Comparison (context) - Arnold, Bohner - 1993
23 Identifying Reusable Functions Using Specification Driven Pr.. (context) - Cimitile, Lucia et al. - 1995
14 for software maintenance. Software Practice and Experience (context) - Rajlich, Damaskinos et al. - 1990
12 Refining Interval Temporal Logic Specifications - Cau, Zedan - 1997
12 A Model for Change Propagation Based on Graph Rewriting - Rajlich - 1997
11 Automatic Verification of Interval Temporal Logic (context) - Kono - 1992
9 Code Churn: A Measure for Estimating the Impact of Code Chan.. - Munson, Elbaum - 1998
8 Dynamic Slicing of Distributed Programs (context) - Kamkar, Krajina - 1995
6 Psychological and Practical Investigations of An Automatic P.. (context) - Weiser, Formal - 1997
5 An Integrated Lifecycle Model for Software Maintenance (context) - Yau, Nicholl et al. - 1988
3 An Implementation of Anna (context) - Sankar, Rosenblum et al. - 1985
2 Formal Methods for the Reengineering of Computing Systems - Liu, Yang et al. - 1997
2 PLEASE: a Language Combining Imperative and Logic Programmin.. (context) - Terwilliger - 1988
2 Investigating Component-Based Maintenance and the Effect of .. (context) - Burd, Munro - 1998
2 Hypothesis-Driven Understanding Processes During Corrective .. (context) - von Mayrhauser, Vans - 1997
2 Compositional Modelling: The Formal Perspective - Zedan, Cau et al. - 1999
1 Slicing Large Programs to Isolate Reusable Functions (context) - Ganfora, Lucia et al. - 1994
1 the ACM SIGPLAN'90 Conf of Programing Lang (context) - Agrawal, Horgan et al. - 1990
1 chapter Cognitive Processes in Program comprehension (context) - Letovsky, of - 1986
1 Tackling the Abstraction Problem for Reverse Engineering in .. - Yang, Liu et al. - 1998
Documents on the same site (http://www.cse.dmu.ac.uk/STRL/research/publications/pubs/index.html): More
Designing a Provably Correct Robot Control System using a.. - Cau, Czarnecki, Zedan (1998) (Correct)
Integrating Structured OO Approaches with Formal.. - Chen, Cau, Zedan, Yang (1999) (Correct)
ATOM: An Object-Based Formal Method for Real-time Systems - Zedan, Cau, Chen, Yang (1999) (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