, VHDL Language Reference Manual, IEEE Std, pp.1076-2008
,
The Arch model: Seeheim revisited, CHI'91 User Interface Developers Workshop, 1991. ,
User Interface Management Systems, Eurographics Seminars, 1985. ,
Separating application code from toolkits: Eliminating the spaghetti of callbacks, Proc. UIST, pp.211-220, 1991. ,
Survey on user interface programming, Proc. CHI, pp.195-202, 1992. ,
, , p.2, 2015.
What should adaptivity mean to interactive software programmers, EICS 2014, ACM SIGCHI, pp.13-22, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01011095
Holistic Human Factors and System Design of Adaptive Cooperative Human Machine System) R&D project www.holides.eu, p.2, 2015. ,
Of Models, Rationales and Prototypes: Studying Designer Needs in an Airborne Maritime Surveillance Drawing Tool to Support Audio Communication, Proc. of BCS HCI, pp.92-102, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01205503
The Spin Model Checker: Primer and Reference Manual, 2003. ,
Modeling in Event-B: System and Software Engineering, p.9780521895569, 2010. ,
Coloured Petri Nets, 1996. ,
Principles of Model Checking, 2008. ,
Reset nets between decidability and undecidability, 25th ICALP, vol.1443, pp.103-115, 1998. ,