20022017
If you made any changes in Pure these will be visible here soon.

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.

Scholarly biography

 Dr Hamie is a Senior Lecturer at the School of Compuring, Engineering and Mathematics, 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), 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.

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.

  • 9 Similar Profiles
Specifications Engineering & Materials Science
Ontology Engineering & Materials Science
Specification languages Engineering & Materials Science
Interfaces (computer) Engineering & Materials Science
Semantics Engineering & Materials Science
Software engineering Engineering & Materials Science
Modeling languages Engineering & Materials Science

Research Output 2002 2017

  • 9 Conference contribution with ISSN or ISBN
  • 2 Chapter
  • 2 Article

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 ISBNResearchpeer-review

Open Access
File
Ontology

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 ISBNResearchpeer-review

Open Access
File
Ontology

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 ISBNResearchpeer-review

Open Access
File
Ontology
Semantics

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 ISBNResearchpeer-review

Open Access
File
Specifications

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 ISBNResearchpeer-review

Specifications