Ali Hamie
19982017

Research activity per year

Personal profile

Research interests

Dr Hamie’s main research area is formal aspects of software development covering requirements, design, verification and validation. Modern software development requires the design and analysis of a number of different artifacts. The use of formal techniques and methods facilitates the precise formulation of these artifacts. His research involved many aspects of software engineering including specifications patterns, design by contract, and the formal semantics of object-oriented notation such as UML . In particular he developed  a translation between  The Object Constraint Language  OCL (part of UML)  and  The Java Modeling Language  JML,  that facilitates the validation of designs at the implementation level.

I have published over 35 papers in the area of formal methods and software enginnering. Here is my Google Scholar Link for a full list of my publications.

Scholarly biography

 Dr Hamie is a Senior Lecturer at the School of Architecture, Technology and Engineering, University of Brighton, UK. During his time at Brighton, he lectured on and contributed to the development of computer science and software engineering courses, both at the undergraduate and postgraduate level.

Ali graduated from the Lebanese University with a BSc in pure mathematics (1982), and from the University of Essex he obtained: Posgraduate Diploma in Computing (1986), MSc in Computer Science (1987) [Distinction for the dissertation], PhD in Computer Science (1991). He spent three years as a postdoctoral researcher at the University of Newcastle before moving to Brighton where he was a postdoctoral research Fellow on a EPSRC funded project (jointly with Imperial College), followed by the current post.

I am a Fellow of the Higher Education Academy since 2017.

Supervisory Interests

I am interested in supervising topics in the formal aspects of computing and design by contract, including the UML, Object Constraint Language (OCL) and the Java Modelling Language (JML).  Recent PhD student topics includes concept diagrams and ontology modelling and evaluation.

Fingerprint

Dive into the research topics where Ali Hamie is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
  • The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments

    Alharbi, E., Howse, J., Stapleton, G., Hamie, A. & Touloumis, A., 4 Oct 2017, ISWC2017 The 16th International Semantic Web Conference. Vienna: Springer, p. 20-36 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

    Open Access
    File
  • Visual Logics Help People: An Evaluation of Diagrammatic, Textual and Symbolic Notations

    Alharbi, E., Howse, J., Stapleton, G., Hamie, A. & Touloumis, A., 17 Dec 2017, IEEE Symposium on Visual Languages and Human-Centric Computing 2017. USA: IEEE, p. 0-0 1 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

    Open Access
    File
  • Evaluating Diagrammatic Patterns for Ontology Engineering

    Alharbi, E., Howse, J., Stapleton, G. & Hamie, A., 1 Jan 2016, Proceedings of the International Conference on the Theory and Application of Diagrams. Germany: Springer, p. 51-66 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

    Open Access
    File
  • Pattern-Based Mapping of OCL Specifications to JML Contracts

    Hamie, A., 1 Jan 2015, MODELSWARD 2014: 2nd International Conference on Model-Driven Engineering and Software Development. Portugal: INSTICC ScitePress, p. 1-8 8 p. (International Conference on Model-Driven Engineering and Software Development).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

    Open Access
    File
  • Using Patterns to Map OCL Constraints to JML Specifications

    Hamie, A., 11 Dec 2015, International Conference on Model-Driven Engineering and Software Development. Switzerland: Springer International, Vol. 506. p. 35-48 14 p. (Communications in Computer and Information Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review