@inproceedings{510d9efd7e2b4135b990377c4f5a5d82,

title = "Using MathLang to check the correctness of specifications in object-Z",

abstract = "The importance of thoroughly checking software specifications is widely recognised in the software industry, particularly for software involved in dealing with safety critical systems. The Math Lang project has been successfully used to check large mathematical texts for correctness in a stepwise fashion. Currently Math Lang is being tested for checking the correctness of formal specifications written in Z. Since object-orientation is a vital concept for software specification, it is important that the tools available for thoroughly checking specifications can be used with a language powerful enough to express specifications for object-oriented software. This paper aims to test the usefulness of Math Lang for the computerisation of formal specifications written in Object-Z.",

keywords = "MathLang, Object-oriented design, Object-Z, Software specification and correctness",

author = "David Feller and Kamareddine, {Fairouz Dib} and Lavinia Burski",

year = "2016",

doi = "10.1007/978-981-10-1454-3_5",

language = "English",

isbn = "9789811014536",

series = "Springer Proceedings in Mathematics & Statistics",

publisher = "Springer",

pages = "45--70",

editor = "Singh, {Vinai K.} and Srivastava, {H. M.} and Ezio Venturino and Michael Resch and Vijay Gupta",

booktitle = "Modern Mathematical Methods and High Performance Computing in Science and Technology",

note = "1st International Conference on Modern Mathematical Methods and High Performance Computing in Science and Technology 2015 ; Conference date: 27-12-2015 Through 29-12-2015",

}