PPT Slide
Key references/literature[1]
- Lifecycle Model: Mayhew, D. (1999), The usability engineering lifecycle. Morgan Kaufmann. [ISBN 1-55860-661-4]
- Buckingham Shum, S. & Hammond, N. (1994), Transferring HCI modelling and design techniques to practitioners--a framework and empirical work. [download PDF]
- State-Transition-Diagram (STD): Horrocks, I. (1999), Constructing the user interface with statecharts. Addison-Wesley. [ISBN 0201342782]
- Jacob, R. (1983), Executable Specifications for a Human-Computer Interface. ACM CHI’83 Proceedings, pp. 28-34. [download PDF]
- Harel, D. (1987), Statecharts--a visual formalism for complex systems. Science of Computer Programming, vol 8, pp. 231-274. [download PDF]
- Petri-Net (PN): Reisig, W. (1992), A Primer in Petri Net Design. Springer. [ISBN: 0387520449]
- Tanniru, M. & Sakthivel, L. (1987), Knowledge based support for system verification during requirement analysis. ACM Proceedings. [download PDF]
- Murata, T. (1989), Petri Nets--properties, analysis, and applications. Proceedings of the IEEE, vol. 77(4), pp. 541-580. [download PDF]
- Reisig, W. et al. (2000), Introductory tutorial to Petri Nets. [download PDF]