Visual support for incremental abstraction and refinement in Ada 95

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Visual support for incremental abstraction and refinement in Ada 95

Full text

Pdf (567 KB)

Source

Annual International Conference on Ada archive
Proceedings of the 1998 annual ACM SIGAda international conference on Ada table of contents

Washington, D.C., United States

Pages: 142 - 147

Year of Publication: 1998

ISBN:1-58113-033-3

Also published in ...

Authors

T. Dean Hendrix	Computer Science and Engineering, 107 Dunstan Hall, Auburn University, AL
James H. Cross, II	Computer Science and Engineering, 107 Dunstan Hall, Auburn University, AL
Larry A. Barowski	Computer Science and Engineering, 107 Dunstan Hall, Auburn University, AL
Karl S. Mathias	Computer Science and Engineering, 107 Dunstan Hall, Auburn University, AL

Sponsors

Ada Europe : Ada Europe
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGAPP: ACM Special Interest Group on Applied Computing
SIGPLAN: ACM Special Interest Group on Programming Languages
DC Ada : DC Ada Chapter
SIGBIO: ACM Special Interest Group on Biomedical Computing
SIGCSE: ACM Special Interest Group on Computer Science Education
Baltimore SIGAda Chapter : Baltimore SIGAda Chapter
SIGCAS: ACM Special Interest Group on Computers and Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 8, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/289524.289568 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Andrews, D.J. and Ince, D.C. (1995). Transformational Data Refinement and VDM. Information and Software Technology, 37 (11), pp. 637-651.
	2	Vairam Arunachalam , William Sasso, Cognitive processes in program comprehension: an empirical analysis in the context of software reengineering, Journal of Systems and Software, v.34 n.3, p.177-189, Sept. 1996 [doi>10.1016/0164-1212(95)00074-7]
	3	Badre, A. (1982). Designing Chunks for Sequentially Displayed Information, in Badre, A. and Shneiderman, B. (eds.), Directions in Human Computer Interaction, Ablex Publishing, pp. 179-193.
	4	Ron Baecker , Chris DiGiano , Aaron Marcus, Software visualization for debugging, Communications of the ACM, v.40 n.4, p.44-54, April 1997 [doi>10.1145/248448.248458]
	5	Barnes, J. G. P. (1984) Programming in Ada, Second Edition, Menlo Park, CA: Addison-Wesley.
	6	Victor R. Basili , Richard W. Selby, Comparing the effectiveness of software testing strategies, IEEE Transactions on Software Engineering, v.13 n.12, p.1278-1296, December 1, 1987 [doi>10.1109/TSE.1987.232881]
	7	Cant, S.N., Jeffery, D.R., and Henderson-Sellers, B. (1995). A Conceptual Model of Cognitive Complexity of Elements of the Programming Process. Information and Software Technology, 37 (7), pp. 351-362.
	8	Cross, J. H. (1993). Improving Comprehensibility of Ada With Control Structure Diagrams. Proceedings of Software Technology Conference, April 11-14, 1994, Salt Lake City, UT (distributed on CD-ROM) 25 pages.
	9	James H. Cross, II , James H. Cross, II , T. Dean Hendrix , Saeed Maghsoodloo, The Control Structure Diagram: An Overview and InitialEvaluation, Empirical Software Engineering, v.3 n.2, p.131-158, 1998 [doi>10.1023/A:1008085415145]
	10	Davis, J.S. (1984). Chunks: A Basis for Complexity Measurement. Information Processing and Management, 20 (1), pp. 119-127.
	11	Kate Ehrlich , Elliot Soloway, An empirical investigation of the tacit plan knowledge in programming, Human factors in computer systems, Ablex Publishing Corp., Norwood, NJ, 1984
	12	Michael B. Feldman, Software Construction and Data Structures with ADA 95, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
	13	Gilmore, D.J. and Green, T.R.G. (1985). The Comprehensibility of Programming Notations. in Shackel, B. (ed.), Human-Computer Interaction- Interact '84 IFIP, pp. 461-464.
	14	M. J. Coombs , Jim L. Alty, Computing Skills and the User Interface, Academic Press, Inc., Orlando, FL, 1981
	15	Kintsch, W. (1977). Memory and Cognition, John Wiley.
	16	Miller, G.A. (1956). The Magic Seven Plus or Minus Two. Some Limits on Our Capacity for Processing Information. Psychological Review, 63, pp. 81-97.
	17	Harlan D. Mills, Stepwise Refinement and Verification in Box-Structured Systems, Computer, v.21 n.6, p.23-36, June 1988 [doi>10.1109/2.948]
	18	Pennington, N. (1987). Stimulus Structures and Mental Representations in Expert Comprehension of Computer Programs. Cognitive Psychology, 19, pp. 295-341.
	19	Marian Petre, Why looking isn't always seeing: readership skills and graphical programming, Communications of the ACM, v.38 n.6, p.33-44, June 1995 [doi>10.1145/203241.203251]
	20	Raymond, D. (1991). Characterizing Visual Languages. Proceedings of the 1991 IEEE Workshop on Visual Languages, pp. 176-182.
	21	Shneiderman, B. and Mayer, R. (1979). Syntactic/Semantic Interactions in Programmer Behavior: A Model and Experimental Results. Int. Journal of Computer and Information Sciences, 8 (3), pp. 219-238.
	22	A. von Mayrhauser , A. M. Vans, Identification of Dynamic Comprehension Processes During Large Scale Maintenance, IEEE Transactions on Software Engineering, v.22 n.6, p.424-437, June 1996 [doi>10.1109/32.508315]

CITED BY 2

	T. Dean Hendrix , James H. Cross, II , Saeed Maghsoodloo , Matthew L. McKinney, Do visualizations improve program comprehensibility? experiments with control structure diagrams for Java, ACM SIGCSE Bulletin, v.32 n.1, p.382-386, Mar. 2000
	David A. Umphress , T. Dean Hendrix , James H. Cross, II , Saeed Maghsoodloo, Software visualizations for improving and measuring the comprehensibility of source code, Science of Computer Programming, v.60 n.2, p.121-133, April 2006