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 12:32 PM Aug 16 2007 12:18 PM Jul 27 2017
Run.e 320 12:35 PM Aug 16 2007 12:18 PM Jul 27 2017
digitcabinetpres.e 26304 12:46 PM Aug 16 2007 12:18 PM Jul 27 2017
eight.d 1967 12:35 PM Aug 16 2007 12:18 PM Jul 27 2017
screenshot.gif 28377 12:35 PM Aug 16 2007 12:18 PM Jul 27 2017
gel/ 4096 12:42 PM Aug 16 2007 12:18 PM Jul 27 2017
gelpresentation/ 4096 12:42 PM Aug 16 2007 12:18 PM Jul 27 2017
htmlenv/ 4096 12:35 PM Aug 16 2007 12:18 PM Jul 27 2017
pres2/ 4096 12:35 PM Aug 16 2007 12:18 PM Jul 27 2017

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