Ali Hamie
Ali Hamie
Senior Lecturer in Computing, University of Brighton
Verified email at - Homepage
Cited by
Cited by
Reflections on the object constraint language
A Hamie, F Civello, J Howse, S Kent, R Mitchell
The Unified Modeling Language.«UML»’98: Beyond the Notation: First …, 1999
Interpreting the object constraint language
A Hamie, J Howse, S Kent
Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No …, 1998
Translating the object constraint language into the java modelling language
A Hamie
Proceedings of the 2004 ACM symposium on Applied computing, 1531-1535, 2004
Navigation expressions in object-oriented modelling
A Hamie, J Howse, S Kent
Fundamental Approaches to Software Engineering: First International …, 1998
Visual logics help people: An evaluation of diagrammatic, textual and symbolic notations
E Alharbi, J Howse, G Stapleton, A Hamie, A Touloumis
2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2017
The efficacy of OWL and DL on user understanding of axioms and their entailments
E Alharbi, J Howse, G Stapleton, A Hamie, A Touloumis
The Semantic Web–ISWC 2017: 16th International Semantic Web Conference …, 2017
Towards verifying java realizations of OCL-constrained design models using JML
A Hamie
Proceedings of 6th IASTED International Conference on Software Engineering …, 2002
Modular Semantics for Object-Oriented Models
A Hamie, J Howse, S Kent
Proceedings of Northern Formal Methods Workshop, 1998
Enhancing the object constraint language for more expressive specifications
A Hamie
Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99 …, 1999
Interpreting Syntropy in Larch
A Hamie, J Howse
Technical Report ITCM97, 1997
Using patterns to map OCL constraints to JML specifications
A Hamie
Model-Driven Engineering and Software Development: Second International …, 2015
Time-based constraints in the object constraint language
A Hamie, R Mitchell, J Howse
Technical Report CMS-00-01, University of Brighton, Tech. Rep., 2000
Contract-oriented specifications
R Mitchell, J Howse, A Hamie
Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No …, 1997
Pattern-based mapping of OCL specifications to JML contracts
A Hamie
2014 2nd International Conference on Model-Driven Engineering and Software …, 2014
A formal semantics for checking and analysing UML models
A Hamie, J Howse, S Kent, R Mitchell, F Civello
Proceedings of the OOPSLA 98, 1998
Component Composition in Business and System Modelling
S Kent, K Lano, J Bicarregui, A Hamie, J Howse
Proceedings of OOPSLA97 Workshop on Object-Oriented Behavioural Semantics, 1997
Evaluating diagrammatic patterns for ontology engineering
E Alharbi, J Howse, G Stapleton, A Hamie
Diagrammatic Representation and Inference: 9th International Conference …, 2016
Transforming constraint diagrams
J Burton, G Stapleton, A Hamie
Visual Languages and Logic, 62-80, 2009
On the relationship between the object constraint language (OCL) and the Java modeling language (JML)
A Hamie
2006 Seventh International Conference on Parallel and Distributed Computing …, 2006
Compositional Semantics of Object-Oriented Modelling Notations. Evans, A. and Lano, K., Making Object-Oriented Methods more Rigorous, LNCS Series
A Hamie, J Howse, S Kent
Springer Verlag, to appear, 1998
The system can't perform the operation now. Try again later.
Articles 1–20