Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An executable object-oriented semantics and its application to firewall verification Yatake, Kenro
2010
10 4 p. 515-536
artikel
2 Model-based qualitative risk assessment for availability of IT infrastructures Zambon, Emmanuele
2010
10 4 p. 553-580
artikel
3 Model-driven generative development of measurement software Monperrus, Martin
2010
10 4 p. 537-552
artikel
4 On tracing reactive systems Maoz, Shahar
2010
10 4 p. 447-468
artikel
5 Rigorous identification and encoding of trace-links in model-driven engineering Paige, Richard F.
2010
10 4 p. 469-487
artikel
6 The many meanings of UML 2 Sequence Diagrams: a survey Micskei, Zoltán
2010
10 4 p. 489-514
artikel
7 UML formal semantics: lessons learned Broy, Manfred
2011
10 4 p. 441-446
artikel
8 Variability in UML language and semantics Rumpe, Bernhard
2011
10 4 p. 439-440
artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland