Login / Signup

DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour.

Germán RegisCésar CornejoSimón Gutiérrez BridaMariano PolitanoFernando D. RavertaPablo PonzioNazareno AguirreJuan Pablo GaleottiMarcelo F. Frias
Published in: ESEC/SIGSOFT FSE (2017)
Keyphrases
  • analysis tool
  • decision making
  • knowledge base
  • software development
  • dynamic environments
  • statistical model
  • conceptual model
  • metamodel
  • empirical data
  • model validation