Fiona Polack

2008
44	EE	Peter H. Welch, Susan Stepney, Fiona Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson: The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008 IOS Press 2008
43	EE	Nuno Amálio, Fiona Polack, Jing Zhang: Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. ABZ 2008: 323-336
42	EE	Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: The Epsilon Generation Language. ECMDA-FA 2008: 1-16
41	EE	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Transformation Language. ICMT 2008: 46-60
40	EE	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST 2008: 356-364
39	EE	Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: Constructing Models with the Human-Usable Textual Notation. MoDELS 2008: 249-263
38	EE	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Grand Challenge of Scalability for Model Driven Engineering. MoDELS Workshops 2008: 48-53
37	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
36	EE	Andrew Weeks, Susan Stepney, Fiona Polack: Neutral Emergence and Coarse Graining. ECAL 2007: 1131-1140
35	EE	Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Extreme Programming Security Practices. XP 2007: 226-230
34	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)
33	EE	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack, Louis M. Rose: Update Transformations in the Small with the Epsilon Wizard Language. Journal of Object Technology 6(9): 53-69 (2007)
2006
32		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
31	EE	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Object Language (EOL). ECMDA-FA 2006: 128-142
30	EE	Nuno Amálio, Susan Stepney, Fiona Polack: A Formal Template Language Enabling Metaproof. FM 2006: 252-267
29	EE	Peter H. Welch, Fred R. M. Barnes, Fiona Polack: Communicating Complex Systems. ICECCS 2006: 107-120
28	EE	Susan Stepney, Fiona Polack, Heather R. Turner: Engineering Emergence. ICECCS 2006: 89-97
27	EE	Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke: Agile development of secure web applications. ICWE 2006: 305-312
26	EE	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Merging Models with the Epsilon Merging Language (EML). MoDELS 2006: 215-229
25	EE	Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark: Deviational Analyses for Validating Regulations on Real Systems. ReMo2V 2006
24	EE	Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: An action semantics for MOF 2.0. SAC 2006: 1304-1305
23	EE	Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. ECEASST 5: (2006)
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] [30] [34] [43]
2	Fred R. M. Barnes	[22] [29] [44]
3	Jan F. Broenink	[44]
4	Phillip J. Brooke	[27] [32] [35]
5	Alan W. Brown	[1]
6	Howard Chivers	[27]
7	John A. Clark (John Andrew Clark)	[14] [15] [25] [32]
8	Xiaocheng Ge	[17] [27] [35]
9	Peter Hitchcock	[1] [2]
10	Tim Kelly (Tim P. Kelly)	[25]
11	Dimitrios S. Kolovos	[19] [21] [23] [24] [26] [31] [33] [38] [39] [40] [41] [42]
12	Régine Laleau (Regine Laleau)	[7] [8] [10] [17] [37]
13	Keith Mander	[3] [4]
14	Alistair A. McEwan	[44]
15	Richard F. Paige	[19] [21] [23] [24] [26] [27] [31] [32] [33] [35] [38] [39] [40] [41] [42]
16	Louis M. Rose	[33] [39] [42]
17	Adam T. Sampson	[44]
18	Thitima Srivatanakul	[14] [15] [25]
19	Susan Stepney	[5] [9] [12] [13] [14] [16] [18] [20] [22] [28] [30] [34] [36] [44]
20	Gardiner S. Stiles	[44]
21	Ian Toyn	[9] [12] [13]
22	Heather R. Turner	[22] [28]
23	Andrew Weeks	[36]
24	Peter H. Welch	[22] [29] [44]
25	Mark Whiston	[2] [3]
26	Jing Zhang	[43]