An object based formal method for the development of real-time systems, called ATOM, is presented. The method is an integration of the real-time formal technique TAM (Temporal Agent Model) with an industry-strength structured ...

Exhibition of UK systems and software art - historical survey

This article addresses the neglect in academic studies of film culture of the publicist’s role, particularly in British film production and distribution. Taking the last decade of the British studio system(the 1950s) and ...

Music score, for guitar quartet.