Abstraction and Modelling: A Complementary Partnership
- Jeffrey Kramer
- … show all 1 hide
Why is it that some software engineers are able to produce clear, elegant designs and programs, while others cannot? Is it purely a matter of intelligence? What is the problem? One hypothesis is that the answer lies in abstraction: the ability to exhibit abstraction skills and perform abstract thinking and reasoning. Abstraction is a cognitive means by which engineers, mathematicians and others deal with complexity. It covers both aspects of removing detail as well as the identification of generalisations or common features, and has been identified as a crucial skill for software engineering professionals. Is it possible to improve the skills and abilities of those less able through further education and training? Are there any means by which we can measure the abstraction skills of an individual?
In this talk, we explore these questions, and argue that abstraction and modelling are complementary partners: that abstraction is the key skill for modelling and that modelling provides a sound means for practising and improving abstraction skills.
- Abstraction and Modelling: A Complementary Partnership
- Book Title
- Teaching Formal Methods
- Book Subtitle
- Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
- p 1
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Industry Sectors
- eBook Packages
- Editor Affiliations
- 16. Computing Laboratory, Oxford University
- 17. Departamento de Informática, Universidade do Minho
- Jeffrey Kramer (18)
- Author Affiliations
- 18. Department of Computing, Imperial College London, Huxley Building, 180 Queen’s Gate, London, SW7 2AZ, U.K.
To view the rest of this content please follow the download PDF link above.