ESTONIAN ACADEMY
PUBLISHERS
eesti teaduste
akadeemia kirjastus
PUBLISHED
SINCE 1952
 
Proceeding cover
proceedings
of the estonian academy of sciences
ISSN 1736-7530 (Electronic)
ISSN 1736-6046 (Print)
Impact Factor (2020): 1.045

Vol 62, Issue 1, 2013

Preface; pp. 1–2
Jaan Penjam
Full article in PDF format | Abstract, References in HTM format

DPF Workbench: a multi-level language workbench for MDE; pp. 3–15
Yngve Lamo, Xiaoliang Wang, Florian Mantz, Øyvind Bech, Anders Sandven, Adrian Rutle
Full article in PDF format | Abstract, References in HTM format

Interleaving human and search-based software architecture design; pp. 16–26
Sriharsha Vathsavayi, Hadaytullah, Kai Koskimies
Full article in PDF format | Abstract, References in HTM format

Implementing artificial intelligence: a generic approach with software support; pp. 27–38
Teemu J. Heinimäki, Juha-Matti Vanhatupa
Full article in PDF format | Abstract, References in HTM format

An approach to the inference of finite state machines based on a gravitationally-inspired search algorithm; pp. 39–46
Margarita Spichakova
Full article in PDF format | Abstract, References in HTM format

Does the Shannon bound really apply to all data structures?; pp. 47–58
Antti Valmari
Full article in PDF format | Abstract, References in HTM format

Bounded saturation-based CTL model checking; pp. 59–70
András Vörös, Dániel Darvas, Tamás Bartha
Full article in PDF format | Abstract, References in HTM format

Adjusting effort estimation using micro-productivity profiles; pp. 71–80
Gabriella Tóth, Ádám Zoltán Végh, Árpád Beszédes, Lajos Schrettner, Tamás Gergely, Tibor Gyimóthy
Full article in PDF format | Abstract, References in HTM format