Xuehang Chi

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
With the development of software requirements engineering multiple methods to write requirements specification have been proposed. TFM is a formal specification method proposed by Professor David Parnas and Marius Dragomiroiu, and it is more flexible then previous algebra and axiom methods. SMV is a model checking technique developed by Carnegie Mellon(More)
  • 1