Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("TYPE ABSTRAIT")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 688

  • Page / 28
Export

Selection :

  • and

MODELISATION DE LA NOTION DE TEST DE PROGRAMMES: APPLICATION A LA PRODUCTION DE JEUX DE TESTS = MODELIZATION OF THE NOTION OF PROGRAM TESTS: APPLICATION TO THE PRODUCTION OF SETS OF TESTSBOUGE LUC.1982; ; FRA; DA. 1982; 479 P.; 30 CM; BIBL. 8 P.; TH. 3E CYCLE: MATH./PARIS 6/1982Thesis

PRODUCTION DE CODE PAR REECRITURE DE TERMES DE TYPES ABSTRAITS ALGEBRIQUES = CODE PRODUCTION BY REWRITING TERMS OF ALGEBRAIC ABSTRACT TPESRAKOTOZAFY RAYMOND.1982; ; FRA; 78150-LE CHESNAY: IMPR. INST. NATL. INFORM. AUTOM.; DA. 1982; 197 P.; 30 CM; BIBL. 4 P.; ISBN 2-7261-0319-7; TH. 3E CYCLE: MATH./ORLEANS/1982Thesis

AN ABSTRACT DATA TYPE FACILITY FOR THE C LANGUAGESTROUSTRUP B.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 1; PP. 42-51Article

TUNING ALGEBRAIC SPECIFICATIONS BY TYPE MERGINGLAUT A; PARTSCH H.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 283-304Conference Paper

COMPLETENESS OF MANY-SORTED EQUATIONAL LOGICGOGUEN JA; MESEGUER J.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 7; PP. 24-32; BIBL. 2 P.Article

PROVING THE CORRECTNESS OF IMPLEMENTATIONS OF SHARED DATA ABSTRACTIONSKOZMA L.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 227-241; BIBL. 3 P.Conference Paper

MODELES NON DETERMINISTES DE TYPES ABSTRAITSLESCANNE P.1982; R.A.I.R.O., INFORM. THEOR.; ISSN 0399-0540; FRA; DA. 1982; VOL. 16; NO 3; PP. 225-244; ABS. ENG; BIBL. 26 REF.Article

A SYSTEM FOR REASONING WITHIN AND ABOUT ALGEBRAIC SPECIFICATIONSLESZCZYLOWSKI J; WIRSING M.1982; LECT. NOTES. COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 257-282; BIBL. 3 P.Conference Paper

CONCEPTION ET CERTIFICATION DE PROGRAMMES A PARTIR D'UNE DECOMPOSITION PAR LES DONNEESGUIHO G; GRESSE C; BIDOIT M et al.1980; R.A.I.R.O. INFORM.; ISSN 0399-0532; FRA; DA. 1980; VOL. 14; NO 4; PP. 319-351; ABS. ENG; BIBL. 39 REF.Article

CONSTRUCTION ET TRANSFORMATION SYSTEMATIQUES DE PROGRAMMESBELLEGARDE F; QUERE A; REMY JL et al.1980; R.A.I.R.O., INFORMAT.; FRA; DA. 1980; VOL. 14; NO 3; PP. 219-252; ABS. ENG; BIBL. 2 P.Article

CONSTRUCTING SPECIFICATIONS OF ABSTRACT DATA TYPES BY REPLACEMENTSEHRICH HD; LOHBERGER VG.1979; LECTURE NOTES COMPUTERS SCI.; DEU; DA. 1979; VOL. 73; PP. 180-191; BIBL. 21 REF.Conference Paper

AN APPROACH TO ABSTRACT SPECIFICATION BASED ON TRACES.CHESTER D.1979; COMPSAC 79. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 3/1979/CHICAGO IL; USA; NEW YORK: IEEE; DA. 1979; PP. 123-127; BIBL. 8 REF.Conference Paper

ALGEBRAIC DEFINITION OF A FUNCTIONAL PROGRAMMING LANGUAGE AND ITS SEMANTIC MODELSBROY M; WIRSING M.1983; R.A.I.R.O. INFORMATIQUE THEORIQUE; ISSN 0399-0540; FRA; DA. 1983; VOL. 17; NO 2; PP. 137-161; ABS. FRE; BIBL. 34 REF.Article

ON THE REPRESENTATION OF DATA TYPESOREJAS F.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 419-431; BIBL. 10 REF.Conference Paper

APPLYING SOFTWARE ENGINEERING TO PROTOCOL SIMULATIONLANDWEHR CE.1981; SIMULATION; ISSN 0037-5497; USA; DA. 1981; VOL. 37; NO 5; PP. 157-164; BIBL. 27 REF.Article

TOWARD MODULAR VERIFIABLE EXCEPTION HANDLINGBERRY DM; KEMMERER RA; VON STAA A et al.1980; COMPUTER LANGUAGES; GBR; DA. 1980; VOL. 5; NO 2; PP. 77-101; BIBL. 40 REF.Article

A CHARACTERIZATION OF ABSTRACT DATA AS MODEL-THEORETIC INVARIANTSBERTONI A; MAURI G; MIGLIOLI PA et al.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 26-37; BIBL. 15 REF.Conference Paper

ALGEBRAIC SPECIFICATION OF ABSTRACT DATA TYPESGAUDEL MC.1979; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FRA; DA. 1979; NO 360; 30 P.; ABS. FRE; BIBL. 2 P.Serial Issue

SEMANTICS OF PROCEDURES AS AN ALGEBRAIC. ABSTRACT DATA TYPEGAUDEL MC; DESCHAMP P; MAZAUD M et al.1978; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FRA; DA. 1978; NO 334; PP. 1-23; ABS. FRE; BIBL. 14 REF.Serial Issue

IMPLEMENTING A COMPILER-BASED TEST TOOLMCMULLIN PR; GANNON JD; WEISER MD et al.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 10; PP. 971-979; BIBL. 6 REF.Article

REFINEMENTS OF GENERIC SPECIFICIATIONS WITH ALGEBRAIC TOOLS = RAFFINEMENTS DE SPECIFICATIONS GENERIQUES AU MOYEN D'OUTILS ALGEBRIQUESBERT DIDIER.1982; ; FRA; GRENOBLE: I.M.A.G.; DA. 1982; IMAG/RR-335; 20 P.; 30 CM; ABS. FRE; BIBL. 13 REF.;[RAPP. RECH.-LAB. INFORM. MATH. APPL. GRENOBLE; VOL. RR-335]Report

DAS PRINZIP DER DATENSTRUKTUR-ARCHITEKTUREN UND SEINE REALISIERUNG IM STARLET-RECHNER = LE PRINCIPE DE L'ARCHITECTURE-STRUCTURE DE DONNEES ET SA REALISATION DANS LE CALCULATEUR STARLETGILOI WK; GUTH R.1982; INFORM.-SPEKTRUM; ISSN 0170-6012; DEU; DA. 1982; VOL. 5; NO 1; PP. 21-37; ABS. ENG; BIBL. 34 REF.Article

DESCRIBING SOFTWARE DESIGN IN ADABOOCH G.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 9; PP. 42-47; BIBL. 6 REF.Article

LPG: LANGAGE POUR LA PROGRAMMATION GENERIQUEBERT D.1981; ; FRA; DA. 1981; IMAG-RR/262; 45 P.; 30 CM; ABS. ENG; BIBL. 2 P.;[RAPP. RECH.-LAB. INFORM. MATH. APPL. GRENOBLE; VOL. RR-262]Report

AN EXPERIENCE IN IMPLEMENTING ABSTRACT DATA TYPESBANATRE M; COUVERT A; HERMAN D et al.1981; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1981; VOL. 11; NO 3; PP. 315-320; BIBL. 11 REF.Article

  • Page / 28