| 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 | 74 | 1999 |
| Interpreting the object constraint language A Hamie, J Howse, S Kent Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No …, 1998 | 65 | 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 | 60 | 2004 |
| Navigation expressions in object-oriented modelling A Hamie, J Howse, S Kent Fundamental Approaches to Software Engineering: First International …, 1998 | 20 | 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 | 11 | 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 | 11 | 2017 |
| Towards verifying java realizations of OCL-constrained design models using JML A Hamie Proceedings of 6th IASTED International Conference on Software Engineering …, 2002 | 11 | 2002 |
| Modular Semantics for Object-Oriented Models A Hamie, J Howse, S Kent Proceedings of Northern Formal Methods Workshop, 1998 | 11 | 1998 |
| Enhancing the object constraint language for more expressive specifications A Hamie Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99 …, 1999 | 9 | 1999 |
| Interpreting Syntropy in Larch A Hamie, J Howse Technical Report ITCM97, 1997 | 9 | 1997 |
| Using patterns to map OCL constraints to JML specifications A Hamie Model-Driven Engineering and Software Development: Second International …, 2015 | 7 | 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 | 7 | 2000 |
| Contract-oriented specifications R Mitchell, J Howse, A Hamie Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No …, 1997 | 7 | 1997 |
| Pattern-based mapping of OCL specifications to JML contracts A Hamie 2014 2nd International Conference on Model-Driven Engineering and Software …, 2014 | 6 | 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 | 6 | 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 | 6 | 1997 |
| Evaluating diagrammatic patterns for ontology engineering E Alharbi, J Howse, G Stapleton, A Hamie Diagrammatic Representation and Inference: 9th International Conference …, 2016 | 5 | 2016 |
| Transforming constraint diagrams J Burton, G Stapleton, A Hamie Visual Languages and Logic, 62-80, 2009 | 5 | 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 | 4 | 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 | 4 | 1998 |
John HowseProfessor of Mathematics and Computation, University of Brighton在 brighton.ac.uk 的电子邮件经过验证
