Article

Free access

Visual support for incremental abstraction and refinement in Ada 95

Authors:

T. Dean Hendrix,

James H. Cross, II,

Larry A. Barowski,

Karl S. MathiasAuthors Info & Claims

SIGAda '98: Proceedings of the 1998 annual ACM SIGAda international conference on Ada

Pages 142 - 147

https://doi.org/10.1145/289524.289568

Published: 01 November 1998 Publication History

PDF eReader

References

[1]

Andrews, D.J. and Ince, D.C. (1995). Transformational Data Refinement and VDM. Information and Software Technology, 37 (11), pp. 637-651.]]

Crossref

Google Scholar

[2]

Arunachalam, V. and Sasso, W. (1996). Cognitive Processes in Program Comprehension: An Empirical Analysis in the Context of Software Engineering. Journal of Systems and Software, 34, pp. 177-189.]]

Digital Library

Google Scholar

[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.]]

Google Scholar

[4]

Baecker, R. M., Digiano, C., and Marcus, A. (1997). Software Visualization for Debugging. Communications Of The A CM, 40, 4, pp. 44-54.]]

Digital Library

Google Scholar

[5]

Barnes, J. G. P. (1984) Programming in Ada, Second Edition, Menlo Park, CA: Addison-Wesley.]]

Digital Library

Google Scholar

[6]

Basili, V., and Selby, R. (1987). Comparing the Effectiveness of Software Testing Strategies. IEEE Transactions on Software Engineering, SE-13, 12, pp.1278-1296.]]

Digital Library

Google Scholar

[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.]]

Crossref

Google Scholar

[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.]]

Google Scholar

[9]

Cross, J.H., Maghsoodloo, S., and Hendrix, T.D. (1998). The Control Structure Diagram: An Initial Evaluation. Empirical Software Engineering. (to appear).]]

Digital Library

Google Scholar

[10]

Davis, J.S. (1984). Chunks: A Basis for Complexity Measurement. Information Processing and Management, 20 (1), pp. 119-127.]]

Crossref

Google Scholar

[11]

Ehrlich, K. and Soloway, E. (1984). An Empirical Investigation of the Tacit Plan Knowledge in Programming. in Thomas, J.C. and Schneider, M.L. (eds.), Human Factors in Computer Systems, Ablex Publishing, pp. 113-133.]]

Digital Library

Google Scholar

[12]

Feldman, M.B. (1997). Software Construction and Data Structures with Ada 95. Addison-Wesley.]]

Digital Library

Google Scholar

[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.]]

Google Scholar

[14]

Green, T.R.G, Sime, M.E., and Fitter, M.J. (1981). The Art of Notation. in Coombs, M.J. and Alty, J.L. (eds.), Computing Skills and the User Interface, Academic Press, pp. 221-251.]]

Digital Library

Google Scholar

[15]

Kintsch, W. (1977). Memory and Cognition, John Wiley.]]

Google Scholar

[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.]]

Crossref

Google Scholar

[17]

Mills, H.D. (1988). Stepwise Refinement and Verification in Box-Structured Systems. IEEE Computer, June, pp. 23-36.]]

Digital Library

Google Scholar

[18]

Pennington, N. (1987). Stimulus Structures and Mental Representations in Expert Comprehension of Computer Programs. Cognitive Psychology, 19, pp. 295-341.]]

Crossref

Google Scholar

[19]

Petre, Marian (1995). Why looking isn't always seeing: readership skills and graphical programming. Communications of the A CM, 38, 6, pp. 33-44.]]

Digital Library

Google Scholar

[20]

Raymond, D. (1991). Characterizing Visual Languages. Proceedings of the 1991 IEEE Workshop on Visual Languages, pp. 176-182.]]

Crossref

Google Scholar

[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.]]

Crossref

Google Scholar

[22]

von Mayrhauser, A., and Vans, A.M. (1996). Identification of Dynamic Comprehension Processes During Large Scale Maintenance. IEEE Transactions on Software Engineering, 22, 6, pp. 424-437.]]

Digital Library

Google Scholar

Cited By

View all

Fowkes JChanthirasegaran PRanca RAllamanis MLapata MSutton CDillon LVisser WWilliams L(2016)TASSALProceedings of the 38th International Conference on Software Engineering Companion10.1145/2889160.2889171(649-652)Online publication date: 14-May-2016
https://dl.acm.org/doi/10.1145/2889160.2889171
Umphress DHendrix TCross JMaghsoodloo S(2006)Software visualizations for improving and measuring the comprehensibility of source codeScience of Computer Programming10.5555/1143371.114337360:2(121-133)Online publication date: 1-Apr-2006
https://dl.acm.org/doi/10.5555/1143371.1143373
Umphress DHendrix TCross II JMaghsoodloo S(2006)Software visualizations for improving and measuring the comprehensibility of source codeScience of Computer Programming10.1016/j.scico.2005.10.00160:2(121-133)Online publication date: Apr-2006
https://doi.org/10.1016/j.scico.2005.10.001
Show More Cited By

Index Terms

Visual support for incremental abstraction and refinement in Ada 95
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools
    1. Context specific languages
      1. Visual languages
    2. General programming languages
      1. Language types

Recommendations

Abstraction refinement for termination
SAS'05: Proceedings of the 12th international conference on Static Analysis

Abstraction can often lead to spurious counterexamples. Counterexample-guided abstraction refinement is a method of strengthening abstractions based on the analysis of these spurious counterexamples. For invariance properties, a counterexample is a ...
Visual support for incremental abstraction and refinement in Ada 95
Compositional Abstraction Refinement for Timed Systems
TASE '10: Proceedings of the 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering

Model checking suffers from the state explosion problem. Compositional abstraction and abstraction refinement have been investigated in many areas to address this problem. This paper considers the compositional model checking for timed systems. We ...

Comments

Information & Contributors

Information

Published In

SIGAda '98: Proceedings of the 1998 annual ACM SIGAda international conference on Ada

November 1998

293 pages

ISBN:1581130333

DOI:10.1145/289524

Chairmen:
Ed Seidewitz
DHR Technologies
,
William Thomas
MITRE
,
Michael Feldman
George Washington Univ.

ACM SIGAda Ada Letters Volume XVIII, Issue 6
Nov./Dec. 1998
284 pages
ISSN:1094-3641
DOI:10.1145/301687
Chairmen:
Ed Seidewitz
DHR Technologies
,
William Thomas
MITRE
,
Michael Feldman
The George Washington Univ.
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1998

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SIGAda98

Sponsor:

SIGAPP
SIGBIOM
SIGPLAN
Ada Europe
SIGAda
SIGSOFT
Baltimore SIGAda Chapter
SIGCAS
SIGCSE
DC Ada

SIGAda98: ACM SIGAda Annual International Conference

November 8 - 12, 1998

D.C., Washington, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
1,085
Total Downloads

Downloads (Last 12 months)92
Downloads (Last 6 weeks)11

Reflects downloads up to 27 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Fowkes JChanthirasegaran PRanca RAllamanis MLapata MSutton CDillon LVisser WWilliams L(2016)TASSALProceedings of the 38th International Conference on Software Engineering Companion10.1145/2889160.2889171(649-652)Online publication date: 14-May-2016
https://dl.acm.org/doi/10.1145/2889160.2889171
Umphress DHendrix TCross JMaghsoodloo S(2006)Software visualizations for improving and measuring the comprehensibility of source codeScience of Computer Programming10.5555/1143371.114337360:2(121-133)Online publication date: 1-Apr-2006
https://dl.acm.org/doi/10.5555/1143371.1143373
Umphress DHendrix TCross II JMaghsoodloo S(2006)Software visualizations for improving and measuring the comprehensibility of source codeScience of Computer Programming10.1016/j.scico.2005.10.00160:2(121-133)Online publication date: Apr-2006
https://doi.org/10.1016/j.scico.2005.10.001
Hendrix TCross JMaghsoodloo SMcKinney M(2000)Do visualizations improve program comprehensibility? experiments with control structure diagrams for JavaACM SIGCSE Bulletin10.1145/331795.33189032:1(382-386)Online publication date: 1-Mar-2000
https://dl.acm.org/doi/10.1145/331795.331890
Hendrix TCross JMaghsoodloo SMcKinney MCassel BDale NWalker H(2000)Do visualizations improve program comprehensibility? experiments with control structure diagrams for JavaProceedings of the thirty-first SIGCSE technical symposium on Computer science education10.1145/330908.331890(382-386)Online publication date: 1-May-2000
https://dl.acm.org/doi/10.1145/330908.331890
Hendrix TCross JMaghsoodloo S(2000)An experimental validation of control structure diagramsProceedings Seventh Working Conference on Reverse Engineering10.1109/WCRE.2000.891473(224-230)Online publication date: 2000
https://doi.org/10.1109/WCRE.2000.891473
Butler KLeger MBueno DCuellar CHaass MLoffredo TReedy GTuminaro J(2019)Creating a User-Centric Data Flow Visualization: A Case StudyHuman Interface and the Management of Information. Visual Information and Knowledge Management10.1007/978-3-030-22660-2_12(174-193)Online publication date: 26-Jul-2019
https://dl.acm.org/doi/10.1007/978-3-030-22660-2_12
Fowkes JChanthirasegaran PRanca RAllamanis MLapata MSutton C(2017)Autofolding for Source Code SummarizationIEEE Transactions on Software Engineering10.1109/TSE.2017.266483643:12(1095-1109)Online publication date: 1-Dec-2017
https://dl.acm.org/doi/10.1109/TSE.2017.2664836
Simonis VWeiss R(2004)PROG $\mathcal{DOC}$ — A New Program Documentation SystemPerspectives of System Informatics10.1007/978-3-540-39866-0_44(438-449)Online publication date: 2004
https://doi.org/10.1007/978-3-540-39866-0_44

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Abstraction refinement for termination

Visual support for incremental abstraction and refinement in Ada 95

Compositional Abstraction Refinement for Timed Systems