Martin Henson

About this original series

Lectures for the course CE304 at the University of Essex in 2011

Episodes of Martin Henson

    • Play CE304 L1 Domestic Matters 2012 - Martin Henson on Blip Martin Henson episodes on Blip

      CE304 L1 Domestic Matters 2012

      Introductory segment for students taking the course January to March 2012 - academic year 2011-12.

      • Release date
        Jan 7, 2012
      • Runtime
        17:18
    • Play CE304 L48 A Final Example - Martin Henson on Blip Martin Henson episodes on Blip

      CE304 L48 A Final Example

      In this, final, segment, we cover another example of promotion, involving the Box Office, taken from Woodcock and Davies' excellent textbook.

      • Release date
        Jun 19, 2011
      • Runtime
        08:07
    • Play CE304 S5 Priority Stack - Martin Henson on Blip Martin Henson episodes on Blip

      CE304 S5 Priority Stack

      in this supplementary segment we specify a priority stack, and an operation on it, by promotion. Again, this comes from Woodcock and Davies' excellent text book.

      • Release date
        Mar 22, 2011
      • Runtime
        07:03
    • Play CE304 S4 Specifying an Array - Martin Henson on Blip Martin Henson episodes on Blip

      CE304 S4 Specifying an Array

      In this supplementary segment we specify an array and an update operation on it, using promotion. The example comes from Woodcock and Davies' text book.

      • Release date
        Mar 22, 2011
      • Runtime
        08:17
    • Play CE304 S3 Trivial Pursuit - Martin Henson on Blip Martin Henson episodes on Blip

      CE304 S3 Trivial Pursuit

      In this supplementary segment we look at an example of promotion. This concerns the quiz board game Trivial Pursuit - again, it comes from Woodcock and Davies' text book.

      • Release date
        Mar 22, 2011
      • Runtime
        13:40
    • Play CE304 S2 The Box Office Example - Martin Henson on Blip Martin Henson episodes on Blip

      CE304 S2 The Box Office Example

      In this supplementary segment we look at another example of specification based on an example in Woodcock and Davies' excellent text book

      • Release date
        Mar 22, 2011
      • Runtime
        15:24
    • Play CE304 L43 Promotion - Martin Henson on Blip Martin Henson episodes on Blip

      CE304 L43 Promotion

      In this segment we look at a technique for specification called promotion. Here we specify small parts of a system entirely separately from the main system - and then plug the small parts into the main system by explaining how the local state of the small parts relate to the global state of the system in general. ;

      • Release date
        Mar 18, 2011
      • Runtime
        21:11
    • Play CE304 L42 Existential Hiding - Martin Henson on Blip Martin Henson episodes on Blip

      CE304 L42 Existential Hiding

      In this segment we introduce the existential schema quantifier - known as hiding.

      • Release date
        Mar 18, 2011
      • Runtime
        06:49
    • Play CE304 L41 Schema Inclusion - Martin Henson on Blip Martin Henson episodes on Blip

      CE304 L41 Schema Inclusion

      In this segment we introduce the schema calculus operation known as schema inclusion and illustrate its use with examples.

      • Release date
        Mar 18, 2011
      • Runtime
        06:25
    • Play CE304 L40 Example (continued) - Martin Henson on Blip Martin Henson episodes on Blip

      CE304 L40 Example (continued)

      In this segment we return to the example and look at further operations on the system of resources

      • Release date
        Mar 18, 2011
      • Runtime
        07:43
Discover the best in original web series.© 2012 Blip Networks, Inc. All Rights Reserved.