Bibliography

1

P.H. Aiken.
Data Reverse Engineering.
McGraw-Hill, 1996.

2

K. Bennett and T.M. Khoshgoftaar, editors.
Proceedings of the International Conference on Software Maintenance. IEEE Computer Society, November 1998.

3

J.A. Bergstra, J. Heering, and P. Klint, editors.
Algebraic Specification.
ACM Press Frontier Series. The ACM Press in co-operation with Addison-Wesley, 1989.

4

J.A. Bergstra and P. Klint.
The discrete time TOOLBUS--a software coordination architecture.
Science of Computer Programming, 31:205-229, 1998.

5

M.H. Blaha, A. Quilici, and C. Verhoef, editors.
Proceedings of the Fifth Working Conference on Reverse Engineering. IEEE Computer Society, October 1998.

6

M. G. J. van den Brand, A. van Deursen, P. Klint, S. Klusener, and E. van der Meulen.
Industrial applications of ASF+SDF.
In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology (AMAST '96), volume 1101 of Lecture Notes in Computer Science, pages 9-18. Springer-Verlag, 1996.

7

M.G.J. van den Brand, P. Klint, and P. Olivier.
Compilation and memory management for ASF+SDF.
In Proceedings of the 8th International Conference on Compiler Construction, CC'99, LNCS. Springer-Verlag, 1999.
To appear.

8

M.G.J. van den Brand, P. Klint, and C. Verhoef.
Core technologies for system renovation.
In K.G. Jeffery, J. Král, and M. Bartosek, editors, SOFSEM'96: Theory and Practice of Informatics, volume 1175 of LNCS, pages 235-255. Springer-Verlag, 1996.

9

M.G.J. van den Brand, P. Klint, and C. Verhoef.
Reverse engineering and system renovation - an annotated bibliography.
ACM Software Engineering Notes, 22(1):57-68, 1997.

10

M.G.J. van den Brand, P. Klint, and C. Verhoef.
Term rewriting for sale.
In C. Kirchner and H. Kirchner, editors, Second International Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science. Springer-Verlag, 1998.

11

M.G.J. van den Brand, M.P.A. Sellink, and C. Verhoef.
Control flow normalization for COBOL/CICS legacy systems.
In P. Nesi and F. Lehner, editors, Proc. 2nd Euromicro Conf. on Maintenance and Reengineering, pages 11-19. IEEE Computer Society, 1998.

12

M.G.J. van den Brand, M.P.A. Sellink, and C. Verhoef.
Current parsing techniques in software renovation considered harmful.
In S. Tilley and G. Visaggio, editors, Proc. Sixth International Workshop on Program Comprehension, pages 108-117. IEEE Computer Society, 1998.

13

M.G.J. van den Brand and E. Visser.
Generation of formatters for context-free languages.
ACM Transactions on Software Engineering and Methodology, 5:1-41, 1996.

14

M. L. Brodie and M. Stonebraker.
Migrating Legacy Systems: Gateways, interfaces and the incremental approach.
Morgan Kaufman Publishers, 1995.

15

J. Brunekreef and B. Diertens.
Towards a user-controlled software renovation factory.
In P. Nesi and C. Verhoef, editors, Proc. Third European Conference on Software Maintenance and Reengineering. IEEE Computer Society, 1999.
To Appear.

16

Y.-F. Chen, G. S. Fowler, E. Koutsofios, and R. S. Wallach.
Ciao: A graphical navigator for software and document repositories.
In G. Caldiera and K. Bennett, editors, Int. Conf. on Software Maintenance; ICSM 95, pages 66-75. IEEE Computer Society, 1995.

17

E.J. Chikofsky and J.H. Cross.
Reverse engineering and design recovery: A taxonomy.
IEEE Software, 7(1):13-17, 1990.

18

A. Cimitile, A. De Lucia, G. A. Di Lucca, and A. R. Fasolino.
Identifying objects in legacy systems using design metrics.
Journal of Systems and Software, 1998.
To appear.

19

A. van Deursen, J. Heering, and P. Klint, editors.
Language Prototyping: An Algebraic Specification Approach, volume 5 of AMAST Series in Computing.
World Scientific Publishing Co., 1996.

20

A. van Deursen and T. Kuipers.
Rapid system understanding: Two COBOL case studies.
In S. Tilley and G. Visaggio, editors, Sixth International Workshop on Program Comprehension; IWPC'98, pages 90-98. IEEE Computer Society, 1998.

21

A. van Deursen and T. Kuipers.
Finding objects using cluster and concept analysis.
In 21st International Conference on Software Engineering, ICSE-21. ACM, 1999.
To appear.

22

A. van Deursen and L. Moonen.
Type inference for COBOL systems.
In I. Baxter, A. Quilici, and C. Verhoef, editors, Proc. 5th Working Conf. on Reverse Engineering, pages 220-230. IEEE Computer Society, 1998.

23

A. van Deursen, S. Woods, and A. Quilici.
Program plan recognition for year 2000 tools.
In Proceedings 4th Working Conference on Reverse Engineering; WCRE'97, pages 124-133. IEEE Computer Society, 1997.

24

S. G. Eick.
A visualization tool for Y2K.
IEEE Computer, 31(10):63-69, 1998.

25

P. H. Eidorff, F. Henglein, C. Mossin, H. Niss, M. H. Sorensen, and M. Tofte.
Anno Domini: From type theory to Year 2000 conversion tool.
In 26th Annual Symposium on Principles of Programming Languages, POPL'99. ACM, 1999.
To appear.

26

H. Fergen, P. Reichelt, and K. P. Schmidt.
Bringing objects into COBOL: MOORE - a tool for migration from COBOL85 to object-oriented COBOL.
In Proc. Conf. on Technology of Object-Oriented Languages and Systems (TOOLS 14), pages 435-448. Prentice-Hall, 1994.

27

W.J. Fokkink and C. Verhoef.
Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories.
In Fundamental Approaches to Software Engineering, LNCS, 1999.
To Appear.

28

J. Hart and A. Pizzarello.
A scaleable, automated process for year 2000 system correction.
In Proceedings of the 18th International Conference on Software Engineering ICSE-18, pages 475-484. ACM, 1996.

29

J. Heering, P.R.H. Hendriks, P. Klint, and J. Rekers.
The syntax definition formalism SDF -- Reference manual.
SIGPLAN Notices, 24(11):43-75, 1989.

30

C. Jones.
Estimating Software Costs.
McGraw-Hill, 1998.

31

Capers Jones.
The Year 2000 Software Problem - Quantifying the Costs and Assessing the Consequences.
Addison-Wesley, 1998.

32

P. Klint.
A meta-environment for generating programming environments.
ACM Transactions on Software Engineering and Methodology, 2:176-201, 1993.

33

P. Klint and C. Verhoef.
Evolutionary software engineering: A component-based approach.
In R.N. Horspool, editor, IFIP WG 2.4 Working Conference: Systems Implementation 2000: Languages, Methods and Tools, pages 1-18. Chapman & Hall, 1998.

34

A. Lakhotia.
A unified framework for expressing software subsystem classification techniques.
Journal of Systems and Software, pages 211-231, March 1997.

35

C. Lindig and G. Snelting.
Assessing modular structure of legacy code based on mathematical concept analysis.
In 19th International Conference on Software Engineering, ICSE-19, pages 349-359. ACM, 1997.

36

S. S. Liu and N. Wilde.
Identifying objects in a conventional procedural language: An example of data design recovery.
In International Conference on Software Maintenance; ICSM'90, pages 266-271. IEEE Computer Society, 1990.

37

H. A. Müller, M. A. Orgun, S. R. Tilley, and J. S. Uhl.
A reverse engineering approach to subsystem structure identification.
Journal of Software Maintenance, 5(4):181-204, 1993.

38

G. C. Murphy and D. Notkin.
Lightweight lexical source model extraction.
ACM Transactions on Software Engineering Methodology, 5(3):262-292, 1996.

39

P. Nesi and C. Verhoef, editors.
Proceedings of the Third European Conference on Software Maintenance and Reengineering. IEEE Computer Society, March 1999.

40

P. Newcomb and G. Kottik.
Reengineering procedural into object-oriented systems.
In Second Working Conference on Reverse Engineering; WCRE'95, pages 237-249. IEEE Computer Society, 1995.

41

R. O'Callahan and D. Jackson.
Lackwit: A program understanding tool based on type inference.
In 19th International Conference on Software Engeneering; ICSE-19. ACM, 1997.

42

C. L. Ong and W. T. Tsai.
Class and object extraction from imperative code.
Journal of Object-Oriented Programming, pages 58-68, March-April 1993.

43

T. M. Pigoski.
Practical Software Maintenance - Best Practices for Managing Your Software Investment.
John Wiley and Sons, 1997.

44

C. Rich and R. Waters.
The Programmer's Apprentice.
Frontier Series. ACM Press, Addison-Wesley, 1990.

45

M.P.A. Sellink, H.M. Sneed, and C. Verhoef.
Restructuring of COBOL/CICS legacy systems.
In P. Nesi and C. Verhoef, editors, Proc. Third European Confrence on Software Maintenance and Reengineering. IEEE Computer Society, 1999.
To appear.

46

M.P.A. Sellink and C. Verhoef.
Development, assessment, and reengineering of language descriptions.
In Proceedings of the 13th International Automated Software Engineering Conference, pages 314-317. IEEE Computer Society, 1998.

47

M.P.A. Sellink and C. Verhoef.
Native patterns.
In M. Blaha, A. Quilici, and C. Verhoef, editors, Proceedings of the 5th Working Conference on Reverse Engineering, pages 89-103. IEEE Computer Scociety, 1998.

48

M. Siff and T. Reps.
Identifying modules via concept analysis.
In International Conference on Software Maintenance, ICSM97. IEEE Computer Society, 1997.

49

H.M. Sneed.
Objectorientierte Softwaremigration.
Addison-Wesley, 1998.
In German.

50

G. Snelting.
Concept analysis -- a new framework for program understanding.
In Proceedings of the ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'98), 1998.
SIGPLAN Notices 33(7).

51

G. Snelting and F. Tip.
Reengineering class hierarchies using concept analysis.
In Foundations of Software Engineering, FSE-6, pages 99-110. ACM, 1998.
SIGSOFT Software Engineering Notes 23(6).

52

S. Tilley and G. Visaggio, editors.
Proceedings of the Sixth International Workshop on Program Comprehension. IEEE Computer Society, June 1998.

53

F. Tip.
A survey of program slicing techniques.
Journal of Programming Languages, 3:121-189, 1995.

54

T. Wiggerts, H. Bosma, and E. Fielt.
Scenarios for the identification of objects in legacy systems.
In I.D. Baxter, A. Quilici, and C. Verhoef, editors, 4th Working Conference on Reverse Engineering, pages 24-32. IEEE Computer Society, 1997.

55

S. Woods, A. Quilici, and Q. Yang.
Constraint-based Design Recovery for Software Reengineering: Theory and Experiments.
Kluwer Academic Publishers, 1997.