Ali Hamie
19982017

Research activity per year

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

  • 2013

    Constraint specifications using patterns in OCL

    Hamie, A., 1 Jan 2013, In: International Journal on Computer Science and Information Systems. 8, 1

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
  • 2011

    A decision procedure for a decidable fragment of generalized constraint diagrams

    Burton, J., Stapleton, G. & Hamie, A., 28 Feb 2011, In: Journal of Visual Languages and Computing. 22, 1, p. 90-105 16 p.

    Research output: Contribution to journalArticlepeer-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 Sept 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

    Mapping OCL-constrained models to JML specifications

    Hamie, A., 2004, Proceedings of the 7th world conference on integrated design and process technology (IDPT 2003), Austin, Texas, December 2003. Grandview, Texas, USA: Society for design and process science

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNChapterpeer-review

  • 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
  • Translating the object constraint language into the Java modelling language

    Hamie, A., 2004, Proceedings of the 2004 ACM Symposium on Applied Computing, Nicosia, Cyprus, 2004. New York, USA: ACM Press, p. 1531-1535 5 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNChapterpeer-review

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

    Reflections on the Object Constraint Language

    Hamie, A., Civello, F., Howse, J., Kent, S. & Mitchell, R., 1999, The Unified Modeling Language. «UML»’98: Beyond the Notation. Berlin, Heidelberg: Springer-Verlag, Vol. 1618. p. 162–172 10 p.

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

  • 1998

    Interpreting the Object Constraint Language

    Hamie, A., Howse, J. & Kent, S., 1998, Asia Pacific Conference in Software Engineering. IEEE, p. 182-196 14 p.

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