Methodology to evaluate the functionality of specification languages
The paper proposes a methodology for evaluation of specification language functionality characteristics. It describes background of the proposed methodology, discusses the methodology in detail, and shortly describes experimental results obtained using the proposed methodology to evaluate the functionality of Z and UML languages.
specification languages internal quality quality characteristics quality evaluation