Research has established that individual student interest has a positive effect on learning and academic achievement. However, little is known about the impact of a blended learning approach on individual student interest and whether combinations of online and face-to-face learning activities significantly enhance student interest. This paper assesses the effect of blended learning on perceived...

This paper describes the T-Ruby system for designing VLSI circuits, starting from formal specifications in which they are described in terms of relational abstractions of their behaviour. The design process involves correctness-preserving transformations based on proved equivalences between relations, together with the addition of constraints. A class of implementable relations is defined. The ...