Below are Technical Reports by members of the Centre.
Ali E. Abdallah, Alexandra Barros, José B. Barros and Jonathan P. Bowen. Deriving Correct Prototypes from Formal Z Specifications. Technical Report SBU-CISM-00-27, CISM, London South Bank University, UK, 2000.
This paper describes a systematic way of constructing correct prototypes in a functional language such as Miranda from Z specifications. A formal relationship between Z specifications and functional prototypes is established. This relationship is based on model refinement in the sense of specification refinement in the model-oriented specification style. To reduce the number of proofs required in model refinement, we have defined a set of rules that allow the derivation of a prototype from a specification. The use of such set of rules implicitly guarantees the correctness of the derivation.
Jonathan P. Bowen and Jane S. M. Bowen. The Website of the UK Museum of the Year, 1999, Technical Report SBU-CISM-00-28, SCISM, South Bank University, London, UK, 2000.
Also available in David Bearman and Jennifer Trant (eds.), Proc. Museums and the Web 2000, Minneapolis, USA, 16-19 April 2000. Archives & Museum Informatics, Pittsburgh, USA, 2000. CD-ROM & WWW.
The River & Rowing Museum is a new museum that celebrates the traditions and environment of the River Thames, the international sport of rowing and the historic riverside community of Henley-on-Thames in England. The award winning British architect, David Chipperfield, designed the especially commissioned building. The museum was opened in August 1998 and is already an architectural landmark. The museum has won a number of awards including the National Heritage UK Museum of the Year 1999, Building of the Year 1999 for England and Website of the Week for two weeks running in the 24 Hour Museum UK museums portal. The website has been produced at relatively low cost, but is designed to be simple and effective (matching the minimalist design of the museum building itself). It has attracted over 66,000 visitors so far. The homepage is designed to present the museum in different ways for various categories of potential user such as general visitors, children, teachers, researchers, etc. This paper gives a history of the development of the website, originally established in 1995 several years before the physical museum actually opened to the public, both from the point of view of the museum curator and the web designer. The website helped promote the museum's presence throughout the world, particularly in the rowing community. Some tips on how to produce a cost-effective website that is designed to be user-oriented, together with plans for the future, are included.
Jonathan P. Bowen. Weaving the Museum Web: Past
Present and Future. Technical Report SBU-CISM-00-29, SCISM,
London South Bank University, UK, 2000.
Also available in Proc. SSGRR
2000 Computer & Ebusiness Conference, L'Aquila, Italy, 31 July - 6
August 2000. CD-ROM.
Museums are discovering the Internet like many other market sectors. Rather uniquely, they span both educational and commercial sectors, with a concentration of the original object even in this virtual world. The author has set up and developed the Virtual Library museums pages (VLmp) since 1994, an on-line international distributed museum directory. This is part of the WWW Virtual Library and is also supported by the International Council of Museums (ICOM). The directory is probably still the foremost such resource, but commercial pressures are building, and the resource must develop to ensure its long-term future. This paper explores the important developments so far, the current situation especially with regard to automatically collected virtual visitor statistics, and possible future directions, both commercial and non-commercial, for the directory and related resources.
Jonathan P. Bowen. Experience Teaching Z with Tool and Web Support. Technical Report SBU-CISM-00-30, CISM, London South Bank University, UK, 2000.
Working document produced for ITiCSE Working Group on Support for Teaching and Learning Formal Methods. ITiCSE 2000: Conference on Innovation and Technology in Computer Science Education, Helsinki, Finland, 10-14 July 2000.
This report describes experiences of presenting the formal Z notation on one and later two course modules to computer science undergraduates, especially with respect to providing supporting web-based resources and using tool support. The modules were part of a more general course unit on formal methods.