Fiona A. C. Polack

发表

Secure Database Development and the Clark-Wilson Security Model

Régine Laleau, Xiaocheng Ge, Fiona A. C. Polack, 2004 .

Exploring the informal translation of OMT object models in B

Fiona A. C. Polack, F. Polack, 2003 .

Proceedings of the Third international conference on Security in Pervasive Computing

John A. Clark, Richard F. Paige, Fiona A. C. Polack, 2006 .

CellBranch: increment 2: Discovery Phase

Susan Stepney, Fiona A. C. Polack, 2018 .

Templates and Generics for Translating UML Class Diagrams into Z

Susan Stepney, Fiona A. C. Polack, Nuno Amálio, 2003 .

CellBranch: Lessons and code

Susan Stepney, Fiona A. C. Polack, 2018 .

SAZ: SSADM version 4 and Z

Fiona A. C. Polack, 2001 .

Modelling and Documentation Patterns

Susan Stepney, Fiona A. C. Polack, 2018 .