Period of time： 2004年2期
Publisher： Academic Press
Founded in： 1969
Total resources： 77
ISSN： 1071-5819
Subject： O Mathematical Sciences and Chemical
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
International Journal of Human-Computer Studies,volume 44,issue 2
Menu
Editorial: special issue on verification and validation
By Plant R.,Preece A.D. in (1996)
International Journal of Human-Computer Studies,volume 44,issue 2 , Vol. 44, Iss. 2, 1996-02 , pp.
Access to resources
Recommend
On the validation and verification of production systems: a graph reduction approach
By Murrell S.,Plant R. in (1996)
International Journal of Human-Computer Studies,volume 44,issue 2 , Vol. 44, Iss. 2, 1996-02 , pp.Validating dynamic properties of rule-based systems
By Preece A.D.,Grossner C.,Radhakrishnan T. in (1996)
International Journal of Human-Computer Studies,volume 44,issue 2 , Vol. 44, Iss. 2, 1996-02 , pp.The relationship between errors and size in knowledge-based systems
International Journal of Human-Computer Studies,volume 44,issue 2 , Vol. 44, Iss. 2, 1996-02 , pp.Structure-preserving specification languages for knowledge-based systems
By Harmelen F.V.,Aben M. in (1996)
International Journal of Human-Computer Studies,volume 44,issue 2 , Vol. 44, Iss. 2, 1996-02 , pp.A methodology to incorporateformal methods in hybrid KBS verification
By Gamble R.F.,Baughman D.M. in (1996)
International Journal of Human-Computer Studies,volume 44,issue 2 , Vol. 44, Iss. 2, 1996-02 , pp.Refinement complements verification and validation
International Journal of Human-Computer Studies,volume 44,issue 2 , Vol. 44, Iss. 2, 1996-02 , pp.Verification and validation with ripple-down rules
By Kang B.H.,Gambetta W.,Compton P. in (1996)
International Journal of Human-Computer Studies,volume 44,issue 2 , Vol. 44, Iss. 2, 1996-02 , pp.