Documenting software systems using types

Science of Computer Programming

Volumn 60, Issue 2, 2006, Pages 205-220

  Van Deursen, Arie ^a,b,c   Moonen, Leon ^a,b  

^a CWI   (Netherlands)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c Department of Software Engineering ^*  (Netherlands)

Author keywords

Documentation generation; Hypertext; Program analysis; Program understanding; Software exploration; Software maintenance; Type inference; Variable usage

Indexed keywords

ABSTRACTING; COBOL (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING LANGUAGES; INDUSTRIAL ENGINEERING; LEGACY SYSTEMS; WEB BROWSERS;

DOCUMENTATION GENERATION; HYPERTEXT; PROGRAM ANALYSIS; PROGRAM UNDERSTANDING; SOFTWARE EXPLORATION; TYPE INFERENCE; VARIABLE USAGE;

COMPUTER SOFTWARE MAINTENANCE;

EID: 32144450625     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2005.10.006     Document Type: Article

References (42)

1. L. Bass, P. Clements, and R. Kazman Software Architecture in Practice second ed. 2003 Addison-Wesley
2. M.G.J. van den Brand, A. Sellink, and C. Verhoef Generation of components for software renovation factories from context-free grammars 4th Working Conference on Reverse Engineering WCRE'97 1997 IEEE 144 155
3. P. Brown Integrated hypertext and program understanding tools IBM Systems Journal 30 3 1991 363 392
4. L. Cardelli Typeful programming E.J. Neuhold M. Paul Formal Description of Programming Concepts 1991 Springer-Verlag Berlin 431 507
5. S. Chandra, and T. Reps Physical type checking for C Workshop on Program Analysis for Software Tools and Engineering PASTE'99, September 1999 ACM Press 66 75 SIGSOFT Software Engineering Notes 24(5)
6. X.P. Chen, W.T. Tsai, J.K. Joiner, H. Gandamaneni, and J. Sun Automatic variable classification for COBOL programs 18th Ann. Int. Computer Software and Applications Conference COMPSAC'94 1994 IEEE 432 437
7. E.J. Chikofsky, and J.H. Cross Reverse engineering and design recovery: A taxonomy IEEE Software 7 1 1990 13 17
8. P. Clements Documenting Software Architectures: Views and Beyond 2003 Addison-Wesley
9. A. van Deursen, and T. Kuipers Building documentation generators International Conference on Software Maintenance ICSM'99 1999 IEEE Computer Society 40 49
10. A. van Deursen, and L. Moonen Type inference for COBOL systems 5th Working Conference on Reverse Engineering WCRE'98 1998 IEEE Computer Society 220 230
11. A. van Deursen, and L. Moonen An empirical study into cobol type inferencing Science of Computer Programming 40 2-3 2001 189 211 July
12. P. Devanbu, Y.-F. Chen, E. Gansner, H. Müller, and J. Martin CHIME: Customizable hyperlink insertion and maintenance engine for software engineering environments 21st International Conference on Software Engineering ICSE-99 1999 ACM 473 482
13. 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 26th Symp. on Principles of Progr. Languages POPL'99 1999 ACM 1 14
14. P.J. Finnigan, R.C. Holt, I. Kalas, S. Kerr, K. Kontogiannis, H.A. Müller, J. Mylopoulos, and S.G. Perelgut The software bookshelf IBM Systems Journal 36 4 1997 564 593
15. E.R. Gansner, E. Koutsofios, S. North, and K.-P. Vo A technique for drawing directed graphs IEEE Transactions on Software Engineering 19 3 1993 214 230
16. J.M. Gravley, and A. Lakhotia Identifying enumeration types modeled with symbolic constants Third Working Conference on Reverse Engineering WCRE'96 1996 IEEE Computer Society Press 227 236
17. J. Hart, and A. Pizzarello A scaleable, automated process for year 2000 system correction 18th International Conference on Software Engineering ICSE-18 1996 IEEE 475 484
18. R. Holt Structural manipulations of software architecture using Tarski relational algebra 5th Working Conference on Reverse Engineering WCRE'98 1998 IEEE Computer Society 210 219
19. G.E. Kaiser, S.E. Dossick, W. Jiang, and J.J. Yang An architecture for WWW-based hypercode environments 19th International Conference on Software Engineering ICSE-97 1997 ACM 3 13
20. K. Kawabe, A. Matsuo, S. Uehara, and A. Ogawa Variable classification technique for software maintenance and application to the year 2000 problem P. Nesi F. Lehner Conference on Software Maintenance and Reengineering 1998 IEEE Computer Society 44 50
21. R. Kazman, and J. Carrière Playing detective: Reconstructing software architecture from available evidence Automated Software Engineering 6 1999 107 138
22. T. Kuipers, and L. Moonen Types and concept analysis for legacy systems 8th International Workshop on Program Comprehension 2000 IEEE Computer Society Press June
23. L.D. Landis, P.M. Hyland, A.L. Gilbert, and A.J. Fine Documentation in a software maintenance environment Conference on Software Maintenance 1988 IEEE Computer Society 66 73
24. A. von Mayrhauser, and A.M. Vans Program comprehension during software maintenance and evolution IEEE Computer 1995 44 55 August
25. E. Merlo, J.F. Girard, L. Hendren, and R. De Mori Multi-valued constant propagation analysis for user interface reengineering International Journal of Software Engineering and Knowledge Engineering 5 1 1995 5 23 March
26. L. Moonen Generating robust parsers using island grammars 8th Working Conference on Reverse Engineering 2001 IEEE Computer Society Press 13 22 October
27. L. Moonen, Exploring Software Systems, Ph.D. Thesis, Faculty of Natural Sciences, Mathematics, and Computer Science, University of Amsterdam, December 2002
28. L. Moonen Lightweight impact analysis using island grammars 10th International Workshop on Program Comprehension IWPC 2002, June 2002 IEEE Computer Society Press
29. M.G. Nanda, P. Bhaduri, S. Oberoi, and A. Sanyal An application of compiler technology to the year 2000 problem Software Practice and Experience 29 4 1999 359 377
30. P. Newcomb, and G. Kottik Reengineering procedural into object-oriented systems Second Working Conference on Reverse Engineering WCRE'95 1995 IEEE Computer Society 237 249
31. R. O'Callahan, and D. Jackson Lackwit: A program understanding tool based on type inference 19th International Conference on Software Engineering ICSE-97 1997 ACM 338 348
32. Ch. de Oliveira Braga, A. von Staa, and J.C.S. do Prado Leite Documentu: A flexible architecture for documentation production based on a reverse-engineering strategy Journal of Software Maintenance 10 1998 279 303
33. J. Palsberg, Type-based analysis and applications. In: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE, 2001, pp. 20-27
34. V. Rajlich Incremental redocumentation with hypertext 1st Euromicro Working Conference on Software Maintenance and Reengineering CSMR 97 1997 IEEE Computer Society Press 68 72
35. V. Rajlich, and S. Varadarajan Using the web for software annotations International Journal of Software Engineering and Knowledge Engineering 9 1 1999 55 72
36. G. Ramalingam, J. Field, and F. Tip Aggregate structure identification and its application to program analysis 26th Symp. on Principles of Progr. Languages POPL'99 1999 ACM 119 132
37. M. Siff, and T. Reps Program generalization for software reuse ACM SIGSOFT Symposium on the Foundations of Software Engineering FSE'96 1996 135 146 Software Engineering Notes 21 (6)
38. S.E. Sim, C.L.A. Clarke, R.C. Holt, and A.M. Cox Browsing and searching software architectures International Conference on Software Maintenance ICSM'99 1999 IEEE Computer Society 381 390
39. S.E. Sim, and R.C. Holt The ramp-up problem in software projects: A case study of how software immigrants naturalize 20th International Conference on Software Engineering ICSE-97 1998 ACM 361 370
40. M. Wegman, and K. Zadeck Constant propagation with conditional branches ACM Transactions on Programming Languages and Systems 13 2 1991 18 210
41. N. Williams-Preston New type signatures for legacy Fortran subroutines Workshop on Program Analysis for Software Tools and Engineering PASTE'99, September 1999 ACM Press 76 85 SIGSOFT Software Engineering Notes 24 (5)
42. K. Wong, S.R. Tilley, H.A. Müller, and M.-A.D. Storey Structural redocumentation: A case study IEEE Software 12 1 1995 46 54