PRELOG - A SYSTEM FOR PRESENTING AND RENDERING LOGIC SPECIFICATIONS OF INTERACTIVE SYSTEMS

dc.contributor.authorJohnson, C.W.en_US
dc.contributor.authorHarrison, M.D.en_US
dc.date.accessioned2015-10-05T07:56:32Z
dc.date.available2015-10-05T07:56:32Z
dc.date.issued1990en_US
dc.description.abstractFormal specifications provide the non-specialist with an extremely poor impression of what it would be like to interact with a computer system. Prototypes provide a far better impression of the ‘look and feel’ of possible implementations but lack the precision of more formal approaches. Unfortunately, specification and prototyping are typically treated as alternatives. If these two activities can be harnessed then the designer has a means of incorporating the user into systems design. Tools can ease the transition from specification to prototype by supporting the visualisation of a design in terms of graphical representations of the proposed system. This paper describes Prelog, a tool for Presenting and REndering LOGic specifications of interactive systems. Prelog supports the structured representation of interaction objects which describe virtual devices. Interaction objects support reasoning about prototypes because they provide a means of abstracting away from device dependent pragmatics which make renderings intractable.en_US
dc.description.seriesinformationEG 1990-Technical Papersen_US
dc.identifier.doi10.2312/egtp.19901038en_US
dc.identifier.issn1017-4656en_US
dc.identifier.urihttps://doi.org/10.2312/egtp.19901038en_US
dc.publisherEurographics Associationen_US
dc.titlePRELOG - A SYSTEM FOR PRESENTING AND RENDERING LOGIC SPECIFICATIONS OF INTERACTIVE SYSTEMSen_US
Files