Visual support for incremental abstraction and refinement in Ada 95

1. ABSTRACT GRASP is a software engineering tool which uniquely combines a source code diagramming technique, the control structure diagram (CSD), with other comprehension aids such as complexity visualization, syntax coloring and source code folding. The synergistic combination of these features in GRASP has the potential to be a powerful aid in any activity where source code is expected to be read. The primary focus of GRASP is to improve the comprehension efficiency of software and, as a result, improve reliability and reduce costs during design, implementation, testing, maintenance and reengineering.

[1]  Michael B. Feldman.  Software Construction and Data Structures with Ada 95 , 1996 .

[2]  John Barnes,et al.  Programming in Ada95 , 1995 .

[3]  Kate Ehrlich,et al.  An empirical investigation of the tacit plan knowledge in programming , 1984 .

[4]  Victor R. Basili,et al.  Comparing the Effectiveness of Software Testing Strategies , 1987, IEEE Transactions on Software Engineering.

[5]  N. Pennington.  Stimulus structures and mental representations in expert comprehension of computer programs , 1987, Cognitive Psychology.

[6]  Harlan D. Mills,et al.  Stepwise refinement and verification in box-structured systems , 1988, Computer.

[7]  W. Kintsch,et al.  Memory and cognition , 1977 .

[8]  Brian Henderson-Sellers,et al.  A conceptual model of cognitive complexity of elements of the programming process , 1995, Inf. Softw. Technol..

[9]  Marian Petre,et al.  Why looking isn't always seeing: readership skills and graphical programming , 1995, CACM.

[10]  Aaron Marcus,et al.  Software visualization for debugging , 1997, CACM.

[11]  John S. Davis,et al.  Chunks: A basis for complexity measurement , 1984, Inf. Process. Manag..

[12]  Darrell R. Raymond,et al.  Characterizing visual languages , 1991, Proceedings 1991 IEEE Workshop on Visual Languages.

[13]  Vairam Arunachalam,et al.  Cognitive processes in program comprehension: An empirical analysis in the Context of software reengineering , 1996, J. Syst. Softw..

[14]  James L. Alty,et al.  Computing Skills and the User Interface , 1981 .

[15]  Darrel C. Ince,et al.  Transformational data refinement and VDM , 1995, Inf. Softw. Technol..

[16]  Anneliese Amschler Andrews,et al.  Identification of Dynamic Comprehension Processes During Large Scale Maintenance , 1996, IEEE Trans. Software Eng..

[17]  G. A. Miller.  THE PSYCHOLOGICAL REVIEW THE MAGICAL NUMBER SEVEN, PLUS OR MINUS TWO: SOME LIMITS ON OUR CAPACITY FOR PROCESSING INFORMATION 1 , 1956 .

[18]  John Barnes,et al.  Programming in ADA , 1989 .