Sign in
Formalisation of product requirements: from natural language descriptions to formal specifications.
Zhen Yu Chen
Shengji Yao
Jian Qiang Lin
Yong Zeng
Armin Eberlein
Published in:
Int. J. Manuf. Res. (2007)
Keyphrases
</>
natural language descriptions
formal specification
model checking
object oriented design
customer requirements
specification languages
natural language
formal methods
specification language
formal analysis
reverse engineering
concurrent systems
product design
life cycle
general purpose
case study
high level