Visual support for incremental abstraction and refinement in Ada 95

This publication has 13 references indexed in Scilit:

• Software visualization for debugging
  Communications of the ACM, 1997
• Cognitive processes in program comprehension: An empirical analysis in the Context of software reengineering
  Journal of Systems and Software, 1996
• Identification of dynamic comprehension processes during large scale maintenance
  IEEE Transactions on Software Engineering, 1996
• A conceptual model of cognitive complexity of elements of the programming process
  Information and Software Technology, 1995
• Transformational data refinement and VDM
  Information and Software Technology, 1995
• Why looking isn't always seeing
  Communications of the ACM, 1995
• Comparing the Effectiveness of Software Testing Strategies
  IEEE Transactions on Software Engineering, 1987
• Stimulus structures and mental representations in expert comprehension of computer programs
  Cognitive Psychology, 1987
• Chunks: A basis for complexity measurement
  Information Processing & Management, 1984
• Syntactic/semantic interactions in programmer behavior: A model and experimental results
  International Journal of Parallel Programming, 1979