John M Kanyaru - Publications

Dr John M Kanyaru
Director of Undergraduate Studies

Dependable Systems Research Group
School of Mathematical & Computer Sciences
Heriot-Watt University Dubai Campus
j.m.kanyaru@hw.ac.uk
office tel: +971 (0) 4358763
mobile: +971 (0) 509426860

Books & Book chapters

Kanyaru, J.M., 2009 A state-based approach to prototyping use case specifications; VDM Verlang
Kanyaru, J.M., 2010 Validating specifications by analysing use case dependencies; in the Encyclopaedia of Software Engineering; Taylor & Francis Group, LLC; Laplante P.A(ed); New York, USA.

Journal articles

Adlem, A., Phalp, K.T., Adlem, A., Jeary, S., Vincent, J., Kanyaru, J.M. , 2011 The role of comprehension in requirements and implications for use case descriptions . Software Quality Journal,19(2)
Fouad, A., Phalp, K. T., Kanyaru, J.M . and Jeary, S., 2010. Embedding Requirements within the Model Driven Architecture. Software Quality Journal, 19(2)
Kanyaru, J.M . and Phalp, K. T., 2009. Validating software requirements with enactable use case descriptions. Requirements Engineering Journal , 14 (1)

Conference articles

Kanyaru, J.M. 2012 Addressing calculation errors in medication via automated smart referencing of prescriptions and drugs ; 4th Annual e-health conference, Hamdan Bin Mohammed e-University, Dubai, UAE.
Kanyaru, J.M. , (2009), The Consideration of a Requirements Phase in the Model Driven Architecture, 17^th International Software Quality Management Conference, SQM 2009, Southampton, April 2009.
Martin, A., Seel, C., Coles, M., Kanyaru, J.M. , and Phalp, K., (2008), Generating Software Support for industrial Business Processes, MITIP 2008, The Modern Information Technology in the Innovation Processes of the Industrial Enterprises, Prague, November 2008.
Kanyaru, J.M ., Jeary, S., Coles, M., Phalp, K. T. and Vincent, J., 2008. Assessing Graphical User Interfaces in Modelling Tools for MDA Using the Cognitive Dimensions Framework. In: SQM 2008 and INSPIRE 2008 Conference, 18-19 March 2008, University of Ulster, Northern Ireland.
Kanyaru, J.M., Coles, M., Jeary, S. and Phalp, K. T., 2008. Using Visualisation to Elicit Domain Information as Part of the Model Driven Architecture ( MDA) Approach. In: MDABIZ 2008: 1st International Workshop on Business Support for MDA co-located with TOOLS EUROPE 2008, 30 June -4 July 2008, ETH Zurich, Switzerland
Kanyaru, J.M., Phalp, K. T. and Vincent, J., 2007. Enacting Use Case Descriptions Using States and Visual Development Environments. In: 12th Workshop on Model Analysis, Slicing and Transformation, 21 February 2007, Kings College, London.
Kanyaru, J.M. and Phalp, K. T., 2005. Aligning Business Process Models with Specifications Using Enactable Use Case Tools. In: 1st International Workshop on Requirements Engineering for Business Need and IT Alignment (REBNITA 2005), 13th IEEE International Requirements Engineering Conference, 29 August � 2 September 2005, Paris, France.
Kanyaru, J.M. and Phalp, K. T., 2005. Requirements Validation with Enactable Models of State-Based Use Cases. In: Empirical Assessment in Software Engineering (EASE 2005), 11-13 April 2005, Keele University, England.
Kanyaru, J.M. and Phalp, K. T., 2005. Supporting the Consideration of Dependencies in Use Case Specifications. In: 11th International Workshop on Requirements Engineering: Foundation For Software Quality (REFSQ�05), 13-14 June 2005, Porto, Portugal.
Kanyaru, J.M., Phalp, K. T. and Sheppard, T., 2004. Enhancing Use Case Descriptions With States: Validation Via Enaction. In: PREP Conference, 5-7 April 2004, University of Hertfordshire England.