Login / Signup

A Strategy to Formalize Specification and Its Application to an Advanced Railway System.

Guo XieXinhong HeiSei TakahashiHideo 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