Metadata
Author: EurLex-2
Data
Danish[da]
Der skal oprettes arbejdsgrupper vedroerende semantik , bevisfoerelsesteknik , specifikation og konstruktion osv . og der skal gennemfoeres fem delprojekter med undersoegelse af konstruktion af objektorienterede , funktionelle ( baade datadrevne og behovsdrevne ) og logiske maskiner separat samt en maskine , der kombinerer logisk og funktionel programmering .
German[de]
ES WIRD ARBEITSGRUPPEN GEBEN FÜR SEMANTIK , BEWEISTECHNIKEN , SPEZIFIKATION UND ENTWURF USW . , SOWIE FÜNF TEILVORHABEN , DIE DEN ENTWURF VON OBJEKTORIENTIERTEN , FUNKTIONALEN ( SOWOHL DATENGESTEUERTEN ALS AUCH BEDARFSGESTEUERTEN ) UND LOGISCHEN MASCHINEN EINZELN UND EINE MASCHINE , DIE LOGISCHES UND FUNKTIONALES PROGRAMMIEREN KOMBINIERT UNTERSUCHEN WIRD .
English[en]
THERE WILL BE WORKING GROUPS ON SEMANTICS , PROOF TECHNIQUES , SPECIFICATION AND DESIGN , ETC , AND FIVE SUBPROJECTS INVESTIGATING THE DESIGN OF OBJECT-ORIENTED , FUNCTIONAL ( BOTH DATA DRIVEN AND DEMAND DRIVEN ) AND LOGICAL MACHINES SEPARATELY , AND A MACHINE WHICH COMBINES LOGIC AND FUNCTIONAL PROGRAMMING .
French[fr]
CERTAINS GROUPES S'OCCUPERONT DE LA SEMANTIQUE , D'AUTRES DES TECHNIQUES DE VERIFICATION , DE LA SPECIFICATION ET DE LA CONCEPTION , ETC . , ET CINQ SOUS-PROJETS PORTANT SEPAREMENT SUR LA CONCEPTION DE MACHINES ORIENTEES OBJETS , DE MACHINES FONCTIONNELLES ( COMMANDEES PAR LES DONNEES ET LA DEMANDE ) ET DE MACHINES LOGIQUES , AINSI QUE SUR UNE MACHINE COMBINANT LES PROGRAMMATIONS LOGIQUE ET FONCTIONNELLE SERONT CONSTITUES .
Dutch[nl]
Er zullen werkgroepen zijn die zich bezighouden met semantiek , bewijstechnieken , specificatie en ontwerp , enzovoort en vijf deelprojecten voor onderzoek inzake het ontwerpen van object-georiënteerde , functionele ( zowel datagestuurde als vraaggestuurde ) en logische machines , alsook een machine waarin logisch en functioneel programmeren worden gecombineerd .