In this paper I reflect on the role of HCI Education in University level courses. The theme of the conference is 'Architecting the Future' and I analyse what we mean by this in terms of HCI Education. As a community we seem to have moved from fundamental HCI issues through usability and user-centered design, and last year were all about design and creativity – have we moved one step beyond agai...

The Veri ed Programming Language Implementation project has developed a formally veri ed implementation of the Scheme programming language. This report documents the image builder, which lays out a binary image for a program. It contains detailed proofs that the operational semantics of the resulting output matches the operational semantics of the input.

Virtual visits on the Web are an important means to publicize a museum collection and attract visitors. Software applications for building virtual exhibitions, in addition to being tools to create content for virtual visits, may help the staff of a museum to conceive and mount exhibitions. This paper presents the Virtual Exhibition Builder, an interactive software tool aimed at the creation of ...

The paper that is being submitted deals primarily with the implementation of firewall technology on Linux based systems. It focuses on the features of the visual medium for the creation and management of firewall rules, Visual Firewall Rule Builder – VFRB. VFRB has been written in Java and has a modular construction. The program consists of an object-oriented graphical user interface and a poli...

A power plant simulation tool (‘PowerSim’) has been developed with 10 years experience from the development of a plant simulator for efficient modeling of a power plant. PowerSim is the first developed tool in Korea for plant simulation with various plant component models, instructor station function and the Graphic Model Builder (GMB). PowerSim is composed of a graphic editor using general pur...

Kansei engineering is a technology for translating human feelings into product design. Several multivariate analyses are used for analyzing human feelings and building rules. Although these methods are reliable, they require large computing resources. It is difficult for general users to deal with many variables because of small personal computers, and the need for the user to be an expert on s...

Algebraic or equational speci cations are popular due to their simplicity. We advocate that such an approach could be of use for guiding user interfaces. If a user interface design process is to be accessible to a diverse user population that include novice computer users, it has to break out of the two stage user interface design| the rst stage, where a user interface builder is used to develo...

Function Point Analysis (FPA) is a method for measuring the functional size of a software system. The rules governing FPA are laid down in the Counting Practices Manual (the CPM) by the International Function Point Users Group. This paper ◊ defines a formal notation (N) for software designs, ◊ shows that the notation N is consistent with the language of the the CPM ◊ shows that FPA can be expre...