Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("EXACTITUDE 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

Results 1 to 25 of 442

  • Page / 18
Export

Selection :

  • and

THE CURRENT STATE OF PROVING PROGRAMS CORRECT = L'ETAT DE LA DEMONSTRATION DE L'EXACTITUDE DE PROGRAMMESLONDON RL.1972; IN: ASSOC. COMPUT. MACH. ANN. CONF. PROC. BOSTON, 1972; NEW YORK; ASSOC. COMPUT. MACH.; DA. 1972; VOL. 1; PP. 39-46; BIBL. 1 P. 1/2Conference Proceedings

ON PREVENTING PROGRAMMING LANGUAGES FROM INTERFERING WITH PROGRAMMING.MCKEEMAN WM.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 1; PP. 19-26; BIBL. 13 REF.Article

SPECIFICATION TECHNIQUES FOR DATA ABSTRACTIONS.LISKOV BH; ZILLES SN.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 1; PP. 7-19; BIBL. 36 REF.Article

AN ASSESSMENT OF TECHNIQUES FOR PROVING PROGRAM CORRECTNESSELSPAS B; LEVITT KN; WALDINGER RJ et al.1972; COMPUTG SURV.; U.S.A.; DA. 1972; VOL. 4; NO 2; PP. 97-147; BIBL. 3 P.Serial Issue

STRUCTURED PROGRAMMING AND FORMAL SPECIFICATION.NOONAN RE.1975; IN: NATL. CONF. SOFTWARE ENG. 1. PROC.; WASHINGTON, D.C.; 1975; NEW YORK; INST. ELECTR. ELECTRON. ENG.; DA. 1975; PP. 77-81; BIBL. 12 REF.Conference Paper

THE ELUSIVENESS OF SOFTWAREMOSTELLER W.1981; JEEE SPECTRUM; ISSN 0018-9235; USA; DA. 1981; VOL. 18; NO 10; PP. 46Article

PROOF OF A STRUCTURED PROGRAM : "THE SIEVE OF ERATOSTHENES"HOARE CAR.1972; COMPUTER J.; G.B.; DA. 1972; VOL. 15; NO 4; PP. 321-325; BIBL. 11 REF.Serial Issue

VERIFICATION OF PROGRAMS WITH PROCEDURE-TYPE PARAMETERSERNST GW; NAVLAKHA JK; OGDEN WF et al.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 18; NO 2; PP. 149-169; BIBL. 8 REF.Article

PARALLEL PROGRAMMING. AN AXIOMATIC APPROACH.HOARE CAR.1975; COMPUTER LANGUAGES; G.B.; DA. 1975; VOL. 1; NO 2; PP. 151-160; BIBL. 12 REF.Article

ELEMENTS POUR UN SYSTEME DE PROTECTION EXTENSIBLE.FERRIE J; KAISER C; LANCIAUX D et al.1974; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1974; NO 80; PP. 1-49; BIBL. 1 P. 1/2Article

A CRITIQUE OF THE FOUNDATIONS OF HOARE-STYLE PROGRAMMING LOGICSO'DONNELL MJ.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 349-374; BIBL. 22 REF.Conference Paper

PROGRAM PROVING: COROUTINESCLINT M.1973; ACTA INFORMAT.; ALLEM.; DA. 1973; VOL. 2; NO 1; PP. 50-63; BIBL. 13 REF.Serial Issue

TESTING LARGE SOFTWARE WITH AUTOMATED SOFTWARE EVALUATION SYSTEMS.RAMAMOORTHY CV; HO SBF.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 1; PP. 46-58; BIBL. 31 REF.Article

THE NEW MATH OF COMPUTER PROGRAMMING.MILLS HD.1975; COMMUNIC. A.C.M.; U.S.A.; DA. 1975; VOL. 18; NO 1; PP. 43-48; BIBL. 19 REF.Article

TRANSFORMING PROGRAMS TO MONITOR CORRECT SEQUENCINGMIDDLETON AG; BOYD RN.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. 338-341; BIBL. 7 REF.Conference Paper

EXPRESSING PROGRAM LOOPING IN REGULAR DYNAMIC LOGICMEYER AR; WINKLMANN K.1982; THER. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 18; NO 3; PP. 301-323; BIBL. 13 REF.Article

LIVELOCKS IN PARALLEL PROGRAMS. II: PROOF TECHNIQUESKWONG YS.1982; INT. J. COMPUT. MATH.; ISSN 0020-7160; GBR; DA. 1982; VOL. 10; NO 3-4; PP. 201-212; BIBL. 20 REF.Article

PARTIAL CORRECTNESS OF DISTRIBUTED PROGRAMSCOLEMAN D; GALLIMORE RM.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 134; PP. 138-180; BIBL. 6 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 MECHANISM FOR EXCEPTION HANDLING AND ITS VERIFICATION RULESCOCCO N; DULLI S.1982; COMPUTER LANGUAGES; ISSN 0096-0551; USA; DA. 1982; VOL. 7; NO 2; PP. 89-102; BIBL. 16 REF.Article

THE REFINEMENT OF SPECIFICATIONS AND THE STABILITY OF HOARE'S LOGICBERGSTRA JA; TUCKER JV.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 24-36; BIBL. 15 REF.Conference Paper

PROGRAMMING WITH VERIFICATION CONDITIONSVAN EMDEN MH.1979; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1979; VOL. 5; NO 2; PP. 148-159; BIBL. 14 REF.Article

CONSTRUCTIVE METHODS OF PROGRAM DESIGN.JACKSON MA.1976; LECTURES NOTES COMPUTER SCI.; GERM.; DA. 1976; PP. 237-262; BIBL. 5 REF.; (EUR. COOP. INF. CONF. 1. PROC.; AMSTERDAM; 1976)Conference Paper

HOARE'S LOGIC AND PEANO'S ARITHMETICBERGSTRA JA; TUCKER JV.1983; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1983; VOL. 22; NO 3; PP. 265-284; BIBL. 20 REF.Article

UNDERSTANDING AND DOCUMENTING PROGRAMSBASILI VR; MILLS MD.1982; IEEE TRANS. SOFTW. ENG.; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 3; PP. 270-283; BIBL. 7 REF.Article

  • Page / 18