Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

100

Voted

ICSE
1994
IEEE-ACM

102views Software Engineering» more ICSE 1994»

A Review of Formalisms for Describing Interactive Behaviour

15 years 6 months ago

A Review of Formalisms for Describing Interactive Behaviour

Download pl.csie.ntut.edu.tw

Michael D. Harrison, David J. Duke

Real-time Traffic

ICSE 1994 | Software Engineering |

claim paper

Related Content

» Formalization User Strategy And Interaction Design Users Behaviour With Discourse Tagging ...

» Formal systems for persuasion dialogue

» BehaviourPreserving Transformations in SHE A Formal Approach to Architecture Design

» Planning characters behaviour in interactive storytelling

» Behavioural Types and Component Adaptation

» Applying Formal Methods for Human Error Tolerant Design

» Modeling and Simulation of Genetic Regulatory Systems A Literature Review

» On the Formal Modelling of Trust in ReputationBased Systems

» RRL A Rich Representation Language for the Description of Agent Behaviour in NECA

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1994
Where	ICSE
Authors	Michael D. Harrison, David J. Duke

Comments (0)