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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 4 Similar Profiles
Specifications Engineering & Materials Science
Ontology Engineering & Materials Science
Specification languages Engineering & Materials Science
Interfaces (computer) Engineering & Materials Science
Semantics 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, 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, 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, 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, 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, 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