Pub. online:1 Jan 2006Type:Research ArticleOpen Access
Volume 17, Issue 3 (2006), pp. 325–346
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.
Pub. online:1 Jan 2005Type:Research ArticleOpen Access
Volume 16, Issue 4 (2005), pp. 519–540
The paper analyses the problem of aggregation of internal quality characteristics of an information system specification language. It surveys main categories of aggregation operators, their mathematical and behavioural properties and proposes how to aggregate quality characteristics taking into account measurements of all lowest-level characteristics in a proper way. The paper shows that four different kinds of dependencies can occur among characteristics of internal quality and discusses in detail what aggregation techniques are reasonable for each case. It also describes a heuristic for minimisation of possible deviations of measurement results obtained after using a number of different metrics or because of the inaccuracy of used measurement techniques.