Core technologies for system renovation

This publication has 14 references indexed in Scilit:

• Discrete time process algebra
  Formal Aspects of Computing, 1996
• The ToolBus coordination architecture
  Published by Springer Nature ,1996
• The discrete time toolbus
  Published by Springer Nature ,1996
• Generating testing and analysis tools with Aria
  ACM Transactions on Software Engineering and Methodology, 1996
• Defining context-dependent syntax without using contexts
  ACM Transactions on Programming Languages and Systems, 1993
• A meta-environment for generating programming environments
  ACM Transactions on Software Engineering and Methodology, 1993
• Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• Reverse engineering and design recovery: a taxonomy
  IEEE Software, 1990
• The syntax definition formalism SDF—reference manual—
  ACM SIGPLAN Notices, 1989
• Program understanding: Challenge for the 1990s
  IBM Systems Journal, 1989