overview & posters | publications | people | button-hole us | contact information | front page

Publications 

Some papers have links to a brief abstract, with further links to posters and electronic copies in at least .ps form (level 2 and some level 3) and sometimes in .pdf (version 3) form. Some papers have links directly to the electronic copy. Where the paper is not available electronically, this will either be because it is just not available in that form, or because copyright agreements prevent us from publishing it on these pages. In such cases you are asked to email biro@brighton.ac.uk for a copy, citing author(s) and date - e.g. Kent and Maung (1995b).

  1. Bicarregui J., Lano K. and Maibaum T.S.E. (1997b) Objects, Associations and Subsystems: a hierarchical approach to encapsulation. Proceedings of ECOOP'97, Springer-Verlag, LNCS.
  2. Bicarregui J., Lano K. and Maibaum T.S.E. (1997a) Towards a Compositional Interpretation of Object Diagrams. Proceeding of IFIP TC 2 working conference on Algorithmic Languages and Calculi, Strassbourg, Feb 1997 Bird and Meertens (Eds), to appear Chapman and Hall.
  3. Civello F. (1998) Rooted Class Diagrams: a notation for context-independent models, to appear in JOOP.
  4. Gil Y. and Kent S. (1997a) Three Dimensional Software Modelling, accepted for ICSE98.
  5. Hamie A., Howse J. and Kent S. (1997a) Navigation Expressions in OO Modelling, accepted for FASE98 at ETAPS98.
  6. Hamie, A., Howse, J. and Kent, S. (1998a) Compositional Semantics of Object-Oriented Modelling Notations. Evans, A. and Lano, K., Making Object-Oriented Methods more Rigorous, eWics Series, Springer Verlag, to appear.
  7. Kent S. (1997c) Visualising Action Contracts in OO Modelling, accepted for VISUAL98, a workshop at ETAPS98.
  8. Kent S. and Lauder A. (1998a) Rigorous Techniques in Component-Based Development. Evans, A. and Lano, K., Making Object-Oriented Methods more Rigorous, eWics Series, Springer Verlag, to appear.
  9. Kent S., Hamie A., Howse J., Civello F. and Mitchell R. (1997c) Semantics through Pictures, to appear in ECOOP'97 workshop Reader,  LNCS, Springer Verlag, 1997.
  10. Kent S., Lano K., Bicarregui J., Hamie A., Howse J. (1997b) Component Composition in Business and System Modelling, OOPSLA97 workshop on Object-Oriented Behavioural Semantics, technical report, University of Munich.
  11. Kent S. (1997b) Constraint Diagrams: Visualizing Invariants in OO Modelling, to appear in Procs. of  OOPSLA97, ACM Press.
  12. Kent S., Hamie A., Howse J., Civello F. and Mitchell R. (1997a) Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations, ECOOP'97 workshop on Precise Semantics for Object-Oriented Modeling Techniques, Technical Report TUM-I9725, University of Munich.
  13. Kent S. and Howse J. (1996a) Value Types in Eiffel, Proceedings of TOOLS Europe 96 (TOOLS 19), Prentice Hall.
  14. Kent S. and Maung I. (1995b) Encapsulation and Aggregation, Proceedings of TOOLS Pacific 95 (TOOLS 18), Prentice Hall.
  15. Kent S. and Maung I. (1995a) Quantified Assertions in Eiffel, Proceedings of TOOLS Pacific 95 (TOOLS 18), Prentice Hall.
  16. Lano K., Goldsack S., Bicarregui J., Kent S. (1997a) Integrating VDM++ and Real-time System Design, Z User Meeting 1997, to appear in LNCS.
  17. Lano K., Bicarregui J., Goldsack S. (1997a) Formalising Design Patterns BCS-FACS Northern Formal Methods Workshop, 1996. To appear in EWICS, Springer Verlag.
  18. Lano K., Bicarregui J. and Kent S. (1996a) A Real-Time Action Logic of Objects Proceedings of ECOOP'96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz, Austria, July 1996.
  19. Maung I., Howse J. and Mitchell R. (1995b) Managing Programming-by-difference, Proceedings of TOOLS Pacific 95 (TOOLS 18), Prentice Hall.
  20. Mitchell R., Howse J. and Hamie A. (1997a) Contract Oriented Specifications, Procs. of TOOLS Pacific 97, ACM Press.
  21. Mitchell R., Maung I. and Howse J. (1995a) Checking Software Contracts, Proceedings of TOOLS USA 95 (TOOLS 17), Prentice Hall.

    22. Papers submitted

    Reports

  22. Hamie A., Howse, J. (1997a) Interpreting Syntropy in Larch, Technical Report ITCM97/C1, University of Brighton.
  23. Kent S. (1997a) Constraint Diagrams: Visualizing Assertions in OO Modelling, Technical Report ITCM97/C2, University of Brighton.
  24. Lano K. (1997a) Refinement in Syntropy, draft report.
  25. Lano K. (1996a) Semantic Frameworks for Syntropy, BIRO Project Document GR/K67311-1, Imperial College, Feb. 1996.
  26. Mitchell R. (1996a) Software Contracting Using Deconstructors, Technical Report UBC96/01, University of Brighton, April 1996.
overview & posters | publications | people | button-hole us | contact information | front page
Last updated 19th November 1997
Stuart.Kent@brighton.ac.uk