Domain Engineering with Event-B: Some Lessons We Learned.

Atif Mashkoor Jean-Pierre Jacquot

Published in: RE (2010)

Keyphrases

domain specific
artificial intelligence
event detection
knowledge acquisition
engineering design
case study
computer science
interactive video
database
machine learning
expert systems
domain experts
learned knowledge
engineering students
events occurring