home > publications > object orientation

2006

book chapters

• Nuno Amálio, Fiona Polack, Susan Stepney.
  UML + Z: Augmenting UML with Z .
  In Marc Frappier, Henri Habrias, eds. Software Specification Methods : an Overview Using a Case Study, new edn , Hermes Science Publishing, 2006
  
  

2005

refereed workshop and conference papers

• Nuno Amálio, Fiona Polack, Susan Stepney.
  An OO structuring for Z based on Views .
  ZB2005, Guildford . LNCS 3455, Springer, 2005.
  
  

2004

refereed workshop and conference papers

• Nuno Amálio, Susan Stepney, and Fiona Polack
  Formal Proof from UML Models .
  ICFEM 2004, Seattle, USA . LNCS 3308, Springer, 2004
  
  

2003

refereed workshop and conference papers

• Nuno Amálio, Susan Stepney, Fiona Polack.
  Modular UML Semantics: Interpretations in Z based on Templates and Generics .
  FACS'03 Workshop on Formal Aspects of Component Software, Pisa . UNU/IIST Technical Report 284. 2003
  
  

1995

refereed workshop and conference papers

• Susan Stepney.
  Testing as Abstraction .
  ZUM'95: 9th International Conference of Z Users , Limerick, 1995. LNCS 967, Springer, 1995.
  
  

1994

books / proceedings

• Roy MacLean, Susan Stepney, Simon Smith, Nick Tordoff, David Gradwell, Tim Hoverd, and Simon Katz.
  Analysing Systems: determining requirements for object-oriented development .
  BCS Practitioner Series. Prentice-Hall. 1994.

  The 'ORCA' book

  
  
  

1992

books / proceedings

• Susan Stepney, Rosalind Barden, and David Cooper, editors.
  Object Orientation in Z .
  Workshops in Computing. Springer. 1992.
  
  

journal papers

• Susan Stepney, Rosalind Barden, and David Cooper.
  A Survey of Object Orientation in Z .
  Software Engineering Journal , 7(2):150-160, March 1992.