Photo of Ali Hamie
20022017

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution with ISSN or ISBN

Search results

  • 2017

    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
  • 2016

    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
  • 2015

    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

  • 2010

    Visual specification patterns

    Hamie, A., Howse, J. & Fish, A., 1 Jan 2010, Proceedings of the Second International Workshop on Visual Formalisms for Patterns (VFfP 2010). Berlin, Germany: EASST, Vol. 31. p. 76-89 14 p. (Electronic Communications of the EASST).

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

  • 2009

    Transforming constraint diagrams

    Burton, J., Stapleton, G. & Hamie, A., 20 Sep 2009, Proceedings of the VLL 2009 workshop on visual languages and logic as part of the 2009 IEEE symposium on visual languages and human centric computing VL/HCC 09. Tilburg University, The Netherlands: CEUR, Vol. 510. p. 62-80 19 p. (VLL 2009: Visual Languages and Logic).

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

  • 2004

    Time-based constraints in the Object Contraint Language OCL

    Hamie, A., Howse, J. & Mitchell, R., 1 Jan 2004, Proceedings of the 8th international conference on Artificial Intelligence and Soft Computing (ASC 2004). Calgary, Canada: ACTA Press, 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
  • 2002

    Towards verifying Java realizations of OCL-constrained design models using JML

    Hamie, A., 2002, Proceedings of 6th IASTED International Conference on Software Engineering and Applications (SEA'2002). Cambridge, MA, United States: MIT Press

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

    Open Access
    File