On the Relationship between Proof Writing and Programming: Some Conclusions for Teaching Future Software Developers.
Michael HartwigPublished in: ICSECS (3) (2011)
Keyphrases
- software developers
- software development
- computer programming
- software engineering
- application development
- software systems
- development tools
- programming course
- software projects
- concurrent programming
- computer science curriculum
- computing systems
- higher education
- learning environment
- development environment
- e learning
- learning process
- real world
- computer systems
- programming language
- software industry
- student progress
- computer science education
- online learning
- application developers
- data management
- programming exercises
- introductory programming courses
- data sets
- web developers
- academic researchers
- web development
- high level
- multi agent
- object oriented programming
- query processing
- development process