Utilizing Event-B for domain engineering: a critical analysis.

Atif Mashkoor Jean-Pierre Jacquot

Published in: Requir. Eng. (2011)

Keyphrases

domain specific
computer science
data analysis
domain independent
domain experts
artificial intelligence
statistical analysis
real time
search algorithm
knowledge acquisition
expert systems
three dimensional
web services
website
information systems
real world
neural network