Journals in DBLP

Softw., Pract. Exper.
1998, volume: 28, number: 13

1. Mehmet Bülent Özcan
   Use of Executable Formal Specifications in User Validation. [Citation Graph (0, 0)][DBLP]
   Softw., Pract. Exper., 1998, v:28, n:13, pp:1359-1385 [Journal]
   
2. Pathirage Gamini Wijayarathna, Y. Kawata, A. Santosa, K. Isogai, Mamoru Maekawa
   GSL: A Requirements Specification Language for End-User Intelligibility. [Citation Graph (0, 0)][DBLP]
   Softw., Pract. Exper., 1998, v:28, n:13, pp:1387-1414 [Journal]
   
3. Tommaso Bolognesi, Franco Accordino
   A Layer on Top of Prolog for Composing Behavioural Constraints. [Citation Graph (0, 0)][DBLP]
   Softw., Pract. Exper., 1998, v:28, n:13, pp:1415-1435 [Journal]
   
4. Agostino Poggi, Giovanni Rimassa
   An Efficient and Flexible C++ Library for Concurrent Programming. [Citation Graph (0, 0)][DBLP]
   Softw., Pract. Exper., 1998, v:28, n:13, pp:1437-1463 [Journal]