Login / Signup
A Strategy to Formalize Specification and Its Application to an Advanced Railway System.
Guo Xie
Xinhong Hei
Sei Takahashi
Hideo Nakamura
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2014)
Keyphrases
</>
artificial neural networks
search strategy
formal specification
database
social networks
website
high level
software engineering
user defined
conceptual model
selection strategy