Preserving Correctness of Requirements Evolution through Refinement in Event-B.

Kriangkrai Traichaiyaporn Toshiaki Aoki

Published in: APSEC (1) (2013)

Keyphrases

event detection
real world
computer vision
information systems
color images
end users
news articles
application specific
user requirements
event driven
evolution process