Works matching IS 14332779 AND DT 2012 AND VI 14 AND IP 5


Results: 8
    1
    2
    3
    4

    Model checking software product lines with SNIP.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 5, p. 589, doi. 10.1007/s10009-012-0234-1
    By:
    • Classen, Andreas;
    • Cordy, Maxime;
    • Heymans, Patrick;
    • Legay, Axel;
    • Schobbens, Pierre-Yves
    Publication type:
    Article
    5

    A code tagging approach to software product line development.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 5, p. 553, doi. 10.1007/s10009-012-0242-1
    By:
    • Heymans, Patrick;
    • Boucher, Quentin;
    • Classen, Andreas;
    • Bourdoux, Arnaud;
    • Demonceau, Laurent
    Publication type:
    Article
    6
    7

    A constraint-based variability modeling framework.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 5, p. 511, doi. 10.1007/s10009-012-0254-x
    By:
    • Jörges, Sven;
    • Lamprecht, Anna-Lena;
    • Margaria, Tiziana;
    • Schaefer, Ina;
    • Steffen, Bernhard
    Publication type:
    Article
    8

    Software diversity: state of the art and perspectives.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 5, p. 477, doi. 10.1007/s10009-012-0253-y
    By:
    • Schaefer, Ina;
    • Rabiser, Rick;
    • Clarke, Dave;
    • Bettini, Lorenzo;
    • Benavides, David;
    • Botterweck, Goetz;
    • Pathak, Animesh;
    • Trujillo, Salvador;
    • Villela, Karina
    Publication type:
    Article