Login / Signup

Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour.

Bruno d'AusbourgGuy DurrieuPierre Roché
Published in: DSV-IS (1996)
Keyphrases
  • formal model
  • knowledge representation
  • test cases
  • artificial intelligence
  • high level
  • user interaction