Fiona A. C. Polack
List of publications from the DBLP Bibliography Server - FAQ
![]() | 2010 | |
---|---|---|
47 | ![]() ![]() ![]() ![]() ![]() ![]() | James R. Williams, Fiona A. C. Polack, Richard F. Paige: Formal Analysis in Model Management: Exploiting the Power of CZT. ASM 2010: 414 |
2009 | ||
46 | ![]() ![]() ![]() ![]() ![]() ![]() | Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: Enhanced Automation for Managing Model and Metamodel Inconsistency. ASE 2009: 545-549 |
45 | ![]() ![]() ![]() ![]() ![]() ![]() | Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nicholaos Drivalos, Fiona A. C. Polack: The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. ICECCS 2009: 162-171 |
2008 | ||
44 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: The Epsilon Generation Language. ECMDA-FA 2008: 1-16 |
41 | ![]() ![]() ![]() ![]() ![]() ![]() | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Transformation Language. ICMT 2008: 46-60 |
40 | ![]() ![]() ![]() ![]() ![]() ![]() | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST 2008: 356-364 |
39 | ![]() ![]() ![]() ![]() ![]() ![]() | Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: Constructing Models with the Human-Usable Textual Notation. MoDELS 2008: 249-263 |
38 | ![]() ![]() ![]() ![]() ![]() ![]() | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Grand Challenge of Scalability for Model Driven Engineering. MoDELS Workshops 2008: 48-53 |
37 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Andrew Weeks, Susan Stepney, Fiona Polack: Neutral Emergence and Coarse Graining. ECAL 2007: 1131-1140 |
35 | ![]() ![]() ![]() ![]() ![]() ![]() | Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Extreme Programming Security Practices. XP 2007: 226-230 |
34 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Object Language (EOL). ECMDA-FA 2006: 128-142 |
30 | ![]() ![]() ![]() ![]() ![]() ![]() | Nuno Amálio, Susan Stepney, Fiona Polack: A Formal Template Language Enabling Metaproof. FM 2006: 252-267 |
29 | ![]() ![]() ![]() ![]() ![]() ![]() | Peter H. Welch, Fred R. M. Barnes, Fiona Polack: Communicating Complex Systems. ICECCS 2006: 107-120 |
28 | ![]() ![]() ![]() ![]() ![]() ![]() | Susan Stepney, Fiona Polack, Heather R. Turner: Engineering Emergence. ICECCS 2006: 89-97 |
27 | ![]() ![]() ![]() ![]() ![]() ![]() | Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke: Agile development of secure web applications. ICWE 2006: 305-312 |
26 | ![]() ![]() ![]() ![]() ![]() ![]() | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Merging Models with the Epsilon Merging Language (EML). MoDELS 2006: 215-229 |
25 | ![]() ![]() ![]() ![]() ![]() ![]() | Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark: Deviational Analyses for Validating Regulations on Real Systems. ReMo2V 2006 |
24 | ![]() ![]() ![]() ![]() ![]() ![]() | Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: An action semantics for MOF 2.0. SAC 2006: 1304-1305 |
23 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: An Agile and Extensible Code Generation Framework. XP 2005: 226-229 |
20 | ![]() ![]() ![]() ![]() ![]() ![]() | Nuno Amálio, Fiona Polack, Susan Stepney: An Object-Oriented Structuring for Z Based on Views. ZB 2005: 262-278 |
19 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Fiona Polack, Susan Stepney: Emergent Properties Do Not Refine. Electr. Notes Theor. Comput. Sci. 137(2): 163-181 (2005) |
2004 | ||
17 | ![]() ![]() ![]() ![]() ![]() ![]() | Xiaocheng Ge, Fiona Polack, Régine Laleau: Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. CAiSE 2004: 234-247 |
16 | ![]() ![]() ![]() ![]() ![]() ![]() | Nuno Amálio, Susan Stepney, Fiona Polack: Formal Proof from UML Models. ICFEM 2004: 418-433 |
15 | ![]() ![]() ![]() ![]() ![]() ![]() | Thitima Srivatanakul, John A. Clark, Fiona Polack: Effective Security Requirements Analysis: HAZOP and Use Cases. ISC 2004: 416-427 |
2003 | ||
14 | ![]() ![]() ![]() ![]() ![]() ![]() | Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack: Challenging Formal Specifications by Mutation: a CSP security example. APSEC 2003: 340- |
13 | ![]() ![]() ![]() ![]() ![]() ![]() | Susan Stepney, Fiona Polack, Ian Toyn: An Outline Pattern Language for Z: Five Illustrations and Two Tables. ZB 2003: 2-19 |
12 | ![]() ![]() ![]() ![]() ![]() ![]() | Susan Stepney, Fiona Polack, Ian Toyn: Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. ZB 2003: 20-39 |
11 | ![]() ![]() ![]() ![]() ![]() ![]() | Nuno Amálio, Fiona Polack: Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. ZB 2003: 339-358 |
2002 | ||
10 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Susan Stepney, Fiona Polack, Ian Toyn: Refactoring in maintenance and development of Z specifications. Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
2001 | ||
8 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |