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 × Austria
1 × Belgium
1 × Finland
1 × France
2 × Canada
2 × Spain
Collaborated with:
E.Burton R.Zurob L.Mikhajlov A.Mikhajlova F.Erasmy L.Laibinis
Talks about:
refin (3) statechart (2) translat (2) studi (2) mixin (2) class (2) use (2) structur (1) interfac (1) composit (1)

Person: Emil Sekerinski

DBLP DBLP: Sekerinski:Emil

Facilitated 2 volumes:

IFM 2014Ed
FM 2006Ed

Contributed to:

SAC 20152015
CBSE 20132013
IFM 20022002
UML 20012001
World Congress on Formal Methods 19991999
ECOOP 19981998
FME 19971997
FME 19941994

Wrote 8 papers:

SAC-2015-BurtonS #composition #mixin #safety
The safety of dynamic mixin composition (EB, ES), pp. 1992–1999.
CBSE-2013-BurtonS #correctness #data type #mixin #using
Correctness of intrusive data structures using mixins (EB, ES), pp. 53–58.
IFM-2002-SekerinskiZ
Translating Statecharts to B (ES, RZ), pp. 128–144.
UML-2001-SekerinskiZ #named #statechart
iState: A Statechart Translator (ES, RZ), pp. 376–390.
FM-v2-1999-MikhajlovSL #component
Developing Components in the Presence of Re-entrance (LM, ES, LL), pp. 1301–1320.
ECOOP-1998-MikhajlovS #case study #problem
A Study of The Fragile Base Class Problem (LM, ES), pp. 355–382.
FME-1997-MikhajlovaS #interface #object-oriented #refinement #source code
Class Refinement and Interface Refinement in Object-Oriented Programs (AM, ES), pp. 82–101.
FME-1994-ErasmyS #case study #refinement #using
Stepwise Refinement of Control Software — A Case Study Using RAISE (FE, ES), pp. 547–566.

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.