Leveraging specifications of subcomponents to mine precise specifications of composite components.

Ziying Dai Xiaoguang Mao Yan Lei Liqian Chen

Published in: WCRE (2013)

Keyphrases

delay insensitive
formal specification
functional requirements
bounded model checking
data sets
artificial intelligence
computer vision
decision making
case study
high level
expert systems
reactive systems
concurrent systems
written in natural language