SUR LES ESPACES INFORMATIQUES DE NOLIN ET LE BERREARESKI NAIT ABDALLAH.1982; C. R. SEANCES ACAD. SCI., SER. 1, MATH.; ISSN 0249-6291; FRA; DA. 1982; VOL. 295; NO 12; PP. 711-714; ABS. ENG; BIBL. 6 REF.Article

A PERSPECTIVE ON SOFTWARE SCIENCECHRISTENSEN K; FITSOS GP; SMITH CP et al.1981; IBM SYSTEMS JOURNAL; ISSN 0018-8670; USA; DA. 1981; VOL. 20; NO 4; PP. 372-387; BIBL. 14 REF.Article

QUALIFIED DATA FLOW PROBLEMSHOLLEY LH; ROSEN BK.1980; ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 7/1980/LAS VEGAS NV; USA; NEW YORK: ACM; DA. 1980; PP. 68-82; BIBL. 20 REF.Conference Paper

COMPUTER PROGRAM DEVELOPMENT ANALYSISAUSTIN S; MCCRONE D; RYAN JP et al.1978; COMPSAC 78. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2/1978-11-13/CHICAGO; USA; NEW YORK: IEEE; DA. 1978; 761-763; BIBL. 1 REF.Conference Paper

A FOUR-PROJECT EMPIRICAL STUDY OF SOFTWARE ERROR PREDICTION MODELSSUKERT AN.1978; COMPSAC 78. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2/1978-11-13/CHICAGO; USA; NEW YORK: IEEE; DA. 1978; PP. 577-582; BIBL. 14 REF.Conference Paper

ON THE TEMPORAL ANALYSIS OF FAIRNESSGABBAY D; PNUELI A; SHELAH S et al.1980; ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 7/1980/LAS VEGAS NV; USA; NEW YORK: ACM; DA. 1980; PP. 163-173; BIBL. 14 REF.Conference Paper

EXPERIENCE WITH PATH ANALYSIS AND TESTING OF PROGRAMSWOODWARD MR; HEDLEY D; HENNELL MA et al.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 3; PP. 278-286; BIBL. 15 REF.Article

METHODES MODERNES DE DEMONSTRATION DE LA REGULARITE DES PROGRAMMESYUSHCHENKO EL; KASATKINA IV.1980; KIBERNETIKA; UKR; DA. 1980; NO 6; PP. 37-62; ABS. ENG; BIBL. 87 REF.Article

EXPERIENCE WITH AUTOMATED TESTING ANALYSISHOLTHOUSE MA; HATCH MJ.1979; COMPUTER; USA; DA. 1979; VOL. 12; NO 8; PP. 33-36; BIBL. 8 REF.Article

AN APPROACH TO SOFTWARE TESTING: METHODOLOGY AND TOOLSBATE RR; LIGLER GT.1978; COMPSAC 78. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2/1978-11-13/CHICAGO; USA; NEW YORK: IEEE; DA. 1978; PP. 476-480; BIBL. 17 REF.Conference Paper

REMARKS ABOUT PERFORMANCE PROFILESLYNESS JN.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; NO 142; PP. 186-197; BIBL. 9 REF.Article

UNDERSTANDING AND DOCUMENTING PROGRAMSBASILI VR; MILLS MD.1982; IEEE TRANS. SOFTW. ENG.; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 3; PP. 270-283; BIBL. 7 REF.Article

A CLOSE LOOK AT DOMAIN TESTINGCLARKE LA; HASSELL J; RICHARDSON DJ et al.1982; IEEE TRANS. SOFTW. ENG.; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 4; PP. 380-390; BIBL. 11 REF.Article

A NESTING LEVEL COMPLEXITY MEASUREPINOWARSKI P.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 9; PP. 44-50; BIBL. 12 REF.Article

MEASURING THE QUALITY OF STRUCTURAL DESIGNSTROY DA; ZWEBEN SH.1981; J. SYST. SOFTW.; ISSN 0164-1212; USA; DA. 1981; VOL. 2; NO 2; PP. 113-120; BIBL. 10 REF.Article

A COMPARISON OF TWO VARIATIONS OF A PEBBLE GAME ON GRAPHSMEYER AUF DER HEIDE F.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 13; NO 3; PP. 315-322; BIBL. 8 REF.Article

A METHOD FOR EVALUATING SOFTWARE DEVELOPMENT TECHNIQUESPANZL DJ.1981; J. SYST. SOFTW.; ISSN 0164-1212; USA; DA. 1981; VOL. 2; NO 2; PP. 133-137Article

A STUDY ON PROGRAM LEVEL DEPENDENCY OF IMPLEMENTED ALGORITHMS ON ITS POTENTIAL OPERANDSBANDYOPADHYAY SK.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 2; PP. 18-25; BIBL. 2 REF.Article

TESTING FOR NUMERICAL COMPUTATIONSKARPOVSKY M.1980; I.E.E. PROC., E; GBR; DA. 1980; VOL. 127; NO 2; PP. 69-76; BIBL. 18 REF.Article

RISTRUTTURAZIONE E ANALISI DI PROGRAMMI = RESTRUCTURATION ET ANALYSE DE PROGRAMMESCANTONE G; CIMITILE A; FADINI B et al.1980; RIV. INF.; ITA; DA. 1980; VOL. 10; NO 1; PP. 15-27; ABS. ENG; BIBL. 17 REF.Article

SOFTWAREPAKET ZUR ANALYSE UND KORREKTUR VON Z80-OBJECT-PROGRAMMEN = COLLECTION DE PROGRAMMES POUR L'ANALYSE ET LA CORRECTION DE PROGRAMMES OBJETS Z60JANICH D.1980; ELEKTRONIK; DEU; DA. 1980; VOL. 29; NO 13; PP. 60-62; BIBL. 2 REF.Article

AXIOMATIC ANALYSIS OF PROGRAMS AND PROGRAM SCHEMESOSTRAND TJ.1980; HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES. 13/1980/HONOLULU HI; USA; S.L.: WESTERN PERIODICALS; DA. 1980; VOL. 1; PP. 50-59; BIBL. 14 REF.Conference Paper

QUALITY ASSURANCE OF ENGINEERING SOFTWAREFENVES SJ; SCHIFFMAN RL.1979; PROC. AMER. SOC. CIV. ENGRS, J. TECH. COUNC. A.S.C.E.; USA; DA. 1979; VOL. 105; NO 1; PP. 57-74; BIBL. 55 REF.Article

RELATING COMPUTER PROGRAM MAINTAINABILITY TO SOFTWARE MEASURESFEUER AR; FOWLKES EB.1979; NATIONAL COMPUTER CONFERENCE/1979/NEW YORK NY; USA; MONTVALE: AFIPS PRESS; DA. 1979; PP. 1003-1012; BIBL. 17 REF.Conference Paper

SUR UNE APPROCHE DE L'ANALYSE DES PROGRAMMESLETICHEVSKIJ AA.1979; KIBERNETIKA; UKR; DA. 1979; NO 6; PP. 1-8; ABS. ENG; BIBL. 8 REF.Article