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

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

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

SPECIFICATION OF DISTRIBUTED PROGRAMSGALLIMORE RM; COLEMAN D.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 134; PP. 181-214; BIBL. 16 REF.Conference Paper

A CRITIQUE OF THE FOUNDATIONS OF HOARE STYLE PROGRAMMING LOGICSO'DONNELL MJ.1982; COMMUN. ACM; ISSN 0001-0782; USA; DA. 1982; VOL. 25; NO 12; PP. 927-935; BIBL. 24 REF.Article

BEYOND PROLOG: SOFTWARE SPECIFICATION BY GRAMMARWILSON WW.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 9; PP. 34-43; BIBL. 9 REF.Article

SYNTHESIS OF COMMUNICATING PROCESSES FROM TEMPORAL LOGIC SPECIFICATIONSMANNA Z; WOLPER P.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 253-281; BIBL. 14 REF.Conference Paper

ZUR BEDEUTUNG FORMALER SPEZIFIKATIONSMETHODEN BEIM SOFTWARE ENGINEERING = QUELQUES REMARQUES SUR LA SIGNIFICATION DE METHODES DE SPECIFICATION FORMELLE POUR LE DEVELOPPEMENT ET LA DOCUMENTATION DU LOGICIELLUFT AL.1982; ANGEW. INFORM.; ISSN 0013-5704; DEU; DA. 1982; VOL. 24; NO 4; PP. 215-224; ABS. ENG; BIBL. 20 REF.Article

SUGGESTIONS FOR COMPOSING AND SPECIFYING PROGRAM DESIGN DECISIONSSINTZOFF M.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 83; PP. 311-326; BIBL. 2 P.Conference Paper

LE SYSTEME CESAR: DESCRIPTION, SPECIFICATION ET ANALYSE DES APPLICATIONS REPARTIES = THE CESAR SYSTEM: DESCRIPTION, SPECIFICATION AND ANALYSIS OF DISTRIBUTED APPLICATIONSQUEILLE JEAN PIERRE.1982; ; FRA; DA. 1982; PAG. MULT. 245 P.; 21 CM; BIBL. 5 P.; TH. DOCT.-ING.: INFORM./GRENOBLE 1/1982Thesis

SPECIFYING CONCURRENT PROGRAM MODULESLAMPORT L.1983; ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS; ISSN 0164-0925; USA; DA. 1983; VOL. 5; NO 2; PP. 190-222; BIBL. 11 REF.Article

ORSEC: UN OUTIL DE RECHERCHE DE SPECIFICATIONS EQUIVALENTES PAR COMPARAISON D'EXEMPLES = ORSEC: A TOOL FOR SEARCHING EQUIVALENT SPECIFICATIONS BY COMPARING EXAMPLESPROCH KAROL.1982; ; FRA; DA. 1982; 200 P.; 30 CM; BIBL. 9 P.; TH. 3E CYCLE: INFORM./NANCY 1/1982Thesis

SSP: L'ANALYSEUR DE PROJETS = SSP: THE PROJECT ANALYZERMOISAN SABINE.1981; ; FRA; DA. 1981; 186 P.; 30 CM; BIBL. 5 P.; TH. DOCT.-ING./TOULOUSE 3/1981/778Thesis

ON A FINITE AXIOMATIZATION OF THE DATA TYPE L.SUBRAHMANYAM PA.1978; SIGPLAN NOT.; U.S.A.; DA. 1978; VOL. 13; NO 4; PP. 80-84; BIBL. 10 REF.Article

PROGRAM SPECIFICATION. PROCEEDINGS OF A WORKSHOP, AARHUS, DENMARK, AUGUST 1981STAUNSTRUP J ED.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 134; 430 P.; BIBL. DISSEM.Conference Paper