Journals in DBLP

Int. J. Hum.-Comput. Stud.
1996, volume: 44, number: 2

1. Robert Plant, Alun D. Preece
   Editorial: special issue on verification and validation. [Citation Graph (0, 0)][DBLP]
   Int. J. Hum.-Comput. Stud., 1996, v:44, n:2, pp:123-125 [Journal]
   
2. Stephen Murrell, Robert Plant
   On the validation and verification of production systems: a graph reduction approach. [Citation Graph (0, 0)][DBLP]
   Int. J. Hum.-Comput. Stud., 1996, v:44, n:2, pp:127-144 [Journal]
   
3. Alun D. Preece, Clifford Grossner, Thiruvengadam Radhakrishnan
   Validating dynamic properties of rule-based systems. [Citation Graph (0, 0)][DBLP]
   Int. J. Hum.-Comput. Stud., 1996, v:44, n:2, pp:145-169 [Journal]
   
4. Daniel E. O'Leary
   The relationship between errors and size in knowledge-based systems. [Citation Graph (0, 0)][DBLP]
   Int. J. Hum.-Comput. Stud., 1996, v:44, n:2, pp:171-185 [Journal]
   
5. Frank van Harmelen, Manfred Aben
   Structure-preserving specification languages for knowledge-based systems. [Citation Graph (0, 0)][DBLP]
   Int. J. Hum.-Comput. Stud., 1996, v:44, n:2, pp:187-212 [Journal]
   
6. Rose F. Gamble, D. M. Baughman
   A methodology to incorporateformal methods in hybrid KBS verification. [Citation Graph (0, 0)][DBLP]
   Int. J. Hum.-Comput. Stud., 1996, v:44, n:2, pp:213-244 [Journal]
   
7. Susan Craw
   Refinement complements verification and validation. [Citation Graph (0, 0)][DBLP]
   Int. J. Hum.-Comput. Stud., 1996, v:44, n:2, pp:245-256 [Journal]
   
8. Byeong Ho Kang, Windy Gambetta, Paul Compton
   Verification and validation with ripple-down rules. [Citation Graph (0, 0)][DBLP]
   Int. J. Hum.-Comput. Stud., 1996, v:44, n:2, pp:257-269 [Journal]