Works matching IS 14332779 AND DT 2021 AND VI 23 AND IP 5

Results: 12
    1
    2

    Towards language-to-language transformation.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 655, doi. 10.1007/s10009-021-00630-2
    By:
    • Kopetzki, Dawid;
    • Lybecait, Michael;
    • Naujokat, Stefan;
    • Steffen, Bernhard
    Publication type:
    Article
    3

    On methods and tools for rigorous system design.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 679, doi. 10.1007/s10009-021-00632-0
    By:
    • Bliudze, Simon;
    • Katsaros, Panagiotis;
    • Bensalem, Saddek;
    • Wirsing, Martin
    Publication type:
    Article
    4

    CPSDebug: Automatic failure explanation in CPS models.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 783, doi. 10.1007/s10009-020-00599-4
    By:
    • Bartocci, Ezio;
    • Manjunath, Niveditha;
    • Mariani, Leonardo;
    • Mateis, Cristinel;
    • Ničković, Dejan
    Publication type:
    Article
    5
    6

    Correct program parallelisations.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 741, doi. 10.1007/s10009-020-00601-z
    By:
    • Blom, S.;
    • Darabi, S.;
    • Huisman, M.;
    • Safari, M.
    Publication type:
    Article
    7
    8
    9
    10
    11

    Programming dynamic reconfigurable systems.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 701, doi. 10.1007/s10009-020-00596-7
    By:
    • El Ballouli, Rim;
    • Bensalem, Saddek;
    • Bozga, Marius;
    • Sifakis, Joseph
    Publication type:
    Article
    12