Items Authored/Edited by Hinchey, Michael G.
![]() | Up a level |
Number of items: 4.
d'Inverno, Mark and Luck, Michael.
2001.
Formal Agent Development: Framework to System.
In: Diana Gordon; Michael G. Hinchey; Walt Truszkowski; James L. Rash and Christopher A. Rouff, eds.
Formal Approaches to Agent-Based Systems.
Berlin, Germany: Springer, pp. 133-147.
ISBN 9783540427162
[Book Section]
d'Inverno, Mark and Luck, Michael.
1997.
'Development and application of a formal agent framework'.
In: Proceedings First IEEE International Conference on Formal Engineering Methods. Hiroshima, Japan.
[Conference or Workshop Item]
Luck, Michael and d'Inverno, Mark.
1995.
Structuring a Z specification to provide a formal framework for autonomous agent systems.
In: Jonathan P. Bowen and Michael G. Hinchey, eds.
ZUM '95: The Z Formal Specification Notation.
967
Berlin, Germany: Springer, pp. 46-62.
ISBN 9783540602712
[Book Section]
d'Inverno, Mark and Priestley, Mark.
1995.
Structuring specification in Z to build a unifying framework for hypertext systems.
In: Jonathan P. Bowen and Michael G. Hinchey, eds.
ZUM '95: The Z Formal Specification Notation.
967
Berlin, Germany: Springer, pp. 83-102.
ISBN 9783540602712
[Book Section]