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
 
                             11 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Application of formal verification and behaviour abstraction to the service interaction problem in intelligent networks Nitsche, Ulrich
 1998
 40 3 p. 227-248
22 p.
 artikel
2 Biographies 1998
 40 3 p. 297-299
3 p.
 artikel
3 Formal methods and requirements engineering: Challenges and synergies Jones, Sara
 1998
 40 3 p. 263-273
11 p.
 artikel
4 Formal methods and traditional engineering Jackson, Michael
 1998
 40 3 p. 191-194
4 p.
 artikel
5 Formal methods for verification and validation of partial specifications: A case study Easterbrook, Steve
 1998
 40 3 p. 199-210
12 p.
 artikel
6 “Formal methods” technology transfer will fail Parnas, David Lorge
 1998
 40 3 p. 195-198
4 p.
 artikel
7 Guest editor's corner research directions in formal methods technology transfer Saiedian, Hossein
 1998
 40 3 p. 187-189
3 p.
 artikel
8 Industrial integration of graphical and formal specifications Armstrong, Jim
 1998
 40 3 p. 211-225
15 p.
 artikel
9 Specification-based testing of reactive software: A case study in technology transfer Jagadeesan, Lalita Jategaonkar
 1998
 40 3 p. 249-262
14 p.
 artikel
10 Specifications are necessarily informal or: Some more myths of formal methods Le Charlier, Baudouin
 1998
 40 3 p. 275-296
22 p.
 artikel
11 Volume contents 1998
 40 3 p. 300-302
3 p.
 artikel
                             11 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland