Items where Author is "Henson, M"

Article

Whittington, L and Dooley, J and Henson, M and Al-Ghamdi, A (2013) Towards Realising FollowMe User Profiles for Macro-Intelligent Environments. Computers, 2 (3). pp. 132-151. DOI https://doi.org/10.3390/computers2030132

Book Section

Henson, M and Dooley, J and Whittington, L and Al Malaise Al Ghamdi, A (2012) FollowMe: A Bigraphical Approach. In: Workshop Proceedings of the 8th International Conference on Intelligent Environments. Ambient Intelligence and Smart Environments . IOS Press, pp. 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: Workshop Proceedings of the 8th International Conference on Intelligent Environments. Ambient Intelligence and Smart Environments . IOS Press, pp. 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: Proceedings of the Eighth International Conference on Intelligent Environments. Institute of Electrical and Electronics Engineers (IEEE), pp. 251-258. ISBN 9781467320931.

Henson, M (2009) Applications and Methodology of ?Z. In: Formal Methods: State of the Art and New Directions. Springer, pp. 117-145. ISBN 9781848827356.

Henson, M and Deutsch, M and Reeves, S (2008) Z Logic and Its Applications. In: Logics of Specification Languages. Monographs in Theoretical Computer Science . Springer, pp. 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.

Book

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