BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Germany
1 × Italy
1 × Latvia
1 × Norway
1 × Spain
2 × Switzerland
4 × France
Collaborated with:
D.S.Kolovos R.F.Paige S.Stepney R.Laleau L.M.Rose N.Amálio X.Ge M.Whiston K.Mander A.Yohannis H.H.Rodriguez
Talks about:
languag (6) model (6) epsilon (5) transform (2) databas (2) system (2) merg (2) metaproof (1) metamodel (1) inconsist (1)

♀ Person: Fiona Polack

DBLP DBLP: Polack:Fiona

Facilitated 2 volumes:

SLE 2014PrCo
SLE 2013PrCo

Contributed to:

ECMDA-FA 20082008
ICMT 20082008
ICST 20082008
MoDELS 20082008
TOOLS Europe 20072007
ECMDA-FA 20062006
FM 20062006
MoDELS 20062006
SAC 20062006
CAiSE 20042004
CAiSE 20012001
World Congress on Formal Methods 19991999
FME 19931993
ECMFA 20182018

Wrote 14 papers:

ECMDA-FA-2008-RosePKP #generative
The Epsilon Generation Language (LMR, RFP, DSK, FP), pp. 1–16.
ICMT-2008-KolovosPP #model transformation #transformation language
The Epsilon Transformation Language (DSK, RFP, FP), pp. 46–60.
ICST-2008-KolovosPP #consistency #detection #modelling #nondeterminism
Detecting and Repairing Inconsistencies across Heterogeneous Models (DSK, RFP, FP), pp. 356–364.
MoDELS-2008-RosePKP #modelling
Constructing Models with the Human-Usable Textual Notation (LMR, RFP, DSK, FP), pp. 249–263.
TOOLS-EUROPE-2007-KolovosPPR #in the small
Update Transformations in the Small with the Epsilon Wizard Language (DSK, RFP, FP, LMR), pp. 53–69.
ECMDA-FA-2006-KolovosPP
The Epsilon Object Language (EOL) (DSK, RFP, FP), pp. 128–142.
FM-2006-AmalioSP
A Formal Template Language Enabling Metaproof (NA, SS, FP), pp. 252–267.
MoDELS-2006-KolovosPP #modelling
Merging Models with the Epsilon Merging Language (EML) (DSK, RFP, FP), pp. 215–229.
SAC-2006-PaigeKP #action semantics #semantics
An action semantics for MOF 2.0 (RFP, DSK, FP), pp. 1304–1305.
CAiSE-2004-GePL #analysis #database
Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment (XG, FP, RL), pp. 234–247.
CAiSE-2001-LaleauP #concept #information management #metamodelling #modelling #uml
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems (RL, FP), pp. 402–416.
FM-v2-1999-PolackS #development #using
Systems Development Using Z Generics (FP, SS), pp. 1048–1067.
FME-1993-PolackWM
The SAZ Project: Integrating SSADM and Z. (FP, MW, KM), pp. 541–557.
ECMFA-2018-YohannisRPK #modelling #performance #towards
Towards Efficient Loading of Change-Based Models (AY, HHR, FP, DSK), pp. 235–250.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.