The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fiona Polack: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  32. Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. [Citation Graph (, )][DBLP]


  33. Deviational Analyses for Validating Regulations on Real Systems. [Citation Graph (, )][DBLP]


  34. The Epsilon Generation Language. [Citation Graph (, )][DBLP]


  35. The Grand Challenge of Scalability for Model Driven Engineering. [Citation Graph (, )][DBLP]


  36. Constructing Models with the Human-Usable Textual Notation. [Citation Graph (, )][DBLP]


  37. Detecting and Repairing Inconsistencies across Heterogeneous Models. [Citation Graph (, )][DBLP]


  38. The Epsilon Transformation Language. [Citation Graph (, )][DBLP]


  39. Frameworks Based on Templates for Rigorous Model-driven Development. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002