Browse by Person (creator, editor, contributor, etc.)

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

Conference or workshop item

Kent, S. and Maung, I. (1995) Encapsulation and Aggregation. In: Proceedings of TOOLS PACIFIC 95 (TOOLS 18). (Full text available)
[img]
Preview

Kent, S. and Maung, I. (1995) Quantified Assertions in Eiffel. In: Proceedings of TOOLS PACIFIC 95 (TOOLS 18). (Full text available)
[img]
Preview

Kent, S. (1993) Towards a Modal Logic of Durative Actions. In: Proceedings of the first Imperial College Dept. of Computing Theory & Formal Methods Section Workshop. (Full text available)
[img]
Preview

Kent, S. and Mailbaum, T.S.E. and Quirk, W. (1993) Formally Specifying Temporal Constraints and Error Recovery. In: Proceedings of IEEE First International Symposium on Requirements Engineering (RE93), 4-6 Jan 1993 , San Diego, CA. (The full text of this publication is not available from this repository)

Book

Goldsack, S.J. and Kent, S. (1996) Formal Methods and Object Technology. FACIT Series . Springer-Verlag, 368 pp. ISBN 978-3540199779 . (The full text of this publication is not available from this repository)

This list was generated on Mon Jun 23 09:22:58 2014 BST.