Research Repository

Items where Author is "Henson, M"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 19.

Book Section

Henson, M and Dooley, J and Whittington, L and Al Malaise Al Ghamdi, A (2012) 'FollowMe: A Bigraphical Approach.' In: UNSPECIFIED, (ed.) Workshop Proceedings of the 8th International Conference on Intelligent Environments. Ambient Intelligence and Smart Environments . IOS Press, 434 - 445. ISBN 9781614990796

Whittington, L and Dooley, J and Henson, M and Al Malaise Al Ghamdi, A (2012) 'Towards FollowMe User Profiles for Macro Intelligent Environments.' In: UNSPECIFIED, (ed.) Workshop Proceedings of the 8th International Conference on Intelligent Environments. Ambient Intelligence and Smart Environments . IOS Press, 179 - 190. ISBN 9781614990796

Henson, M and Dooley, J and Al Malaise Al Ghamdi, A and Whittington, L (2012) 'Towards Simple and Effective Formal Methods for Intelligent Environments.' In: UNSPECIFIED, (ed.) Proceedings of the Eighth International Conference on Intelligent Environments. Institute of Electrical and Electronics Engineers (IEEE), 251 - 258. ISBN 9781467320931

Henson, M (2009) 'Applications and Methodology of ?Z.' In: Boca, P and Bowen, JP and Siddiqi, J, (eds.) Formal Methods: State of the Art and New Directions. Springer, 117 - 145. ISBN 9781848827356

Henson, M and Deutsch, M and Reeves, S (2008) 'Z Logic and Its Applications.' In: Henson, M and Bjorner, D, (eds.) Logics of Specification Languages. Monographs in Theoretical Computer Science . Springer, 489 - 596. ISBN 9783540741060

Monograph

Deutsch, M and Henson, M and Reeves, S (2003) CSM-379a Results on Formal Stepwise Design in Z. UNSPECIFIED. CSM-379a, University of Essex, Colchester.

Henson, M and Reeves, S (2002) CSM-362a - An Analysis of total correctness refinement models for partial relation semantics I. UNSPECIFIED. CSM-362a, University of Essex, Colchester.

Henson, M and Deutsch, M and Reeves, S (2002) CSM-363 - Six theories of operation refinement for partial relation semantics. UNSPECIFIED. CSM-363, University of Essex, Colchester.

Henson, M and Deutsch, M and Reeves, S (2002) CSM-364 - An analysis of operation refinement in Z. UNSPECIFIED. CSM-364, University of Essex, Colchester.

Henson, M and Reeves, S (2001) CSM-361 - A Logic for Schema-based Program Development. UNSPECIFIED. CSM-361, University of Essex, Colchester.

Henson, M (1993) CSM-195 Transformations as proofs. UNSPECIFIED. CSM-195, University of Essex, Colchester.

Henson, M (1993) CSM-196 On the proof theory of program transformations. UNSPECIFIED. CSM-195, University of Essex, Colchester.

Henson, M (1992) CSM-179 - Transformational Derivation in the Programming Logic TK. UNSPECIFIED. CSM-179, University of Essex, Colchester.

Deutsch, M and Henson, M and Reeves, S CSM-379 An analysis of total correctness refinement models for partial relation semantics I. UNSPECIFIED. CSM-379, University of Essex, Colchester.

Henson, M and Deutsch, M and Kajtazi, B CSM-421 The Specification Logic vZ. UNSPECIFIED. CSM-421, University of Essex, Colchester.

Conference or Workshop Item

Henson, M (2014) From specification languages to wide-spectrum logics. In: Seventh International Conference on Contemporary Computing (IC3), 2014, ? - ?, Noida.

Bilgin, A and Dooley, J and Whittington, L and Hagras, H and Henson, M and Wagner, C and Malibari, A and Al-Ghamdi, A and Alhaddad, MJ and Alghazzawi, D (2012) Dynamic Profile-Selection for zSlices based type-2 fuzzy agents controlling multi-user Ambient Intelligent Environments. In: UNSPECIFIED, ? - ?.

Dooley, J and Henson, M and Callaghan, V and Hagras, H and Al-Ghazzawi, D and Malibari, A and Al-Haddad, M and Al-Ghamdi, AAM (2011) A formal model for space based ubiquitous computing. In: UNSPECIFIED, ? - ?.

Book

Henson, M (1987) Elements of functional languages. Blackwell Scientific Publications . Blackwell Scientific Publications, Ltd.. ISBN 0-632-01506-3

This list was generated on Wed Oct 28 03:46:21 2020 GMT.