Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("SPECIFICATION LANGUAGE")

Filter

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

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 3096

  • Page / 124
Export

Selection :

  • and

CCITT LANGUAGES FOR SPC SWITCHING SYSTEMSCARRELLI C; ROCHE DJ.1982; IEEE TRANSACTIONS ON COMMUNICATIONS; ISSN 0090-6778; USA; DA. 1982; VOL. 30; NO 6; PP. 1304-1309Article

A DEMONSTRATION OF THREE REQUIREMENTS LANGUAGE SYSTEMSCELKO J; DAVIS JS; MITCHELL J et al.1983; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1983; VOL. 18; NO 1; PP. 9-14; BIBL. 11 REF.Article

S & DL-STRUCTURED DESIGN LANGUAGE (PROPOSAL)RYZNAR Z.1981; ANGEWANDTE INFORMATIK; ISSN 0013-5704; DEU; DA. 1981; NO 12; PP. 526-533; ABS. GER; BIBL. 6 REF.Article

INPUT-OUTPUT TOOLS: A LANGUAGE FACILITY FOR INTERACTIVE AND REAL-TIME SYSTEMSVAN DEN BOS J; PLASMEIJER J; HARTEL PH et al.1983; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1983; VOL. 9; NO 3; PP. 247-258; BIBL. 22 REF.Article

KARL-II-EINE SPRACHE ZUR SPEZIFIKATION BEIM ENTWURF KUNDEN-SPEZIFISCHER DIGITALBAUSTEINE = KARL-II-UN LANGAGE DE SPECIFICATION DE CIRCUITS NUMERIQUES DANS LA PHASE DE CONCEPTIONHARTENSTEIN RW.1982; ANGEWANDTE INFORMATIK; ISSN 0013-5704; DEU; DA. 1982; NO 12; PP. 581-591; ABS. ENG; BIBL. 3 REF.Article

SPECIFICATION LANGUAGES AND PROGRAM TRANSFORMATIONPEPPER P.1982; RELATIONSHIP BETWEEN NUMERICAL COMPUTATION AND PROGRAMMING LANGUAGES./WORKING CONFERENCE 1981-08-03/BOULDER COI; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH-HOLLAND; DA. 1982; PP. 331-346; BIBL. 17 REF.Conference Paper

LA SPECIFICATION: UN OUTIL POUR L'INFORMATICIENDEMUYNCK M; MEYER B.1981; 01 INFORM.; ISSN 0398-1185; FRA; DA. 1981; NO 149; PP. 62-67Article

PROBLEMES METHODOLOGIQUES DE CONSTRUCTION DES SPECIFICATIONS ALGEBRIQUES DES TYPES ABSTRAITS DE DONNEESBARONAS R.1981; PROGRAMMIROVANIE E.V.M.; ISSN 508101; SUN; DA. 1981; NO 5; PP. 43-66; ABS. LIT/ENG; BIBL. 2 REF.Article

DESIGN PRINCIPLES OF AN OFFICE SPECIFICATION LANGUAGEHAMMER M; KUNIN JS.1980; 1980 NATIONAL COMPUTER CONFERENCE/1980/ANAHEIM CA; USA; ARLINGTON: AFIPS PRESS; DA. 1980; PP. 541-547; BIBL. 13 REF.Conference Paper

EXTENDING THE ENTITY-RELATIONSHIP APPROACH TO TAKE INTO ACCOUNT HISTORICAL ASPECTS OF SYSTEMSDE ANTONELLIS V; ANTONI GD; MAURI G et al.1980; ENTITY-RELATIONSHIP APPROACH TO SYSTEMS ANALYSIS AND DESIGN. INTERNATIONAL CONFERENCE ON ENTITY-RELATIONSHIP APPROACH TO SYSTEMS ANALYSIS AND DESIGN/1979/LOS ANGELES CA; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH-HOLLAND; DA. 1980; PP. 231-235; BIBL. 4 REF.Conference Paper

TUTORIAL ON ARTIFICIAL INTELLIGENCE RESEARCHMYLOPOULOS J.1980; WORKSHOP ON DATA ABSTRACTION, DATABASES AND CONCEPTUAL MODELLING/1980/PINGREE PARK CO; USA; NEW YORK: ASSOCIATION FOR COMPUTING MACHINERY; DA. 1980; PP. 13-18Conference Paper

AN IMPLEMENTATION METHODOLOGY FOR SEMANTIC DATA BAS MODELSBALZER R.1980; ENTITY-RELATIONSHIP APPROACH TO SYSTEMS ANALYSIS AND DESIGN. INTERNATIONAL CONFERENCE ON ENTITY-RELATIONSHIP APPROACH TO SYSTEMS ANALYSIS AND DESIGN/1979/LOS ANGELES CA; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH-HOLLAND; DA. 1980; PP. 433-444; BIBL. 13 REF.Conference Paper

AN INFORMATION BASE FOR PROCEDURE INDEPENDENT DESIGN OF INFORMATION SYSTEMSORMANCIOGLU L.1980; 1980 NATIONAL COMPUTER CONFERENCE/1980/ANAHEIM CA; USA; ARLINGTON: AFIPS PRESS; DA. 1980; PP. 817-821; BIBL. 11 REF.Conference Paper

FORMAL SPECIFICATION OF COMPLETE AND CONSISTENT PERFORMANCE REQUIREMENTSZAVE P.1979; SYSTEM SOFTWARE AND PROGRAMMING LANGUAGES. TEXAS CONFERENCE ON COMPUTING SYSTEMS. 8/1979/DALLAS TX; USA; NEW YORK: INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; DA. 1979; PP. 4B.18-4B.25; BIBL. 10 REF.Conference Paper

THE SRDL SPECIFICATION EXPERIMENTKLAEREN HA.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 134; PP. 282-293; BIBL. 4 REF.Conference Paper

VIEW MODELING AND INTEGRATION USING THE FUNCTIONAL DATA MODELBING YAO S; WADDLE VE; HOUSEL BC et al.1982; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 6; PP. 544-553; BIBL. 27 REF.Article

CHILL PROGRAMMING SYSTEM: IMPLEMENTATION AND OPERATIONAL ASPECTSCARELLI C; MANUCCI F; ROSCI G et al.1981; CSELT RAPP. TEC.; ISSN 0390-1815; ITA; DA. 1981; VOL. 9; NO 5; SUPPL.; PP. 543-549; ABS. ITA; BIBL. 10 REF.Article

ON THE POWER OF ALGEBRAIC SPECIFICATIONSBERGSTRA JA; BROY M; TUCKER JV et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 193-204; BIBL. 1 P.Conference Paper

LOGICIEL NUMERIQUE ASSOCIE A UNE MODELISATION DE SYSTEMES INFORMATIQUESCACHARD FRANCOIS.1981; ; FRA; DA. 1981; 132 P.; 21 CM; BIBL. 17 REF.; TH. DOCT.-ING./GRENOBLE 1-INPG/1981Thesis

ALGORITHME DE RECHERCHE DE LA STRATEGIE OPTIMALE DE RESTAURATION LORS DU DIAGNOSTIC LES ASSOCIATIONS DE MACHINESMARTYNENKO ON.1981; AVTOMAT. VYCHISLIT. TEKH.; SUN; DA. 1981; NO 1; PP. 72-76; BIBL. 5 REF.Article

FORMALIZATION OF DATA BASE MODELSBJORNER D.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 144-215; BIBL. 9 REF.Conference Paper

VLSI: A NEW FRONTIER FOR SYSTEMS DESIGNERSFAIRBAIRN DG.1982; COMPUTER; ISSN 0018-9162; USA; DA. 1982; VOL. 15; NO 1; PP. 87-96; 9 P.; BIBL. 15 REF.Article

FORMAL SPECIFICATION AND VERIFICATION OF A CONNECTION ESTABLISHMENT PROTOCOLSCHWABE D.1981; DATA COMMUNICATION SYMPOSIUM. 7/1981/MEXICO; USA; NEW YORK: IEEE; DA. 1981; PP. 11-26; BIBL. 19 REF.Conference Paper

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

SUR UN LANGAGE DE SPECIFICATIONSBARZDIN YAM; ZARIN'SH AK; KALNIN'SH AA et al.1982; KIBERNETIKA; ISSN 506850; UKR; DA. 1982; NO 6; PP. 30-39; BIBL. 9 REF.Article

  • Page / 124