Works matching IS 17366046 AND DT 2013 AND VI 62 AND IP 1

Results: 8
    1

    Adjusting effort estimation using micro-productivity profiles.

    Published in:
    Proceedings of the Estonian Academy of Sciences, 2013, v. 62, n. 1, p. 71, doi. 10.3176/proc.2013.1.08
    By:
    • Tóth, Gabriella;
    • Végh, Ádám Zoltán;
    • Beszédes, Árpad;
    • Schrettner, Lajos;
    • Gergely, Támas;
    • Gyimóthy, Tibor
    Publication type:
    Article
    2

    Bounded saturation-based CTL model checking.

    Published in:
    Proceedings of the Estonian Academy of Sciences, 2013, v. 62, n. 1, p. 59, doi. 10.3176/proc.2013.1.07
    By:
    • Vörös, András;
    • Darvas, Dániel;
    • Bartha, Tamás
    Publication type:
    Article
    3
    4
    5

    DPF Workbench: a multi-level language workbench for MDE.

    Published in:
    Proceedings of the Estonian Academy of Sciences, 2013, v. 62, n. 1, p. 3, doi. 10.3176/proc.2013.1.02
    By:
    • Lamoa, Yngve;
    • Xiaoliang Wang;
    • Mantz, Florian;
    • Bech, Øyvind;
    • Sandven, Anders;
    • Rutle, Adrian
    Publication type:
    Article
    6
    7
    8

    Preface.

    Published in:
    Proceedings of the Estonian Academy of Sciences, 2013, v. 62, n. 1, p. 1, doi. 10.3176/proc.2013.1.01
    By:
    • Penjam, Jaan
    Publication type:
    Article