Login / Signup
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models.
Hiroyuki Nakagawa
Kenji Taguchi
Shinichi Honiden
Published in:
ASE (2007)
Keyphrases
</>
formal specification
specification language
process algebra
probabilistic model
model checking
specification languages
model checker
object oriented design
petri net
reverse engineering
artificial intelligence
software engineering
process model
formal methods