How to implement the future?

Conference Proceedings of the EUROMICRO

Volumn 1, Issue , 2000, Pages 32-47

  Verhoef, C ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

Reengineering; Software renovation factories; System renovation

Indexed keywords

IS-ENABLED; SOFTWARE ASSETS; SOFTWARE RENOVATION; SOFTWARE SYSTEMS; SYSTEM RENOVATION; TECHNICAL RESEARCH; TOOL SUPPORT;

COMPUTER SOFTWARE; REENGINEERING;

TOOLS;

EID: 84889244459     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.2000.874614     Document Type: Conference Paper

References (108)

1. S. Adams. The Dilbert Principle. MacMillan Publishers Ltd, 1996.
2. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers. Principles, Techniques and Tools. Addison-Wesley, 1986.
3. A. V. Aho and J. D. Ullman. The theory of parsing, translation, and compiling. Prentice-Hall, Englewood Cliffs (NJ), 1972-73. Vol. I. Parsing. Vol II. Compiling.
4. P. Allen and S. Frost. Component-Based Development for Enterprise Systems. Cambridge University Press, 1998.
5. L. Bass, P. Clements, and R. Kazman. Software Architecture in Practice. Addison-Wesley, 1998.
6. M. Bauer (ed. ). Resistance to New Technology: Nuclear Power, Information Technology, and Biotechnology. Cambridge University Press, 1997. reprint edition.
7. B. L. Belady and M. M. Lehman. A model of large program development. IBM Systems Journal, 15(3):225-252, 1976.
8. J. A. Bergstra and P. Klint. The ToolBus coordination architecture. In P. Ciancarini and C. Hankin, editors, Coordination Languages and Models, volume 1061 of Lecture Notes in Computer Science, pages 7588, 1996.
9. J. A. Bergstra and P. Klint. The discrete time ToolBus. In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology, volume 1101 of Lecture Notes in Computer Science, pages 286-305. Springer-Verlag, 1996.
10. J. A. Bergstra and P. Klint. The discrete time ToolBus-a software coordination architecture. Science of Computer Programming, 31:205-229, 1998.
11. D. Blasband. Automatic Analysis of An-cient Languages. PhD thesis, Free Uni-versity of Brussels, 2000. Available via http://www. phidani. be/homes/darius/thesis. html.
12. B. W. Boehm. Software engineering. IEEE Transactions on Computers, C-25:1226-1241, 1976.
13. B. W. Boehm. Software Engineering Economics. Prentice Hall, 1981.
14. B. M. Bouldin. Agents of Change-Managing the Introduction of Automated Tools. Yourdon-Press, 1989.
15. J. M. Boyle. A transformational component for programming language grammar. Technical Report ANL-7690, Argonne National Laboratory, Argonne, Illinois, 1970.
16. J. S. Bozman. DMV Disaster: California Kills Failed $44M Project. Computerworld, page 1 and 16, May 1994.
17. M. G. J, van den Brand, H. A. de Jong, P. Klint, and P. A. Olivier. Efficient annotated terms. Software-Practice and Experience, 30:259-291, 2000.
18. M. G. J, van den Brand, P. Klint, and P. Olivier. Compilation and memory management for ASF+SDF. In S. Jahnichen, editor, Proceedings of the eight International Conference on Compiler Construction, volume 1575 of LNCS, pages 198-213. Springer-Verlag, 1999.
19. M. G. J, van den Brand, P. Klint, and C. Verhoef. Core technologies for system renovation. In K. G. Jef-fery, J. Krai, and M. Bartosek, editors, SOFSEM'96: Theory and Practice of Informatics, volume 1175 of LNCS, pages 235-255. Springer-Verlag, 1996.
20. M. G. J. van den Brand, P. Klint, and C. Verhoef. Re-engineering needs generic programming language technology. ACM SIGPLAN Notices, 32(2):54-61, 1997. Available at http://adam. wins. uva. nl/-x/sigplan/plan. html.
21. M. G. J, van den Brand, P. Klint, and C. Verhoef. Reverse engineering and system renovation-an annotated bibliography. ACM Software Engineering Notes, 22(l):57-68, 1997. Available at http://adam. wins. uva. nl/-x/reeng/REanno. html.
22. M. G. J, van den Brand, P. Klint, and C. Verhoef. Term rewriting for sale. In C. Kirch-ner and H. Kirchner, editors, Second International Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science. Springer-Verlag, 1998. Available at: http://adam. wins, uva. nl/-x/sale/sale. html.
23. M. G. J, van den Brand, P. Olivier, J. Heering, and P. Klint. Compiling rewrite systems: The ASF+SDF compiler. Technical report, CWI/University of Amsterdam, 1998. In preparation.
24. M. G. J, van den Brand, M. P. A. Sellink, and C. Verhoef. Generation of components for software renovation factories from context-free grammars. In I. D. Baxter, A. Quilici, and C. Verhoef, editors, Proceedings Fourth Working Conference on Reverse Engineering, pages 144-153, 1997. Available at http://adam. wins. uva. nl/-x/trans/trans. html.
25. M. G. J, van den Brand, M. P. A. Sellink, and C. Verhoef. Obtaining a COBOL grammar from legacy code for reengineering purposes. In M. P. A. Sellink, editor, Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications, electronic Workshops in Computing. Springer-Verlag, 1997. Available at http://adam . wins. uva. nl / -x/coboldef/ coboldef. html.
26. 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, Proceedings of the Second Euromicro Conference on Maintenance and Reengineering, pages 11-19, 1998. Available at http://adam. wins. uva. nl/-x/cfn/cfn. html.
27. 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, Proceedings of the sixth International Workshop on Program Comprehension, pages 108-117, 1998. Available at http://adam. wins. uva. nl/-x/ref/ref. html.
28. M. G. J, van den Brand, M. P. A. Sellink, and C. Verhoef. Generation of components for software renovation factories from context-free grammars. Science of Computer Program-ming, 36(2-3):209-266, 2000. Available at http://adam. wins. uva. nl/-x/scp/scp. html. An extended abstract with the same title appeared earlier: [24].
29. M. G. J, van den Brand and E. Visser. Generation of formatters for context-free languages. A CM Transactions on Software Engineering and Methodology, 5:1-41, 1996.
30. F. P. Brooks Jr. No silver bullet: Essence and accidents of software engineering. IEEE Computer, 20(4):10-19, 1987.
31. F. P. Brooks Jr. The Mythical Man-Month-Essays on Software Engineering. Addison-Wesley, 1995. Anniversary Edition.
32. J. Brunekreef and B. Diertens. Towards a user-controlled software renovation factory. In P. Nesi and C. Verhoef, editors, Proceedings of the Third European Conference on Maintenance and Reengineering, pages 83-90. IEEE Computer Society Press, 1999.
33. E. J. Chikofsky and J. H. Cross. Reverse engineering and design recovery: A taxonomy. IEEE Software, 7(1):13-17, 1990.
34. E. K. Clemons. Using Scenario Analysis to Manage the Strategic Risks of Reengineering. Sloan Management Review, 36(4):62, 1995.
35. E. B. Daly. Management of Software Engineering. IEEE Transactions on Software Engineering, SE-3(3):229-242, 1977.
36. D. Dorner. The Logic of Failure-Recognizing and Avoiding Error in Complex Situations. Perseus Books, 1996.
37. A. W. Brown (ed. ). Component-Based Software Engineering. IEEE Computer Society Press, 1996.
38. V. Ellis. Audit says DMV ignored warning. Los Angeles Times, pages A3-A34, Augustus 18 1994.
39. J. L. ElshofF. An analysis of some commercial PL/I programs. IEEE Transactions on Software Engineering, SE-2(2):113-120, 1976.
40. M. E. Fagan. Design and code inspections to reduce errors in programs. IBM Systems Journal, 15(3):182-211, 1976.
41. M. E. Fagan. Advances in software inspections. IEEE Transactions on Software Engineering, SE-12(7):744-751, 1986.
42. T. Field. When bad things happen to good projects. CIO, October 15 1997. Retrieved via: http://www. cio. com/archive/101597-bad. html.
43. W. J. Fokkink, J. F. Th. Kamperman, and H. R. Walters. Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems. ACM Transactions on Programming Languages and Systems, 20(3):679-706, 1998.
44. W. J. Fokkink, J. F. Th. Kamperman, and H. R. Walters. Lazy rewriting on eager machinery. ACM Transactions on Programming Languages and Systems, 22(1), 2000. To appear.
45. W. J. Fokkink and C. Verhoef. Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories. In J.-P. Finance, editor, Proceedings 2nd Conference on Fundamental Approaches to Software Engineering, volume 1577 of LNCS, pages 98-113, Amsterdam, 1999. Springer-Verlag.
46. M. Fowler. Refactoring-Improving the Design of Existing Code. Object Technology Series. Addison-Wesley, 1999.
47. D. P. Freedman and G. M. Weinberg. Handbook of Walkthroughs, Inspections and Technical Reviews. Dorset House, 3rd edition, 1990. Originally published by Little, Brown &: Company, 1982.
48. W. W. Gibbs. Software's chronic crisis. Scientific American, 273(3):86-95, 1994.
49. T. Gilb and D. Graham. Software Inspection. Addison-Wesley, 1993.
50. R. L. Glass. Software Runaways-Lessons Learned from Massive Software Project Failures. Prentice Hall, 1998.
51. R. L. Glass. Computing Calamities. Prentice Hall, 1999.
52. J. A. Goguen, C. Kirchner, H. Kirchner, A. Megrelis, J. Meseguer, and T. Winkler. An introduction to OBJ3. In S. Kaplan and J.-P. Jouannaud, editors, Conditional Term Rewriting Systems (CTRS '88), volume 308 of Lecture Notes in Computer Science, pages 258-263. Springer-Verlag, 1988.
53. R. Gray, T. Bickmore, and S. Williams. Reengineering Cobol Systems to Ada. In The Proceedings of the Seventh Annual Air Force/Army/Navy Software Technology Conference, Salt Lake City, April 1995.
54. R. X. Gringely. When disaster strikes IS. Forbes ASAP, pages 60-64, Augustus 29 1994.
55. The Standish Group. CHAOS, 1995. Retrievable via: http://standishgroup. com/visitor/chaos. htm.
56. B. Hall. Year 2000 tools and services. In Symposium/ITxpo 96, The IT revolution continues: managing diversity in the 21st century. Gartner-Group, 1996.
57. M. Hammer and J. Champy. Reengineering the Corporation. Harper Business, New York, US, 1993.
58. M. Hanna. Maintenance Burden Begging for a Remedy. Datamation, pages 53-63, April 1993.
59. J. Heering and P. Klint. Semantics of programming languages: A tool-oriented approach. ACM SIGPLAN Notices, March 2000.
60. IBM Corporation. VS COBOL II Reference Summary, 1. 2. edition, 1993. Publication number SX26-3721-05.
61. J. Johnson. Chaos: The dollar drain of IT project failures. Application Development Trends, 2(l):41-47, 1995.
62. S. C. Johnson. YACC-Yet Another Compiler-Compiler. Technical Report Computer Science No. 32, Bell Laboratories, Murray Hill, New Jersey, 1975.
63. C. Jones. Assessment and Control of Software Risks. Prentice-Hall, 1994.
64. C. Jones. Applied Software Measurement: Assuring Productivity and Quality. McGraw-Hill, second edition, 1996.
65. C. Jones. Estimating Software Costs. McGraw-Hill, 1998.
66. Capers Jones. The Year 2000 Software Problem-Quantifying the Costs and Assessing the Consequences. Addison-Wesley, 1998.
67. N. Jones. Year 2000 market overview. Technical report, GartnerGroup, Stamford, CT, USA, 1998.
68. J. F. Th. Kamperman. Compilation of Term Rewriting Systems. PhD thesis, University of Amsterdam, 1996.
69. S. Kaplan. Positive/negative conditional rewriting. In S. Kaplan and J.-P. Jouannaud, editors, Conditional Term Rewriting Systems, volume 308 of LNCS, pages 129-143. Springer-Verlag, 1988.
70. P. Klint and C. Verhoef. Evolutionary software engineering: A component-based approach. In R. N. Hor-spool, editor, IFIP WG 2. 4 Working Conference: Systems Implementation 2000: Languages, Methods and Tools, pages 1-18. Chapman & Hall, 1998. Available at: http://adam. wins. uva. nl/-x/evol-se/evol-se. html.
71. J. W. Klop. Term rewriting systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, Volume II, pages 1-116. Oxford University Press, 1992.
72. R. Lammel and C. Verhoef. VS COBOL II grammar Version 1. 0. 3, 1999. Available at: http://adam. wins. uva. nl fx/grammars / vs-cobol-ii /.
73. R. Lammel and C. Verhoef. Semi-automatic Grammar Recovery, 2000. Available via: http://adam. wins. uva. nl/-x/ge/ge. html.
74. B. Lang. Deterministic techniques for efficient non-deterministic parsers. In J. Loeckx, editor, Proceedings of the Second Colloquium on Automata, Languages and Programming, volume 14 of Lecture Notes in Computer Science, pages 255-269. Springer-Verlag, 1974.
75. M. E. Lesk and E. Schmidt. LEX-A lexical analyzer generator. Bell Laboratories, UNIX Programmer's Supplementary Documents, volume 1 (PS1) edition, 1986.
76. B. P. Lientz and E. B. Swanson. Software Maintenance Management-A Study of the Maintenance of Computer Application Software in 487 Data Processing Organizations. Reading MA: Addison-Wesley, 1980.
77. J. L. Lions. ARIANE 5 Flight 501 Failure / Report by the Inquiry Board, 1996. Retrievable via: http://www. esa. int/.
78. S. McConnell. Rapid Development. Microsoft Press, 1996.
79. C. K. Mohan and M. K. Srivas. Conditional specifications with inequational assumptions. In S. Kaplan and J.-P. Jouannaud, editors, Conditional Term Rewriting Systems (CTRS '88), volume 308 of Lecture Notes in Computer Science, pages 161-178. Springer-Verlag, 1988.
80. M. J. Nederhof, C. H. A. Koster, C. Dekkers, and A. van Zwol. The grammar workbench: A first step towards lingware engineering. In W. ter Stal, A. Nijholt, and H. J. op den Akker, editors, Proceedings of the second Twente Workshop on Language Technology-Linguistic Engineering: Tools and Products, volume 92-29 of Memoranda Informatica, pages 103-115. University of Twente, 1992.
81. United States. Presidential Commission on the Space Shuttle Challenger Accident. Report to the President / by the Presidential Commission on the Space Shuttle Challenger Accident. DIANE Publishing Co, 1986.
82. R. S. Pressman. Making Software Engineering Happen. Prentice-Hall, 1988.
83. L. H. Putnam and W. Myers. Measures for Excellence-Reliable Software on Time, Within Budget. Yourdon Press Computing Series, 1992.
84. J. Rekers. Parser Generation for Interactive Environments. PhD thesis, University of Amsterdam, 1992. ftp://ftp. cwi. n1/pub/gipe/reports/Rek92. ps. Z.
85. T. G. Remer (ed. ). Serendipity and the Three Princes of Serendip; From the Peregrinaggio of 1557. Norman, University of Oklahoma Press, 1965.
86. J. Reutter. Maintenance is a management problem and a programmer's opportunity. In A. Orden and M. Evens, editors, 1981 National Computer Conference, volume 50 of AFIPS Conference Proceedings, pages 343-347. AFIPS Press, Arlington, VA, 1981.
87. E. M. Rogers. Communication Strategies for Family Planning. Free Press, 1973.
88. E. M. Rogers. Diffusion of Innovations. Free Press, 4th edition, 1995.
89. M. B. Romney, P. J. Steinbart, and B. E. Cushing. Ac-couning Information Systems. World Student Series. Addison-Wesley, 7th edition, 1997.
90. M. P. A. Sellink, H. M. Sneed, and C. Verhoef. Restructuring of COBOL/CICS legacy systems. In P. Nesi and C. Verhoef, editors, Proceedings of the Third European Conference on Maintenance and Reengineering, pages 72-82. IEEE Computer Society Press, 1999. Available at http://adam. wins. uva. nl/-x/cics/cics. html.
91. M. P. A. Sellink and C. Verhoef. Development, assessment, and reengineering of language descriptions-extended abstract. In B. Nu-seibeh, D. Redmiles, and A. Quilici, editors, Proceedings of the 13th International Automated Software Engineering Conference, pages 314-317, 1998. For a full version see [95]. Available at: http://adam. wins. uva. nl/-x/ase98/ase98. html.
92. M. P. A. Sellink and C. Verhoef. Native patterns. In M. Blaha, A. Quilici, and C. Verhoef, editors, Proceedings of the Fifth Working Conference on Reverse Engineering, pages 89103. IEEE Computer Society, 1998. Available at http://adam. wins. uva. nl/-x/npl/npl. html.
93. M. P. A. Sellink and C. Verhoef. An Architecture for Automated Software Maintenance. In D. Smith and S. G. Woods, editors, Proceedings of the Seventh International Workshop on Program Comprehension, pages 38-48. IEEE Computer Society Press, 1999. Available at http://adam. wins. uva. nl/-x/asm/asm. html.
94. M. P. A. Sellink and C. Verhoef. Generation of software renovation factories from compilers. In H. Yang and L. White, editors, Proceedings of the International Conference on Software Maintenance, pages 245-255. IEEE Computer Society Press, 1999. Available via http://adam. wins. uva. nl/-x/com/com. html.
95. M. P. A. Sellink and C. Verhoef. Development, assessment, and reengineering of language descriptions. In J. Ebert and C. Verhoef, editors, Proceedings of the Fourth European Conference on Software Maintenance and Reengineering, pages 151-160. IEEE Computer Society, March 2000. Full version of [91]. Available at: http://adam. wins. uva. nl/-x/cale/cale. html.
96. M. P. A. Sellink and C. Verhoef. Scaffolding for software renovation. In J. Ebert and C. Verhoef, editors, Proceedings of the Fourth European Conference on Software Maintenance and Reengineering, pages 161-172. IEEE Computer Society Press, March 2000. Available via http://adam. wins. uva. nl/-x/scaf/scaf. html.
97. R. Sennett. The Corrosion of Character-The Personal Consequences of Work in the New Capitalism. W. W. Norton & Company, 1998.
98. H. M. Sneed and E. Nyary. Downsizing large application programs. Journal of Software Maintenance, 6(5):235-247, 1994.
99. P. Tate. The Big Spenders. Information Strategy, pages 30-37, 1999. Retrieved via http://www. info-strategy. com / current/toplOO. html.
100. A. A. Terekhov and C. Verhoef. The realities of language conversions. IEEE Software, 2000. To Appear. Available at http://adam. wins. uva. nl/-x/cnv/cnv. html.
101. J. W. Toigo. Disaster Recovery Planning-Strategies for Protecting Critical Information Assets. Prentice Hall, 2000.
102. M. Tomita. Efficient Parsing for Natural Languages-A Fast Algorithm for Practical Systems. Kluwer Academic Publishers, 1986.
103. W. L. Trainor. Software: From Satan to saviour. In Proceedings of the National Aerospace and Electronics Conference, 1973.
104. C. Verhoef. Towards Automated Modification of Legacy Assets. Annals of Software Engineering, 9:315-336, March 2000. Available at http://adam. wins. uva. nl/-x/ase/ase. html.
105. E. Visser. Scannerless Generalized-LR Parsing. Technical Report P9707, Programming Research Group, University of Amsterdam, July 1997. Available at http://www. wins. uva. nl/pub/programming-research/reports/1997/P9707. ps.
106. E. Visser, J. Scheerder, and M. van den Brand. Scannerless Generalized-LR Parsing, 2000. Work in Progress.
107. H. R. Walters. On Equal Terms-Implementing Algebraic Specifications. PhD thesis, University of Amsterdam, 1991.
108. G. M. Weinberg. Understanding the Professional Programmer. Dorset House, 1988.