Personal information

Activities

Employment (1)

Kharkiv'skii natsional'nii universitet imeni V N Karazina: Kharkiv, UA

1978-09-01 to present | Lecturer (Department of Theoretical and Applied Information Science)
Employment
Source: Self-asserted source
Iryna Zaretska

Education and qualifications (1)

Kharkiv'skii natsional'nii universitet imeni V N Karazina: Kharkiv, UA

1973-09-01 to 1978-06-30 | Ph. D. in math (Department of Theoretical and Applied Information Science)
Education
Source: Self-asserted source
Iryna Zaretska

Works (6)

Clocks model for specification and analysis of timing in real-time embedded systems

CEUR Workshop Proceedings
2013 | Conference paper
EID:

2-s2.0-84923637808

Contributors: Zaretska, I.; Zholtkevych, G.; Zholtkevych, G.; Mallet, F.
Source: Self-asserted source
Iryna Zaretska via Scopus - Elsevier

Cross-diagram UML design verification

Communications in Computer and Information Science
2013 | Book
EID:

2-s2.0-84872419563

Contributors: Zaretska, I.; Kulankhina, O.; Mykhailenko, H.
Source: Self-asserted source
Iryna Zaretska via Scopus - Elsevier

Two Semantic Models for Clock Relations in the Clock Constraint Specification Language

Communications in Computer and Information Science
2013 | Book
EID:

2-s2.0-84904745150

Contributors: Zholtkevych, G.; Mallet, F.; Zaretska, I.; Zholtkevych, G.
Source: Self-asserted source
Iryna Zaretska via Scopus - Elsevier

Checking inconsistencies in UML design

CEUR Workshop Proceedings
2012 | Conference paper
EID:

2-s2.0-84892606479

Contributors: Zaretska, I.; Kulankhina, O.; Mykhailenko, H.; Kovalenko, R.
Source: Self-asserted source
Iryna Zaretska via Scopus - Elsevier

Maintainability metrics of UML design

CEUR Workshop Proceedings
2012 | Conference paper
EID:

2-s2.0-84892580349

Contributors: Zaretska, I.; Besedina, M.
Source: Self-asserted source
Iryna Zaretska via Scopus - Elsevier

Practice in software engineering course: What and how to study

CEUR Workshop Proceedings
2011 | Conference paper
EID:

2-s2.0-84890400006

Contributors: Solyanik, Y.; Vladymyrova, M.; Zarets'ka, I.; Zholtkevych, G.
Source: Self-asserted source
Iryna Zaretska via Scopus - Elsevier