Fiona Polack

2008
37	EE	Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: The Epsilon Generation Language. ECMDA-FA 2008: 1-16
36	EE	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST 2008: 356-364
35	EE	Régine Laleau, Fiona Polack: Using formal metamodels to check consistency of functional views in information systems specification. Information & Software Technology 50(7-8): 797-814 (2008)
2007
34	EE	Andrew Weeks, Susan Stepney, Fiona Polack: Neutral Emergence and Coarse Graining. ECAL 2007: 1131-1140
33	EE	Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Extreme Programming Security Practices. XP 2007: 226-230
32	EE	Nuno Amálio, Fiona Polack, Susan Stepney: Frameworks Based on Templates for Rigorous Model-driven Development. Electr. Notes Theor. Comput. Sci. 191: 3-23 (2007)
2006
31		John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings Springer 2006
30	EE	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Object Language (EOL). ECMDA-FA 2006: 128-142
29	EE	Nuno Amálio, Susan Stepney, Fiona Polack: A Formal Template Language Enabling Metaproof. FM 2006: 252-267
28	EE	Peter H. Welch, Fred R. M. Barnes, Fiona Polack: Communicating Complex Systems. ICECCS 2006: 107-120
27	EE	Susan Stepney, Fiona Polack, Heather R. Turner: Engineering Emergence. ICECCS 2006: 89-97
26	EE	Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke: Agile development of secure web applications. ICWE 2006: 305-312
25	EE	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Merging Models with the Epsilon Merging Language (EML). MoDELS 2006: 215-229
24	EE	Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark: Deviational Analyses for Validating Regulations on Real Systems. ReMo2V 2006
23	EE	Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: An action semantics for MOF 2.0. SAC 2006: 1304-1305
2005
22	EE	Fiona Polack, Susan Stepney, Heather R. Turner, Peter H. Welch, Fred R. M. Barnes: An Architecture for Modelling Emergence in CA-Like Systems. ECAL 2005: 433-442
21	EE	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: An Agile and Extensible Code Generation Framework. XP 2005: 226-229
20	EE	Nuno Amálio, Fiona Polack, Susan Stepney: An Object-Oriented Structuring for Z Based on Views. ZB 2005: 262-278
19	EE	Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: Refinement via Consistency Checking in MDA. Electr. Notes Theor. Comput. Sci. 137(2): 151-161 (2005)
18	EE	Fiona Polack, Susan Stepney: Emergent Properties Do Not Refine. Electr. Notes Theor. Comput. Sci. 137(2): 163-181 (2005)
2004
17	EE	Xiaocheng Ge, Fiona Polack, Régine Laleau: Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. CAiSE 2004: 234-247
16	EE	Nuno Amálio, Susan Stepney, Fiona Polack: Formal Proof from UML Models. ICFEM 2004: 418-433
15	EE	Thitima Srivatanakul, John A. Clark, Fiona Polack: Effective Security Requirements Analysis: HAZOP and Use Cases. ISC 2004: 416-427
2003
14	EE	Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack: Challenging Formal Specifications by Mutation: a CSP security example. APSEC 2003: 340-
13	EE	Susan Stepney, Fiona Polack, Ian Toyn: An Outline Pattern Language for Z: Five Illustrations and Two Tables. ZB 2003: 2-19
12	EE	Susan Stepney, Fiona Polack, Ian Toyn: Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. ZB 2003: 20-39
11	EE	Nuno Amálio, Fiona Polack: Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. ZB 2003: 339-358
2002
10	EE	Regine Laleau, Fiona Polack: Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. ZB 2002: 517-534
9	EE	Susan Stepney, Fiona Polack, Ian Toyn: Refactoring in maintenance and development of Z specifications. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
2001
8	EE	Regine Laleau, Fiona Polack: A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. CAiSE 2001: 402-416
7		Regine Laleau, Fiona Polack: Specification of integrity-preserving operations in information systems by using a formal UML-based language. Information & Software Technology 43(12): 693-704 (2001)
6		Fiona Polack: A case study using lightweight formalism to review an information system specification. Softw., Pract. Exper. 31(8): 757-780 (2001)
1999
5	EE	Fiona Polack, Susan Stepney: Systems Development Using Z Generics. World Congress on Formal Methods 1999: 1048-1067
1994
4		Fiona Polack, Keith Mander: Software Quality Assurance Using the SAZ Method. Z User Workshop 1994: 230-249
1993
3		Fiona Polack, Mark Whiston, Keith Mander: The SAZ Project: Integrating SSADM and Z.. FME 1993: 541-557
1991
2		Fiona Polack, Mark Whiston, Peter Hitchcock: Structured Analysis - A Draft Method for Writing Z Specifications. Z User Workshop 1991: 287-328
1990
1		Fiona Polack, Peter Hitchcock, Alan W. Brown: SAZ. Z User Workshop 1990: 384-384

Coauthor Index

1	Nuno Amálio	[11] [16] [20] [29] [32]
2	Fred R. M. Barnes	[22] [28]
3	Phillip J. Brooke	[26] [31] [33]
4	Alan W. Brown	[1]
5	Howard Chivers	[26]
6	John A. Clark	[14] [15] [24] [31]
7	Xiaocheng Ge	[17] [26] [33]
8	Peter Hitchcock	[1] [2]
9	Tim Kelly (Tim P. Kelly)	[24]
10	Dimitrios S. Kolovos	[19] [21] [23] [25] [30] [36] [37]
11	Régine Laleau (Regine Laleau)	[7] [8] [10] [17] [35]
12	Keith Mander	[3] [4]
13	Richard F. Paige	[19] [21] [23] [25] [26] [30] [31] [33] [36] [37]
14	Louis M. Rose	[37]
15	Thitima Srivatanakul	[14] [15] [24]
16	Susan Stepney	[5] [9] [12] [13] [14] [16] [18] [20] [22] [27] [29] [32] [34]
17	Ian Toyn	[9] [12] [13]
18	Heather R. Turner	[22] [27]
19	Andrew Weeks	[34]
20	Peter H. Welch	[22] [28]
21	Mark Whiston	[2] [3]