THE TOTAL CORRECTNESS OF PARALLEL PROGRAMSFLON L; SUZUKI N.1981; SIAM J. COMPUT.; ISSN 0097-5397; USA; DA. 1981; VOL. 10; NO 2; PP. 227-246; BIBL. 25 REF.Article

SYSTEME COBOL POUR L'UTILISATION DU TRADUCTEUR TK-32 DANS LE CALCULATEUR MINSK-32TOSHKOV DI; AKHEGUKYAN AV.1975; C.R. ACAD. BULG. SCI.; BULG.; DA. 1975; VOL. 28; NO 3; PP. 303-306; BIBL. 6 REF.Article

COMPUTER AIDS TO PROGRAM VERIFICATION1973; IN: PROC. 6TH. HAWAII INT. CONF. SYST. SCI.; HONOLULU; 1973; S.L.; WESTERN PERIODICALS; DA. 1973; VOL. 1; PP. 1-13; BIBL. DISSEM.Conference Paper

A NEW APPROACH TO PROGRAM TESTING.KING JC.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 228-233; BIBL. 8 REF.Conference Paper

COMPARAISON DES PROGRAMMES D'ANALYSE GENERALE DES CIRCUITS ELECTRIQUES.LACROIX M.1974; REV. TECH. THOMSON-C.S.F.; FR.; DA. 1974; VOL. 6; NO 1; PP. 17-29; ABS. ANGL. ALLEM.; BIBL. 1 P. 1/2Article

SYMBOLIC EVALUATION METHODS: IMPLEMENTATIONS AND APPLICATIONSCLARKE LA; RICHARDSON DJ.1981; COMPUTER PROGRAM TESTING, SUMMER SCHOOL ON COMPUTER PROGRAM TESTING/1981/URBINO; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH HOLLAND; DA. 1981; PP. 65-102; BIBL. 3 P.Conference Paper

PROGRAM TESTING COMPLEXITY AND TESTING CRITERIAKUO CHUNG TAI.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 6; PP. 531-538; BIBL. 35 REF.Article

THE CLEAN TERMINATION OF ITERATIVE PROGRAMSBLIKLE A.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 16; NO 2; PP. 199-217; BIBL. 25 REF.Article

MULTICOMMODITY NETWORK PLOTTING VIA PROGRAM NETPLT.RUTHBERG ZG; BOLOTSKY GR; SLATER W JR et al.1974; NATION. BUR. STAND., TECH. NOTE; U.S.A.; DA. 1974; NO 829; PP. (67P.); BIBL. 3 REF.Article

SYSTEMATIC DETECTION OF EXCEPTION OCCURRENCESBEST E; CRISTIAN F.1981; SCI. COMPUT. PROGRAM.; NLD; DA. 1981; VOL. 1; NO 1-2; PP. 115-144; BIBL. 14 REF.Article

PROGRAMMES D'APPLICATION DANS UN SYSTEME DE PROGRAMMATIONRAJKOV LD; RUBANOV VO.1976; UPRAVL. SIST. MACH., U.S.S.R.; S.S.S.R.; DA. 1976; NO 2; PP. 33-39Article

PRINCIPES DE PRODUCTION D'UN JEU COMPLET D'ALGORITHMES POUR DES PROGRAMMES DE SERVICE PAR L'EXEMPLE DU PROGRAMME "TRI-FUSION"KAZARITSKIJ SD; ZUBOV VS.1974; TRUDY MOSKOV. ENERGET. INST.; S.S.S.R.; DA. 1974; NO 176; PP. 32-38; BIBL. 4 REF.Article

A SOFTWARE DESIGN AND EVALUATION SYSTEMGRAHAM RM; CLANCY GJ JR; DEVANEY DB et al.1973; COMMUNIC. A.C.M.; U.S.A.; DA. 1973; VOL. 16; NO 2; PP. 110-116; BIBL. 10 REF.Serial Issue

SOME TRANSFORMATIONS FOR DEVELOPING RECURSIVE PROGRAMS.BURSTALL RM; DARLINGTON J.sdIN: INT. CONF RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 465-472; BIBL. 10 REF.Conference Paper

AN APPROACH TO THE PLANNING AND MANAGEMENT OF LARGE SOFTWARE PROJECTSNEWMAN RA; MARSDEN TD.1972; IN: PRACT. APPL. PROJ. PLANN. NETWORK TECH. 3RD INT. CONGR. STOCKHOLM, 1972; STOCKHOLM; ALMQUIST WIKSELL; DA. 1972; VOL. 2; PP. 336-347Conference Proceedings

A COMPLETENESS THEOREM FOR STRAIGHT-LINE PROGRAMS WITH STRUCTURED VARIABLES.HOFFMANN CM; LANDWEBER LH.1976; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1976; VOL. 23; NO 1; PP. 203-220; BIBL. 14 REF.Article

SOME PSYCHOLOGICAL EVIDENCE ON HOW PEOPLE DEBUG COMPUTER PROGRAMS.GOULD JD.1975; INTERNATION. J. MAN. MACH. STUD.; G.B.; DA. 1975; VOL. 7; NO 2; PP. 151-182; BIBL. 1 P. 1/2Article

PL NONOTCP. EIN FORTRAN IV-PROGRAMM ZUR ERZEUGUNG VON CALCOMP-PLOT-ZEICHNUNGEN. = PLOTCP. UN PROGRAMME FORTRAN POUR PRODUIRE CALCOMP-PLOTZIMMERER W.1975; KERNFORSCH.-ZENTR. KARLSRUHE, K.F.K.; DTSCH.; DA. 1975; NO 2081; PP. (66P.); ABS. ANGL.; BIBL. 2 REF.Article

CONTRIBUTION AUX TECHNIQUES DE MISE EN PAGES ET D'EDITION PAR ORDINATEUR. CONCEPTION ET IMPLEMENTATION DE L.A.M.P.E., UN LANGAGE SPECIALISE.PROFIZI JC.1974; ; S.L.; DA. 1974; PP. (299P.); BIBL. 6 P. 1/2; (THESE DOCT. 3EME CYCLE, SPEC. INF.; UNIV. SCI. MED. GRENOBLE)Thesis

PROGRAM PROVING: COROUTINESCLINT M.1973; ACTA INFORMAT.; ALLEM.; DA. 1973; VOL. 2; NO 1; PP. 50-63; BIBL. 13 REF.Serial Issue

PATH CALCULUS IN PROGRAM VERIFICATIONBRAND D.1978; J. ASS. COMPUTG MACHIN.; USA; DA. 1978; VOL. 25; NO 4; PP. 630-651; BIBL. 10 REF.Article

PROGRAMS AS PARTIAL GRAPHS I: FLOW EQUIVALENCE AND CORRECTNESSSCHMIDT G.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 5; NO 1; PP. 1-25; BIBL. 34 REF.Article

THE CYCLOMATIC NUMBER AND THE NORMAL NUMBER OF PROGRAMSCULIK K.1979; SIGPLAN NOT.; USA; DA. 1979; VOL. 14; NO 4; PP. 12-17; BIBL. 5 REF.Article

SYSTEME DE PROGRAMMES COMBINES POUR LES CALCULATEURS DU TYPE M-20MUZYLEV VV; SHIPILOVA VI.1974; ASTR. SOVET AKAD. NAUK S.S.S.R., NAUCH. INFORM.; S.S.S.R.; DA. 1974; NO 34; PP. 29-44; ABS. ANGL.; BIBL. 4 REF.Article

UTP, EIN SELBSTDOKUMENTIERENDES TESTSYSTEM. = UTP (UNIVERSAL TESTING PACKAGE), UN SYSTEME DE TEST AUTODOCUMENTEFRANKE B.1974; COMPUTER-PRAXIN; DTSCH.; DA. 1974; VOL. 7; NO 5; PP. 131-139; BIBL. 14 REF.Article