Polack, Fiona - Department of Computer Science, University of York

Advanced Search

Polack, Fiona - Department of Computer Science, University of York

Seamless Navigation of Heterogeneous EMF models in Epsilon
2 SAZ: SSADM version 4 and Z Fiona Polack : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1
Metamodels for Static Conceptual Modelling of Information Systems Rgine Laleau
SAZ Invoicing Case Study : Questions Raised in Development Dr Fiona Polack
Modular UML Semantics: Interpretations in Z Based on Templates and
A Z Patterns Catalogue : I specification and refactorings, v0.1
Secure Databases: an Analysis of Clark-Wilson Model in a Database Environment
Investigating Emergence by Coarse Graining Elementary Cellular Automata Andrew Weeks1
Coming and going from UML to B : a proposal to support traceability in rigorous IS
A Case Study using Lightweight Formalism to Review an Information System Speci cation
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems
Arguing the Validity of Models and Simulations for Scientific Exploration
A Framework for Composing Modular and Interoperable Model Management Tasks
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z
University of York Department of Computer Science
Patterns to Guide Practical Refactoring: examples targetting promotion in Z
Model Migration with Epsilon Flock Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, and Fiona A.C. Polack
An Outline Pattern Language for Z: five illustrations and two tables
Profile Adaptation in Adaptive Information Filtering: An Immune Inspired Approach
The CoSMoS Process, Version 0.1: A Process for the Modelling and Simulation of
Secure Database Development and the Clark-Wilson Security Model
Speci cation of Integrity-Preserving Operations in Information Systems by Using a Formal UML-based
Challenging Formal Specifications by Mutation: a CSP security example
Noname manuscript No. (will be inserted by the editor)
Exploring the informal translation of OMT object models in Fiona Polack
Self-organisation for survival in complex computer architectures
Emerging Patterns for Testing Model Management Tools