Extracting Traceability between Predicates in Event-B Refinement.

Shinnosuke Saruwatari Fuyuki Ishikawa Tsutomu Kobayashi Shinichi Honiden

Published in: APSEC (2017)

Keyphrases

event detection
automatically extracting
software architecture
life cycle
event driven
data mining
user defined
event recognition
step wise
database
search engine
open source
news stories