Login / Signup

ViennaDoc: An Animatable and Testable Specification Documentation Tool.

Tomohiro OdaKeijiro ArakiYasuhiro YamamotoKumiyo NakakojiHiroshi SakoHan-Myung ChangPeter Gorm Larsen
Published in: FM Workshops (2) (2019)
Keyphrases
  • software tools
  • machine learning
  • case study
  • object oriented
  • conceptual model
  • user friendly
  • specification language
  • databases
  • real world
  • website
  • clustering algorithm
  • high level
  • formal verification
  • tool suite