Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A declarative enhancement of JavaScript programs by leveraging the Java metadata infrastructure Wang, Yuchen
 2019
 181 C p. 27-46
 artikel
2 A lightweight deadlock analysis for programs with threads and reentrant locks Laneve, Cosimo
 2019
 181 C p. 64-81
 artikel
3 An evolutionary approach to translating operational specifications into declarative specifications Molina, Facundo
 2019
 181 C p. 47-63
 artikel
4 CPN simulation-based test case generation from controlled natural-language requirements Silva, Bruno Cesar F.
 2019
 181 C p. 111-139
 artikel
5 Editorial Board 2019
 181 C p. ii
 artikel
6 Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015) Cornélio, M.L.
 2019
 181 C p. 82-83
 artikel
7 SCJ-Circus : Specification and refinement of Safety-Critical Java programs Miyazawa, Alvaro
 2019
 181 C p. 140-176
 artikel
8 Test case generation, selection and coverage from natural language Nogueira, Sidney
 2019
 181 C p. 84-110
 artikel
9 Translating active objects into colored Petri nets for communication analysis Gkolfi, Anastasia
 2019
 181 C p. 1-26
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland