Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("SPECIFICATION PROGRAMME")

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

Origin

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

Results 1 to 25 of 1334

  • Page / 54
Export

Selection :

  • and

NAMING SUBPROGRAMS WITH CLARITYBOOCH G.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 1; PP. 18-22Article

SPECIFICATION OF COMMUNICATING PROCESSES AND PROCESS IMPLEMENTATION CORRECTNESSJORRAND P.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 242-256; BIBL. 2 P.Conference Paper

A FEW REMARKS ON PUTTING FORMAL SPECIFICATIONS TO PRODUCTIVE USEGUTTAG J.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 134; PP. 370-380Conference Paper

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

WRITING REQUIREMENTS FOR INTERFACES BETWEEN COMPUTERSUTTER DF JR.1982; IEEE TRANS. COMMUN.; ISSN 0090-6778; USA; DA. 1982; VOL. 30; NO 6; PP. 1276-1280; BIBL. 8 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

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

ON THE INEVITABLE INTERTWINING OF SPECIFICATION AND IMPLEMENTATIONSWARTOUT W; BALZER R.1982; COMMUN. ACM; ISSN 0001-0782; USA; DA. 1982; VOL. 25; NO 7; PP. 438-440; BIBL. 11 REF.Article

ADA PACKAGE SPECIFICATIONS: PATH EXPRESSIONS AND MONITORSGOLDSACK SJ; MORETON T.1982; IEEE PROC., E; ISSN 0143-7062; GBR; DA. 1982; VOL. 129; NO 2; PP. 49-54; BIBL. 12 REF.Article

THE VDM PRINCIPLES OF SOFTWARE SPECIFICATION & PROGRAM DESIGN: A TUTORIAL OVERVIEWBJORNER D.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 44-74; BIBL. 4 P.Conference Paper

PROGRAM SPECIFICATION BY MODULE TREESSTEENSGAARD MADSEN J.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 134; PP. 294-321Conference Paper

SOFTWARE II: AUTOMATING PROGRAMMINGLERNER EJ.1982; IEEE SPECTRUM; ISSN 0018-9235; USA; DA. 1982; VOL. 19; NO 8; PP. 28-33Article

SPECIFYING AND IMPLEMENTING OBJECT MANAGERS IN ADAHARWOOD WT.1982; IEE PROC., E; ISSN 0143-7062; GBR; DA. 1982; VOL. 129; NO 2; PP. 70-74; BIBL. 10 REF.Article

STRUCTURED USER PARTICIPATION IN SYSTEM REQUIREMENTS SPECIFICATIONRAYNOR RJ; SPECKMANN LD.1982; A GENERAL SURVEY OF SYSTEMS METHODOLOGY. SOCIETY FOR GENERAL SYSTEMS RESEARCH. ANNUAL MEETING. 26/1982-01-05/WASHINGTON DC; USA; LOUISVILLE: SOCIETY FOR GENERAL SYSTEMS RESEARCH; DA. 1982; PP. 305-310; BIBL. 7 REF.Conference Paper

A COMPARATIVE ANALYSIS OF FUNCTIONAL CORRECTNESSDUNLOP DD; BASILI VR.1982; ACM COMPUT. SURV.; ISSN 0360-0300; USA; DA. 1982; VOL. 14; NO 2; PP. 229-244; BIBL. 21 REF.Article

A DESIGN MEDIUM FOR SOFTWARELEATHRUM JF.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 6; PP. 497-503; BIBL. 8 REF.Article

A LOGICAL BASIS FOR PROGRAMMING METHODOLOGYTAKASU S; KAWABATA S.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 16; NO 1; PP. 43-60; BIBL. 4 REF.Article

CONCURRENCYNIELSEN LS.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 134; PP. 415-422; BIBL. 5 REF.Conference Paper

MANAGEMENT GUIDE FOR SOFTWARE DOCUMENTATIONNEUMANN AJ.1982; SPECIAL PUBLICATION-NATIONAL BUREAU OF STANDARDS; ISSN 0083-1883; USA; DA. 1982; NO 500-87; PP. 1-38Serial Issue

PROGRAM SPECIFICATION APPLIED TO A TEXT FORMATTERFEATHER MS.1982; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 5; PP. 490-498; BIBL. 22 REF.Article

GRUNDLAGEN VON ANFORDERUNGS- UND ENTWURFSSPEZIFIKATIONEN IM PROZESS DER SOFTWARE-ENTWICKLUNG = ASPECTS FONDAMENTAUX DE LA SPECIFICATION DANS LES PROCESSUS DE DEVELOPPEMENT DE LOGICIELSTIMM M.1982; GMD-STUD.; ISSN 0170-8120; DEU; DA. 1982; NO 66; 89 P.; BIBL. 9 P.Article

FACTORED SPECIFICATIONS IN THE SYNTHESIS OF LISP FUNCTIONSBIGGERSTAFF TJ.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. 393-402; BIBL. 25 REF.Conference Paper

SPECIFICATION AND DESIGN OF SOFTWARE SYSTEMS. CONFERENCE ON OPERATING SYSTEMS, VISEGRAD, HUNGARY, JANUARY 23-27, 1982. PROCEEDINGSKNUTH E ED; NEUHOLD EJ ED.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 152; 152 P.; BIBL. DISSEM.Conference Paper

A CONCEPTUAL APPROACH FOR SIMULATION SOFTWAREROLLAND C; AMBENDET F; ISSO IBEKA D et al.1983; MATHEMATICS AND COMPUTERS IN SIMULATION; ISSN 0378-4754; NLD; DA. 1983; VOL. 25; NO 1; PP. 60-62; BIBL. 8 REF.Article

RECURSIVE DEFINITIONS OF OPERATIONS IN UNIVERSAL ALGEBRASKLAEREN HA.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 134; PP. 268-281; BIBL. 6 REF.Conference Paper

  • Page / 54