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 × USA
2 × France
Collaborated with:
∅ E.Sekerinski R.Back J.v.Wright
Talks about:
program (2) refin (2) framework (1) interfac (1) interact (1) explicit (1) abstract (1) specifi (1) presenc (1) consist (1)

Person: Anna Mikhajlova

DBLP DBLP: Mikhajlova:Anna

Contributed to:

World Congress on Formal Methods 19991999
TOOLS Europe 19991999
TOOLS USA 19991999
FME 19971997

Wrote 4 papers:

FM-v2-1999-BackMW #interactive #reasoning
Reasoning About Interactive Systems (RJB, AM, JvW), pp. 1460–1476.
TOOLS-EUROPE-1999-Mikhajlova99a #component #consistency #invariant
Consistent Extension of Components in the Presence of Explicit Invariants (AM), pp. 76–85.
TOOLS-USA-1999-Mikhajlova #framework #java #source code #specification #using
Specifying Java Frameworks Using Abstract Programs (AM), p. 136–?.
FME-1997-MikhajlovaS #interface #object-oriented #refinement #source code
Class Refinement and Interface Refinement in Object-Oriented Programs (AM, ES), pp. 82–101.
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.