BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Korea
Collaborated with:
E.Korshunova M.v.d.Brand M.R.Mousavi I.Raedts A.Serebrenik J.M.E.M.v.d.Werf L.J.Somers M.Boote
Talks about:
framework (1) softwar (1) sequenc (1) diagram (1) revers (1) verif (1) sourc (1) engin (1) class (1) autom (1)

Person: Marija Petkovic

DBLP DBLP: Petkovic:Marija

Contributed to:

SAC 20072007
WCRE 20062006

Wrote 2 papers:

SAC-2007-RaedtsPSWSB #automation #framework #verification
A software framework for automated verification (IR, MP, AS, JMEMvdW, LJS, MB), pp. 1031–1032.
WCRE-2006-KorshunovaPBM #c++ #diagrams #named #process #reverse engineering #sequence #source code #uml #xmi
CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code (EK, MP, MvdB, MRM), pp. 297–298.

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.