A methodology of verification and testing of large software systems

Programming and Computer Software

Volumn 29, Issue 6, 2003, Pages 298-309

  Lipaev, V V ^a  

^a INSTITUTE FOR SYSTEM PROGRAMMING   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; LARGE SCALE SYSTEMS; PARAMETER ESTIMATION; SOFTWARE PROTOTYPING;

COMPUTER MODELS; SOFTWARE PERFORMANCES; SOFTWARE SYSTEMS; VERIFICATION;

COMPUTER SOFTWARE;

EID: 25844464128     PISSN: 03617688     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:PACS.0000004130.36733.12     Document Type: Article

References (0)