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

COMPACTNESS IN MODELS OF PROPOSITIONAL DYNAMIC LOGICBERMAN F.1982; COMPUT. LINGUIST. COMPUT. LANG.; ISSN 0324-2048; HUN; DA. 1982; VOL. 15; PP. 7-19; BIBL. 6 REF.Article

LOCALITY IN MODULAR SYSTEMSBACK RJR; MANNILA H.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 1-13; BIBL. 7 REF.Conference Paper

A FLEXIBLE APPROACH TO INTERPROCEDURAL DATA FLOW ANALYSIS AND PROGRAMS WITH RECURSIVE DATA STRUCTURESJONES ND; MUCHNICK SS.1982; ANNUAL ASSOCIATION FOR COMPUTING MACHINERY SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 9/1982-01-25/ALBUQUERQUE NM; USA; NEW YORK: ACM; DA. 1982; PP. 66-74; BIBL. 16 REF.Conference Paper

ANALYSEUR LOGIQUE ET EVALUATION DES PERFORMANCES D'UN LOGICIELHOURCADE JP.1981; MINIS ET MICROS; ISSN 0336-4585; FRA; DA. 1981; NO 140; PP. 55-57Article

DESCRIPTION DE LA SEMANTIQUE DES PROGRAMMES A L'AIDE DES SUBSTITUTIONS SUR LES GRAPHESGOSTEV YU G.1981; PROGRAMMIROVANIE; SUN; DA. 1981; NO 5; PP. 11-17; BIBL. 7 REF.Article

DESCRIBING THE COMPLETE EFFECTS OF PROGRAMSFOLLETT R.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 79; PP. 95-104; BIBL. 8 REF.Conference Paper

ERROR SENSITIVE TEST CASES ANALYSIS (ESTCA)FOSTER KA.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 3; PP. 258-264; BIBL. 6 REF.Article

MEASUREMENT AND EXPERIMENTATION IN SOFTWARE ENGINEERINGCURTIS B.1980; PROC. IEEE; ISSN 0018-9219; USA; DA. 1980; VOL. 68; NO 9; PP. 1144-1157; BIBL. 96 REF.Article

SADAT - AN AUTOMATED TESTING TOOLVOGES U; GMEINER L; AMSCHLER VON MAYRHAUSER A et al.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 3; PP. 286-290; BIBL. 14 REF.Article

MODELES D'ENSEMBLES DE SUITES ET DEMONSTRATION DE LA REGULARITE DES PROGRAMMESABRAMOV SA.1980; Z. VYCISL. MAT. MAT. FIZ.; ISSN 0044-4669; SUN; DA. 1980; VOL. 20; NO 5; PP. 1347-1350; BIBL. 2 REF.Article

DYNAMIC SOFTWARE SCIENCE WITH APPLICATIONSOLDEHOEFT RR; BASS LJ.1979; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1979; VOL. 5; NO 5; PP. 497-504; BIBL. 6 REF.Article

SOCIAL PROCESSES AND PROOFS OF THEOREMS AND PROGRAMSDE MILLO RA; LIPTON RJ; PERLIS AJ et al.1979; COMMUNIC. A.C.M.; USA; DA. 1979; VOL. 22; NO 5; PP. 271-280; BIBL. 20 REF.Article

TWO RESULTS ON PROCESS LOGICHAREL D.1979; INFORM. PROCESSG LETTERS; NLD; DA. 1979; VOL. 8; NO 4; PP. 195-198; BIBL. 4 REF.Article

A METHOD FOR ANALYZING LOOP PROGRAMSWATERS RC.1979; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1979; VOL. 5; NO 3; PP. 237-247; BIBL. 29 REF.Article

AN EXPERIMENT ON UNIT INCREASE IN PROBLEM COMPLEXITYWOODFIELD SN.1979; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1979; VOL. 5; NO 2; PP. 76-79; BIBL. 3 REF.Article