Visas 1 - 2 av 2 resultat för sökning '"Model validation and analysis."', Sökningstid: 0,02s Förfina resultatet
  1. 1

    CHARMY an extensible tool for architectural analysis. av Inverardi, Paola

    I publikationen Software engineering notes.
    Artikel

    CHARMY an extensible tool for architectural analysis.
  2. 2

    Detecting implied scenarios in message sequence chart specifications. av Uchitel, Sebastian

    I publikationen Software engineering notes.
    Artikel

    Detecting implied scenarios in message sequence chart specifications.

Sökverktyg: