Works matching IS 14332779 AND DT 2020 AND VI 22 AND IP 4

Results: 9

Comparing mutation coverage against branch coverage in an industrial setting.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 4, p. 365, doi. 10.1007/s10009-020-00567-y

By:

Parsai, Ali;
Demeyer, Serge

Publication type:

Article

Rigorous engineering of collective adaptive systems: special section.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 4, p. 389, doi. 10.1007/s10009-020-00565-0

By:

De Nicola, Rocco;
Jähnichen, Stefan;
Wirsing, Martin

Publication type:

Article

The scenario coevolution paradigm: adaptive quality assurance for adaptive systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 4, p. 457, doi. 10.1007/s10009-020-00560-5

By:

Gabor, Thomas;
Sedlmeier, Andreas;
Phan, Thomy;
Ritz, Fabian;
Kiermeier, Marie;
Belzner, Lenz;
Kempter, Bernhard;
Klein, Cornel;
Sauer, Horst;
Schmid, Reiner;
Wieghardt, Jan;
Zeller, Marc;
Linnhoff-Popien, Claudia

Publication type:

Article

A language and framework for dynamic component ensembles in smart systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 4, p. 497, doi. 10.1007/s10009-020-00558-z

By:

Bures, Tomas;
Gerostathopoulos, Ilias;
Hnetynka, Petr;
Plasil, Frantisek;
Krijt, Filip;
Vinarek, Jiri;
Kofron, Jan

Publication type:

Article

Learning-based coordination model for spontaneous self-composition of reliable services in a distributed system.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 4, p. 417, doi. 10.1007/s10009-020-00557-0

By:

Ben Mahfoudh, Houssem;
Di Marzo Serugendo, Giovanna;
Naja, Nabil;
Abdennadher, Nabil

Publication type:

Article

Toward autonomically composable and context-dependent access control specification through ensembles.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 4, p. 511, doi. 10.1007/s10009-020-00556-1

By:

Al Ali, Rima;
Bures, Tomas;
Hnetynka, Petr;
Matejek, Jan;
Plasil, Frantisek;
Vinarek, Jiri

Publication type:

Article

The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 4, p. 437, doi. 10.1007/s10009-020-00555-2

By:

De Nicola, Rocco;
Maggi, Alessandro;
Sifakis, Joseph

Publication type:

Article

The SOTA approach to engineering collective adaptive systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 4, p. 399, doi. 10.1007/s10009-020-00554-3

By:

Abeywickrama, Dhaminda B.;
Bicocchi, Nicola;
Mamei, Marco;
Zambonelli, Franco

Publication type:

Article

A distributed API for coordinating AbC programs.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 4, p. 477, doi. 10.1007/s10009-020-00553-4

By:

Abd Alrahman, Yehia;
Garbi, Giulio

Publication type:

Article