Core technologies for system renovation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1175, Issue , 1996, Pages 235-254

  Van Den Brand, Mark ^a   Klint, Paul ^a,b   Verhoef, Chris ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COORDINATION ARCHITECTURE; CORE TECHNOLOGY; CRITICAL SOFTWARE; KNOWLEDGE RETRIEVAL; LANGUAGE TECHNOLOGY; MONOLITHIC SYSTEMS; PROGRAM UNDERSTANDING; SOFTWARE SYSTEMS;

INFORMATION SCIENCE;

EID: 84958036566     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0037407     Document Type: Conference Paper

References (29)

1. COBOL, ANSI X3.2S. American National Standards Institute, 1985.
2. Specification of Abstract Syntax Notation One (ASN-1). 1987. ISO 8824.
3. D. Austry. The VTP project: modular abstract syntax specification. Rapports de Recherche 1219, INRIA, Sophia-Antipolis, 1990.
4. J.C.M. Baeten and J.A. Bergstra. Discrete time process algebra. Formal Aspects of Computing, 8(2):188-208, 1996.
5. J. A. Bergstra and P. Klint. The discrete time toolbus. In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology (AMAST ’96), volume 1101 of LNCS, pages 288-305. Springer-Verlag, 1996.
6. J.A. Bergstra and P. Klint. The toolbus coordination architecture. In P. Ciancarini and C. Hankin, editors, Coordination Languages and Models, volume 1061 of LNCS, pages 75-88. Springer-Verlag, 1996.
7. M.G.J. van den Brand, P. Klint, P. Olivier, and E. Visser. Aterms: representing structured data for exchange between heterogeneous tools. Unpublished manuscript.
8. M.G.J. van den Brand, P. Klint, and C. Verhoef. Reverse engineering and system renovation an annotated bibliography. Technical Report P9603, University of Amsterdam, Programming Research Group, 1996.
9. M.L. Brodie and M. Stonebraker. Migrating Legacy Systems — Gateways, Interfaces & The Incremental Approach. Morgan Kaufmann Publishers, Inc., 1995.
10. J.C.M. Baeten and C. Verhoef. Concrete process algebra. In S. Abramsky, D.M. Gabbay, andT.S.E. Maibaum, editors, Handbook of Logic in Computer Science, Volume IV, Syntactical Methods, pages 149-268. Oxford University Press, 1995.
11. J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
12. E.J. Chikofsky and J.H. Cross. Reverse engineering and design recovery: A taxonomy. IEEE Software, 7(1):13-17, 1990.
13. T.A. Corbi. Program understanding: challenge for the 1990s. IBM System Journal, 28(2):294-306, 1989.
14. 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.
15. P.T. Devanbu, D.R. Rosenblum, and A.L. Wolf. Generating testing and analysis tools. ACM Transactions on Software Engineering and Methodology, 5(l):42-62, 1996.
16. I. Flores. Job Control Language and File Definition. Prentice-Hall, Englewood Cliffs, N.J., 1971.
17. J. Heering, P.R.H. Hendriks, P. Klint, and J. Rekers. The syntax definition formalism SDF reference manual, 1992. Earlier version in SIGPLAN Notices, 24(11):43-75, 1989.
18. J.W.C. Koorn and H.C.N. Bakker. Building an editor from existing components: an exercise in software re-use. Report P9312, Programming Research Group, University of Amsterdam, 1993.
19. P. Klint. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology, 2(2):176-201, 1993.
20. B.W. Kernighan and D.M. Ritchie. The C Programming Language. Prentice-Hall, 1978.
21. INRIA, Rocquencourt. LeLisp, Version 15.21, le manuel de reference, 1987. M. Odersky. Defining context-dependent syntax without using contexts. ACM Transactions on Programming Languages and Systems, 15(3):535-562, 1993.
22. J.K. Ousterhout. Tel and the Tk Toolkit. Addison-Wesley, 1994.
23. S. Paul and A. Prakash. A framework for source code search using program patterns. IEEE Transactions on Software Engineering, 20(6):463-475, 1994.
24. S. Paul and A. Prakash. Supporting queries on source code: A formal framework. International Journal of Software Engineering and Knowledge Engineering, 4(3):325-348, 1994.
25. REQL Source Code Query Language. Raleigh, USA, 1994. User Guide and Language Reference — Version 2.0 for Windows.
26. T. Reps and T. Teitelbaum. The Synthesizer Generator: a System for Constructing Language-Based Editors. Springer-Verlag, 1989.
27. R. Snodgrass. The Interface Description Language. Computer Science Press, 1989.
28. S.F.M. van Vlijmen, P.N. Vriend, and A. van Waveren. Control and data transfer in the distributed editor of the ASF+SDF meta-environment. Report P9415, Programming Research Group, University of Amsterdam, 1994.
29. D. Yourdon. RE-3. American Programmer, 2(4);3-10, 1989.