This document presents the data obtained from a survey conducted on the UML-B method [1]. The survey aimed to assess the usability of the method, particularly the notation used, from the developers ’ perspective. The usability in the assessment context means the understandability, learnability, operability and attractiveness of the

Abstract- This paper empirically investigates the advantages and limitations of modeling languages by specifying the multi-lift system as a non-trivial case study. The multi-lift system is a suitable test bed to demonstrate the expressive power of modeling languages in specifying such a concurrent, reactive, and complex system. English, UML, and Object-Z have been chosen, respectively, as informal, semi-formal, and formal modeling languages to specify the software requirements of the multi-lift system. These modeling languages are then compared and evaluated based on their likelihood to produce a specification with some defined characteristics. The conclusion is that informal languages such as English cannot be used to produce software models, because they are prone to ambiguity. Each of the formal and semi-formal languages has some unique advantages and limitations. Semi-formal models should be supplemented with formal ones to produce high quality software. Keywords: Modeling languages, Object-Z, UML. 1