Constructive Alignment for Teaching Model-Based Design for Concurrency

  title={Constructive Alignment for Teaching Model-Based Design for Concurrency},
  author={Claus Brabrand},
  journal={Trans. Petri Nets Other Model. Concurr.},
  • Claus Brabrand
  • Published 27 November 2008
  • Computer Science
  • Trans. Petri Nets Other Model. Concurr.
"How can we make sure our students learn what we want them to?" is the number one question in teaching. This paper is intended to provide the reader with: (i) a general answer to this question based on The Theory of Constructive Alignment by John Biggs; (ii) relevant insights for bringing this answer from theory to practice; and (iii) specific insights and experiences from using constructive alignment in teaching model-based design for concurrency (as a case study in implementing alignment). 

Analysis of students’ preconceptions of concurrency

The results found from data collected through a questionnaire submitted in secondary schools to 101 students aged from 12 to 15 are reported on and recommendations toward creating a course teaching concurrent programming are formulated.

Teaching Concurrency Concepts to Freshmen

This paper devises a concept suitable for teaching concurrency theory to first year Bachelor students in computer science based on Robin Milner's Calculus of Communicating Systems, which is smoothly integrated in an introductory functional programming course.

A model-driven approach to teaching concurrency

This article describes the components and structure of the current incarnation of the course, and provides a detailed description of the different outcomes that the model-driven approach delivers (validation of the initial design, automatic generation of tests, and mechanical generation of code) from a teaching perspective.

A Model-Driven Approach to Teaching Concurrency

The components and structure of the current incarnation of the course, which uses Java as target language—and some tools used to support the method, are described, including a statistical analysis to show that the method has a positive impact in the student ability to understand concurrency and to generate correct code.

Helping students debug concurrent programs

We use empirical studies of how students understand concurrent programming and write concurrent programs to determine problem areas in students' understandings and approaches. We then suggest ways to

Experiences from placing Stack Overflow at the core of an intermediate programming course

The redesign of an intermediate Computer Programming course taught at the University of Vigo is discussed, seeking to promote question‐and‐answer websites for programmers as the main source of reference for the students, and turning the teacher into a permanent observer who delivers pertinent advice.

Defects in Concurrent Programming Assignments

The effects of the students’ approaches to constructing and testing programs on their work are presented, how teaching can be and has been improved to help support the students in performing these tasks more effectively and how software tools can be designed to support the development, testing and debugging of concurrent programs.

Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets

This paper describes a course on modelling and validation of concurrent systems given by the authors at the Department of Computer Science, University of Aarhus. The course uses Coloured Petri Nets

Survey of Software Visualization Systems to Teach Message-Passing Concurrency in Secondary School

In this paper, we compare 27 software visualization systems according to 8 criteria that are important to create an introduction to programming course based upon message passing concurrency.

Holistic approach to learning and teaching introductory object-oriented programming

A holistic approach to designing an introductory, object-oriented programming course grounded in constructivism and pedagogy of phenomenography is described, which uses constructive alignment as the framework to align assessments, learning, and teaching with planned learning outcomes.



Concurrency - state models and Java programs

Supporting website contains an updated version of the LTSA tool for modelling concurrency, model animation, and model checking, which includes the full set of state models, java examples, and demonstration programs and a comprehensive set of overhead slides for course presentation.

Teaching For Quality Learning At University

generalize create, solve unseen problems, extrapolate to unknown domains 22831.indb 124 6/15/11 2:11 PM Designing intended learning outcomes 125 • the verb at the appropriate level of understanding

Teaching for quality learning at university

by J. Biggs and C. Tang, Maidenhead, England, Open University Press, 2007, 360 pp., £29.99, ISBN-13: 978-0-335-22126-4

A singular choice for multiple choice

It is demonstrated that five self-evident axioms are sufficient to determine completely the correct strategy and have practical advantages and also suggest criteria for designing multiple choice questions.

The fundamental cycle of concept construction underlying various theoretical frameworks

A fundamental cycle underlying the building of concepts that features widely in different ways of thinking that occurs throughout mathematical learning is revealed.

教育中的建构主义 = Constructivism in Education

Contents: J. Gale, Preface. Part I:Radical Constructivism and Social Constructionism. E. von Glasersfeld, A Constructivist Approach to Teaching. K.J. Gergen, Social Construction and the Educational

Constructivism in Education

1. The background to the book As with many edited collections of academic papers, this collection originated in a conference: in this case, Alternative Epistemologies in Education, at the University

Classroom Assessment Techniques: A Handbook for College Teachers. Second Edition.

Getting Started in Classroom Assessment. Classroom Assessment Techniques. Building on What We Have Learned.

Learning and Awareness

Contents: Prologue. Acknowledgements. What Does It Take to Learn? Qualitative Differences in Learning. The Experience of Learning. Revealing Educationally Critical Differences in Our Understanding of

Taxonomy of Educational Objectives: The Classification of Educational Goals.

Using Bloom's Taxonomy to Write Effective Learning Objectives: The Abcds of Writing Learning ObjectIVES: A Basic Guide.