A REPORT ON THE DEVELOPMENT OF GYPSYGOOD DI; COHEN RM; HUNTER LW et al.1978; ACM 78. ASSOCIATION FOR COMPUTING MACHINERY. ANNUAL CONFERENCE/1978-12-4/WASHINGTON DC; USA; NEW YORK: THE ASSOCIATION FOR COMPUTING MACHINERY; DA. 1978; PP. 116-122; BIBL. 26 REF.Conference Paper

ALGORITHMES DE RECONNAISSANCE DES SOUS-SYSTEMES DE STRUCTURES DONNEES DANS UN SYSTEME DE CALCUL HOMOGENEMIRENKOV NN; FISHERMAN SB.1975; VYCHISLIT. SIST.; S.S.S.R.; DA. 1975; NO 63; PP. 44-53; BIBL. 9 REF.Article

SOME ASPECTS OF AN INTERACTIVE DIALOGUE-GENERATION FACILITY.STALLINGS W.1974; IN: INT. CONF. SYST. MAN CYBERN. PROC.; DALLAS, TEX.; 1974; NEW YORK, N.Y.; INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; DA. 1974; PP. 495-498; BIBL. 8 REF.Book Chapter

PROGRAMY DYNAMICZNE OBLICZN. = PROGRAMMES DE CALCUL DYNAMIQUESBARTOL W.1974; WARSZAWA; PANSTW. WYDAWN. NAUK.; DA. 1974; PP. 1-78; ABS. ANGL. RUSSE; BIBL. 14 REF.Book

DIPS-1 OPERATING SYSTEMS QUALITY ASSURANCE. = ASSURANCE DE QUALITE DES SYSTEMES DE FONCTIONNEMENT DIPS-1OHSHIMA Y; MASUI S.1975; REV. ELECTR. COMMUNIC. LAB.; JAP.; DA. 1975; VOL. 23; NO 9-10; PP. 1091-1099; BIBL. 4 REF.Article

ITERATIVE ENHANCEMENT: A PRACTICAL TECHNIQUE FOR SOFTWARE DEVELOPMENT.BASILI VR; TURNER AJ.1975; IN: NATL. CONF. SOFTWARE ENG. 1. PROC.; WASHINGTON, D.C.; 1975; NEW YORK; INST. ELECTR. ELECTRON. ENG.; DA. 1975; PP. 56-62; BIBL. 11 REF.Conference Paper

EMULATOR-MICROPROGRAMMABLE MINICOMPATERS PROVIDE HARDWARE/SOFTWARE INTERFACE COMPATIBILITY.1974; COMPUTER DESIGN; U.S.A.; DA. 1974; VOL. 13; NO 5; PP. 122-124 (2P.)Article

TRANSFORMATIONS D'ALGORITHMES, COMPTE TENU DE LA QUANTITE D'INFORMATION, DU VOLUME ET DU TEMPS DES CALCULSKOSAREV YU G.1973; VYCHISLIT. SIST.; S.S.S.R.; DA. 1973; NO 57; PP. 149-160; BIBL. 14 REF.Article

ALGORITHMES DE PLANIFICATION DES ETATS FONCTIONNELS D'UN SYSTEME DE CALCUL HOMOGENEKRYLOV EH G; MIRENKOV NN.1975; VYCHISLIT. SIST.; S.S.S.R.; DA. 1975; NO 63; PP. 29-43; BIBL. 11 REF.Article

SPECIFICATION OF SCHEDULERS WITH ALGEBRAIC SPECIFICATION TECHNIQUESWADA K; HAGIHARA K; ARAKI T et al.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; NO 143; PP. 42-62; BIBL. 9 REF.Article

EIN RATIONALISIERUNGSMITTEL IN DER SYSTEMPROGRAMMIERUNG. CDL 4000 = MOYEN DE RATIONALISATION EN PROGRAMMATION DE SYSTEME. CDL 4000LOEPER H; OTTER W.1979; RECHENTECH. DATENVERARBEIT.; DDR; DA. 1979; VOL. 16; NO 1; PP. 15-18; BIBL. 16 REF.Article

THE ECONOMICS OF SOFTWARE QUALITY ASSURANCE.ALBERTS DS.1976; IN: NATL. COMPUT. CONF. PROC.; NEW YORK, N.Y.; 1976; MONTVALE, N.J.; AM. FED. INF. PROCESS. SOC.; DA. 1976; PP. 433-441; BIBL. 1 P. 1/2Conference Paper

CONTRIBUTION AU DEVELOPPEMENT D'UNE METHODE DE CONCEPTION DES SYSTEMES INFORMATIQUES.KRONENTAL M.1975; ; S.L.; DA. 1975; PP. 1-109; BIBL. DISSEM.; (THESE DOCT. 3E CYCLE, SPEC. MATH., MENTION INF.; PARIS VI)Thesis

FORMALISATION DES RECHERCHES DANS LES PROBLEMES EXTREMAUX DE RECHERCHE DE L'OPTIMUM SUIVANT LE GRADIENTTAMRAZOV AM; GORISLAVETS SP; GRANKINA NV et al.1975; UPRAVL. SIST. MACH., U.S.S.R.; S.S.S.R.; DA. 1975; NO 3; PP. 106-110; H.T. 2; ABS. ANGL.; BIBL. 8 REF.Article

PROGRAMMATION MATHEMATIQUE HYBRIDE DES CALCULATEURS NUMERIQUES-ANALOGIQUESMISHUTIN VG.1975; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1975; NO 2; PP. 129-136; BIBL. 8 REF.Article

A USER-ORIENTED SYNCHRONISATION SYSTEM FOR A HYBRID PROBLEM.BOURDEAU C; COURTIAT JP.1975; IN: SIMULATION LANG. DYN. SYST. PROC. SYMP.; LONDON; 1975; BRUSSELS; ASSOC. INT. CALC. ANALOGIQUE; DA. 1975; PP. 19.1-19.3; BIBL. 3 REF.Conference Paper

HIGHER-LEVEL LANGUAGES FOR THE PROGRAMMING OF PROCESS COMPUTERS.MITTENDORF H.1974; SIEMENS FORSCH.-U. ENTWICKL.-BER.; DTSCH.; DA. 1974; VOL. 3; NO 5; PP. 299-303; ABS. ALLEM.; BIBL. 13 REF.Article

FORMALISMEN ZUR AUFLOESUNG VON ENTSCHEIDUNGSTABELLEN. = FORMALISMES POUR LA RESOLUTION DE TABLES DE DECISIONLAUER H.1974; ANGEW. INFORMAT.; DTSCH.; DA. 1974; VOL. 16; NO 10; PP. 437-443; ABS. ANGL.; BIBL. 5 REF.Article

AUTOMATISATION DE LA PROGRAMMATION DU CALCULATEUR DE COMMANDE DNEPR-1KULYA VI; MARTYNOV VI; GOLIKOV OA et al.1974; UPRAVL. SIST. MACH., U.S.S.R.; S.S.S.R.; DA. 1974; NO 2; PP. 53-58; ABS. ANGL.; BIBL. 3 REF.Article

METHODE DU CODAGE ACTIF DES MICRO-OPERATIONS DANS UNE MEMOIRE PERMANENTE A MICROPROGRAMMATIONKRAVTSOV L YA; SKORUBSKIJ VI.1974; IZVEST. VYSSH. UCHEBN. ZAVED., PRIBOROSTR.; S.S.S.R.; DA. 1974; VOL. 17; NO 6; PP. 52-55; BIBL. 4 REF.Article

OUTILS DE PROGRAMMATION DU SYSTEME MINIMAXKERBEL VG; KOLOSOVA YU I; KORNEEV VD et al.1974; VYCHISLIT. SIST.; S.S.S.R.; DA. 1974; NO 60; PP. 143-152; BIBL. 13 REF.Article

A SURVEY OF COMPUTER HARDWARE DESCRIPTION LANGUAGES ABROAD.1974; COMPUTER; U.S.A.; DA. 1974; VOL. 7; NO 12; PP. 52-66; BIBL. DISSEM.Article

A SURVEY OF COMPUTER HARDWARE DESCRIPTION LANGUAGES IN THE U.S.A.SU SYH.1974; COMPUTER; U.S.A.; DA. 1974; VOL. 7; NO 12; PP. 45-51; BIBL. 2 P.Article

A SYSTEMS PROGRAMMING LANGUAGEWULF WA.1972; LECTURE NOTES ECON. MATH. SYST.; GERM.; DA. 1972; NO 75; PP. 14-42; BIBL. 9 REF.Serial Issue

NEW ASSERTION CONCEPTS FOR SELF-METRIC SOFTWARE VALIDATION.STUCKI LG; FOSHEE GL.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 59-71; BIBL. 15 REF.Conference Paper