Animating Albert II Specifications

Student thesis: Doc typesDoctor of Sciences

Abstract

Date of Award2001
Original languageEnglish
SupervisorMatthias Jarke (Jury), Jean FICHEFET (Jury), Éric Dubois (Jury), Naji Habra (Jury) & PIERRE-YVES SCHOBBENS (Supervisor)

Keywords

  • Requirements Engineering
  • validation
  • animation
  • scenarios
  • temporal logic
  • Petri nets
  • CASE tool
  • traceability.

Cite this

'