A CONSISTENT APPROACH TO THE DEVELOPMENT OF SYSTEM REQUIREMENTS AND SOFTWARE DESIGNWARD AO.1982; AGARD CONFERENCE PROCEEDINGS; ISSN 0549-7191; FRA; DA. 1982; NO 303; PP. 15.1-15.16; BIBL. 3 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

NOTATION DES EXPRESSIONS CONDITIONNELLES POUR LA REPRESENTATION STRUCTUREE DES DONNEES ET DES PROCEDURESKULAICHEV AP.1981; PROGRAMMIROVANIE; SUN; DA. 1981; NO 6; PP. 35-42; BIBL. 10 REF.Article

SUR LA MODELISATION MATHEMATIQUE DE QUELQUES FORMES COMPLEXES DE COMPORTEMENTKOZLOV VN.1982; PROBLEMY KIBERNETIKI; ISSN 507989; SUN; DA. 1982; NO 39; PP. 223-256; BIBL. 5 REF.Article

INTEGRITY CONTROL IN A RELATIONAL DATA DESCRIPTION LANGUAGE.GRAVES RW.1975; IN: PAC. 75. DATA: ITS USE ORGAN. MANAGE. ASSOC. COMPUT. MACH. REG. CONF.; SAN FRANCISCO; 1975; NEW YORK; ASSOC. COMPUT. MACH. INC.; DA. 1975; PP. 108-118; BIBL. 8 REF.Conference Paper

CHDL WORKSHOP HELD IN GERMANY.MAGNUSON WG JR.1974; COMPUTER; U.S.A.; DA. 1974; VOL. 7; NO 12; PP. 67Article

DATA STRUCTURES AND THEIR TRANSFORMATIONS.BOHM C; DEZANI CIANCAGLINI M.1974; CONTROL AND CYBERN.; POLAND; DA. 1974; VOL. 3; NO 3-4; PP. 5-19; ABS. POL. RUSSE; BIBL. 9 REF.Article

PATTERN RECOGNITION AND LEARNING WITH A STRUCTURAL DESCRIPTION LANGUAGECOHEN BL; SAMMUT CA.sdINTERNATIONAL JOINT CONFERENCE ON PATTERN RECOGNITION. 4/1978/KYOTO; JPN; DA. S.D.; PP. 394-397; BIBL. 8 REF.Conference Paper

DEFINE: A NONPROCEDURAL DATA DESCRIPTION LANGUAGE FOR DEFINING INFORMATION EASILY.HOUSEL BC; SMITH DP; SHU NC et al.1975; IN: PAC. 75. DATA: ITS USE ORGAN. MANAGE. ASSOC. COMPUT. MACH. REG. CONF.; SAN FRANCISCO; 1975; NEW YORK; ASSOC. COMPUT. MACH. INC.; DA. 1975; PP. 62-70; BIBL. 17 REF.Conference Paper

Modeling of vertical and lateral phototransistors using VHDL-AMSALEXANDRE, A; PINNA, A; GRANADO, B et al.IEEE International conference on industria technologyl. 2004, isbn 0-7803-8662-0, 3Vol, Vol1, 142-147Conference Paper

AXIOMATISATION DU PROBLEME DE SYNTHESE DE LA GEOMETRIE DES OBJETS TRIDIMENSIONNELSKLIMOV VE; KLISHIN VV.1983; IZVESTIJA AKEDEMII NAUK SSSR. TEHNICESKAJA KIBERNETIKA; ISSN 0002-3388; SUN; DA. 1983; NO 4; PP. 57-62; BIBL. 7 REF.Article

SUR L'APPLICATION DES A-RESEAUX BOOLEENS SIMPLES POUR LA CONCEPTION DES SYSTEMES DISCRETS DE COMMANDEVASILENOK VK; ZAKREVSKIJ AD.1983; AVTOMATIKA I VYCISLITEL'NAJA TEHNIKA; ISSN 504858; SUN; DA. 1983; NO 1; PP. 29-35; BIBL. 8 REF.Article

TEST GENERATION ALGORITHMS FOR COMPUTER HARDWARE DESCRIPTION LANGUAGESLEVENDEL YK; MENON PM.1982; IEEE TRANS. COMPUT.; ISSN 0018-9340; USA; DA. 1982; VOL. 31; NO 7; PP. 577-588; BIBL. 22 REF.Article

LANGAGE DE DESCRIPTION FORMELLE DES VECTEURS BINAIRES ET PROGRAMME DE CALCUL DE LEURS SIGNATURESNOVIK G KH; KRAMFUS IR; SHENDEROVICH SD et al.1982; AVTOMAT. VYCHISLIT. TEKH.; ISSN 0132-4160; SUN; DA. 1982; NO 2; PP. 44-47; BIBL. 3 REF.Article

SOFTWARE SPECIFICATION USING THE SPECIAL LANGUAGECHANDERSEKARAN CS; LINGER RC.1981; J. SYST. SOFTW.; ISSN 0164-1212; USA; DA. 1981; VOL. 2; NO 1; PP. 31-38; BIBL. 7 REF.Article

GENERATION AUTOMATIQUE DE JEUX D'ESSAIS = AUTOMATIC GENERATION OF SETS OF TESTSGUICHARD COLETTE.1981; ; FRA; DA. 1981; 174 P.; 30 CM; BIBL. 2 P.; TH. 3EME CYCLE: INFORM./NICE/1981/370Thesis

LANGAGES DE DESCRIPTION DE SYSTEMES LOGIQUES: PROPOSITIONS POUR UNE METHODE FORMELLE DE DEFINITIONBORRIONE DOMINIQUE.1981; ; FRA; DA. 1981; 284 P.; 21 CM; BIBL. 12 P.; TH.: SCI./GRENOBLE 1-INPG/1981Thesis

DESCRIPTION DES SYSTEMES MODELISES A L'AIDE DU LANGAGE SDLIONIN GL.1981; AVTOMAT. VYCHISLIT. TEKH.; SUN; DA. 1981; NO 1; PP. 30-33; BIBL. 7 REF.Article

LANGAGE DE DESCRIPTION DES RESEAUX LOGIQUESBOZOYAN SH E.1981; IZV. AKAD. NAUK SSSR, TEH. KIBERN.; ISSN 0002-3388; SUN; DA. 1981; NO 1; PP. 140-143; BIBL. 2 REF.Article

AN EXPERIMENTAL RECOGNITION SYSTEM USING PATTERN GRAMMARSGALLO V.1981; PROBL. CONTROL INF. THEORY; ISSN 0370-2529; HUN; DA. 1981; VOL. 10; NO 1; PP. 21-31; BIBL. 6 REF.Article

DOPLS: A NEW TYPE OF PROGRAMMING LANGUAGELEE G.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 79; PP. 169-189; BIBL. 2 P.Conference Paper

CONCEPTS ET OUTILS POUR L'ECRITURE DE MAQUETTES DANS LE PROJET MAESTROKLEIN PHILIPPE.1979; ; FRA; DA. 1979; PAG. MULT., ILL.; 21 CM; BIBL. 6 P.; TH. 3E CYCLE: INFORM./NANCY 1/1979Thesis

MICRODESCRIPTION ET CLASSIFICATION DES IMAGES BIDIMENSIONNELLESFILONIK SA.1979; IZVEST. AKAD. NAUK S.S.R., TEKH. VIBERN.; SUN; DA. 1979; NO 1; PP. 190-197; BIBL. 7 REF.Article

ZLOZONOSC ORYGINALU A JEZYK OPISU = LA COMPLEXITE DE L'ORIGINAL ET LE LANGAGE DE DESCRIPTIONBABORSKI A.1979; PRZ. STAT.; ISSN 0033-2372; POL; DA. 1979; VOL. 26; NO 3-4; PP. 259-265; ABS. RUS/ENG; BIBL. 3 REF.Article