Login / Signup
Extracting Environmental Constraints to Make Reactive System Specifications Realizable.
Shigeki Hagihara
Yusuke Kitamura
Masaya Shimakawa
Naoki Yonezaki
Published in:
APSEC (2009)
Keyphrases
</>
reactive systems
constrained optimization
constraint satisfaction
global constraints
automatically extracted
real time
data sets
evolutionary algorithm
geometric constraints
linear constraints
functional requirements
specification language
semantic constraints