An Empirical Study Assessing Software Modeling in Alloy.

Niloofar Mansoor Hamid Bagheri Eunsuk Kang Bonita Sharif

Published in: FormaliSE (2023)

Keyphrases

software systems
modeling language
software tools
neural network
decision making
software engineering
open source
software package