7 citations found. Retrieving documents...
Osborne, W., M., Fitting pieces to the maintenance puzzle, IEEE Software, January: 11-12.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Visualisation for Validation - Lalioti, Loucopoulos (1993)   (3 citations)  (Correct)

.... algorithmic programming [Edel 1986; Hirakawa, Iwata, et al. 1987] and for database queries [Batini, Catarci, et al. 1991] Examples of languages in the second category include those for visualising the structural aspects of complex software designs [Smart and Vemuri 1992] for maintaining software [Osborne 1990] for supporting conceptual modelling [Kangassalo 1988] and for the design software by reusability [Nierstrasz, Tsichritzis, et al. 1991] Program Visualisation Program visualisation is used for designing, developing and debugging programs, or monitoring their performance. Numerous visualisation ....

Osborne, W., M., Fitting pieces to the maintenance puzzle, IEEE Software, January: 11-12.


Reverse Engineering of User Interfaces - Merlo, Girard, Kontogiannis.. (1993)   (8 citations)  (Correct)

....such a representational method are discussed together with examples of user interface reverse engineering in a COBOL CICS environment. Keywords Reverse engineering, user interface, process algebra. 1 Introduction Much of the software currently in use is, on average, ten to fifteen years old [ Osborne, 1990 ] Many programs, especially in the data processing domain, have a character oriented user interface. Reengineering these old interfaces in order to make them more This work is partially funded by Macroscope Informatique Inc. project managed by DMR Group Inc. Montr eal) and the Natural ....

Osborne, D. 1990. Fitting pieces to the maintenance puzzle. IEEE Software 11--12.


A Two-Phase Approach to Reverse Engineering Using Formal Methods - Gannod, Cheng (1993)   (4 citations)  (Correct)

....from program code, while the second phase constructs candidate objects from the formal specifications obtained from the first phase. 1 Introduction Software maintenance has long been a problem facing software professionals, where the average age of software is between 10 to 15 years old [19]. With the development of new architectures and improvements in programming methods and languages, including formal methods in software development and object oriented programming, there is a strong motivation to reverse engineer and re engineer existing program code in order to preserve ....

Wilma M. Osborne and Elliot J. Chikofsky. Fitting pieces to the maintenance puzzle. IEEE Software, January 1990.


The Application of Formal Methods to the Reverse Engineering of.. - Gannod (1994)   (Correct)

....has advantages over the classic life cycle, but in general incorporate, to some degree, the phases defined by the waterfall model. 2. 2 Software Maintenance Software maintenance has long been a problem faced by software professionals, where the average age of software is between 10 to 15 years old [18]. With the development of new architectures and improvements in programming methods and languages, including formal methods in software development and object oriented programming, there is a strong motivation to reverse engineer and re engineer existing program code in order to preserve ....

W. M. Osborne and E. J. Chikofsky, "Fitting pieces to the maintenance puzzle," IEEE Software, vol. 7, pp. 11--12, January 1990.


Strongest Postcondition Semantics as the Formal Basis for.. - Gannod, Cheng (1996)   (7 citations)  (Correct)

....have been well documented and with the change in laws concerning liability [2] the need to reduce the number of problems due to software increases. Software maintenance has long been a problem faced by software professionals, where the average age of software is between 10 to 15 years old [3]. With the development of new architectures and improve This work is supported in part by the National Science Foundation grants CCR 9407318, CCR 9209873, and CDA9312389. y This author is supported in part by a NASA Graduate Student Researchers Program Fellowship. z Please address all ....

W. M. Osborne and E. J. Chikofsky, "Fitting pieces to the maintenance puzzle," IEEE Software, vol. 7, pp. 11--12, January 1990.


Using Informal and Formal Techniques for the Reverse.. - Gannod, Cheng (1996)   (6 citations)  (Correct)

....C programs. The reverse engineering techniques are applied to a portion of a groundbased command system for unmanned flight systems. 1. Introduction Software maintenance has long been a problem faced by software professionals, where the average age of software is between 10 to 15 years old [11]. With the development of new architectures and improvements in programming methods and languages, including formal methods in software development and object oriented programming, there is a strong motivation to reverse engineer and re engineer existing program code in order to preserve ....

W. M. Osborne and E. J. Chikofsky. Fitting pieces to the maintenance puzzle. IEEE Software, 7(1):11--12, January 1990.


Strongest Postcondition Semantics as the Formal Basis for.. - Gannod, CHENG (1996)   (7 citations)  (Correct)

....failure have been well documented and with the change in laws concerning liability [8] the need to reduce the number of problems due to software increases. Software maintenance has long been a problem faced by software professionals, where the average age of software is between 10 to 15 years old [18]. With the development of new architectures and improvements in programming methods and languages, including formal methods in software development and object oriented programming, there is a strong motivation to reverse engineer and re engineer existing program code in order to preserve ....

Wilma M. Osborne and Elliot J. Chikofsky. Fitting pieces to the maintenance puzzle. IEEE Software, 7(1):11--12, January 1990.

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