Skip to main content navigation
parent site logoSite logo

Projects archive / cabinetdigitpresBeynon2007

Code:cabinetdigitpresBeynon2007
Title:cabinetdigitpresBeynon2007
Authors:Meurig Beynon, Antony Harfield
Date:Apr-2007
Type:presentation
Funding:Acad - Academic research
Short description:A presentation to illustrate semantic issues in EM
EM Technologies:tkeden, %eden, %scout, %donald, %angel
Keywords:education, tutorial
empublic references:cabinetdigitBeynon1990
EMpress references:paper20
Web site references:
Previous locations:

This is a presentation that exploits Harfield's EM presentation environment. It was prepared for a visit by the distinguished software consultant Michael Jackson in April 2007. The theme for the day was suggested by a talk that was given by Jackson to the BCS FACS group on "What can we expect from program verification?" in February 2007. The purpose of this presentation was to show the relevance of EM to several of the issues raised both in Jackson's talk, and more broadly in his research on "Problem Frames". The presentation has two parts: an interactive preamble based on exercising the visual pun associated with cabinetdigitBeynon1990 and looking critically at the semantics of the drawer of the filing cabinet, followed by some slides that comment on significant features of this application of EM.



cabinetdigitpresBeynon2007 is available locally within DCS at /dcs/emp/empublic/projects/cabinetdigitpresBeynon2007
Download cabinetdigitpresBeynon2007.tar.gz
Uncompressed, cabinetdigitpresBeynon2007 is 1 Mbytes (in 48 files).
Your download will be smaller as it will be compressed.
Help on extracting the files from the download.
README.xml 1515 01:32 PM Aug 16 2007 04:05 PM Dec 15 2014
Run.e 320 01:35 PM Aug 16 2007 04:05 PM Dec 15 2014
digitcabinetpres.e 26304 01:46 PM Aug 16 2007 04:05 PM Dec 15 2014
eight.d 1967 01:35 PM Aug 16 2007 04:05 PM Dec 15 2014
screenshot.gif 28377 01:35 PM Aug 16 2007 04:05 PM Dec 15 2014
gel/ 4096 01:42 PM Aug 16 2007 04:05 PM Dec 15 2014
gelpresentation/ 4096 01:42 PM Aug 16 2007 04:05 PM Dec 15 2014
htmlenv/ 4096 01:35 PM Aug 16 2007 04:05 PM Dec 15 2014
pres2/ 4096 01:35 PM Aug 16 2007 04:05 PM Dec 15 2014

empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.