Login / Signup

Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification.

José Luís SilvaCamille FayollasArnaud HamonPhilippe A. PalanqueCélia MartinieEric Barboni
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)
Keyphrases
  • formal specification
  • interactive systems
  • case study
  • expert systems
  • human computer interaction
  • object oriented design
  • information systems
  • relational databases