PhD Thesis Final Defense to be held on 15 March 2018 at 15:00

Barlas Thesis Image.

The examination is open to anyone who wishes to attend.

Thesis Title: Algebraic Specification of Standards


Open standardization seems to be very popular among software devel- opers as it simplifies the standard’s adoption by the software engineering. Formal specification methods, while very promising, are being adopted very slowly as the industry seems to have little motivation to move into this territory. In this thesis we will present the idea of applying formal specification techniques to (open) standards’ specifications.
We provide evidence for the advantages of the open standards formal specification over natural language documentations: Formal specifications are more concise, less ambiguous, more complete with respect to the original documentation and, when using certain kinds of specification languages, executable and reusable as they support module inheritance. The merging of formal specification methods and open standards allows i) a more concrete standard design; ii) an improved understanding of the environment under design; iii) an enforced certain level of precision into the specification, and also iv) provides software engineers with extended property checking/verification capabilities, especially if they opt to use any algebraic specification language.

Supervisor: Koletsos George, Professor Emeritus

PhD student: Barlas Konstantinos