Abstract
Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it possible to improve these skills through education and training? Critical to these questions is the notion of abstraction.
- The ACM/IEEE Computing Curricula: Software Engineering (2004); www.computer.org/education/cc2001.Google Scholar
- Devlin, K. Why universities require computer science students to take math, Comm of ACM 46, 9 (Sept. 2003), 37--39. Google ScholarDigital Library
- Frorer, P., Hazzan, O. and Manes, M. Revealing the faces of abstraction. International J. Computers for Mathematical Learning. Kluwer Academic Publishers, 1997, 217--228.Google Scholar
- Ghezzi, C., Jazayeri, M. and Mandrioli, D. Fundamentals of Software Engineering, 2nd Edition. Pearson International, NJ, 2003. Google ScholarDigital Library
- Hazzan, O. Reducing abstraction level when learning abstract algebra concepts. Educational Studies in Mathematics 40. Kluwer Academic Publishers, 1999, 71--90.Google Scholar
- Huitt, W. and Hummel, J. Piaget's theory of cognitive development. Educational Psychology Interactive. Valdosta State University, Valdosta, GA, 2003.Google Scholar
- Kuhn, D., Langer, J., Kohlberg, L., and Haan, N.S. (1977). The development of formal operations in logical and moral judgment. Genetic Psychology Monographs 95 (1977), 97--188.Google Scholar
- Magee, J. and Kramer, J. Concurrency---State Models and Java Programs, 2nd Edition. John Wiley & Sons, Chichester, UK, 2006. Google ScholarDigital Library
- Piaget, J. and Inhelder, B. The Psychology of the Child. Routledge & Kegan Paul, 1969.Google Scholar
- Webster's Third New International Dictionary, 1966.Google Scholar
- Wing, J.M. Computational thinking, Comm of ACM 49, 3 (Mar. 2006), 33--35. Google ScholarDigital Library
- Woolfolk and McCune-Nicolich. Educational Psychology for Teachers, 2nd Edition. Prentice-Hall, Englewood Cliffs, NJ, 1984.Google Scholar
Index Terms
- Is abstraction the key to computing?
Recommendations
Automatic predicate abstraction of C programs
PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementationModel checking has been widely successful in validating and debugging designs in the hardware and protocol domains. However, state-space explosion limits the applicability of model checking tools, so model checkers typically operate on abstractions of ...
Comments