Comunicació

9 les relacions: C. A. R. Hoare, Especificació, Interfície, Llenguatge d'especificació, Llenguatge formal, Processos comunicants seqüencials, Robin Milner, 1980, 1985.

C. A. R. Hoare

Sir Charles Antony Richard Hoare FRS FREng (nascut l'11 de gener de 1934), conegut normalment com a Tony Hoare o C. A. R. Hoare, és un informàtic britànic.

Nou!!: CCS і C. A. R. Hoare · Veure més »

Especificació

En informàtica, una especificació és una definició formal o semi-formal d'un sistema informàtic ja sigui un programa informàtic, un component de programari, una llibreria o qualsevol altre tipus de programari.

Nou!!: CCS і Especificació · Veure més »

Interfície

Interfície és la connexió entre dos ordinadors o màquines de qualsevol tipus donant una comunicació entre diferents nivells.

Nou!!: CCS і Interfície · Veure més »

Llenguatge d'especificació

En informàtica, un llenguatge d'especificació o llenguatge de descripció és un llenguatge formal o semi-formal la funció del qual és construir un model del sistema que es vol crear.

Nou!!: CCS і Llenguatge d'especificació · Veure més »

Llenguatge formal

teoremes. En alguns sistemes formals, però, el conjunt dels teoremes coincideix amb el de les fórmules ben formades. A matemàtiques, lògica, i ciències de la computació, un llenguatge formal és un llenguatge on els símbols primitius i regles per a unir aquests símbols estan formalment especificats.

Nou!!: CCS і Llenguatge formal · Veure més »

Processos comunicants seqüencials

Processos comunicants seqüencials, de sigles anglosaxones CSP (Communicating sequential processes), és un model de Programació d'ordinadors de sistemes concurrents basat en la comunicació entre processos.

Nou!!: CCS і Processos comunicants seqüencials · Veure més »

Robin Milner

Arthur John Robin Gorell Milner FRS FRSE (13 de gener de 1934 – 20 de març de 2010), conegut com a Robin Milner o A. J. R. G. Milner, fou un informàtic britànic, guanyador del premi Turing.

Nou!!: CCS і Robin Milner · Veure més »

1980

1980 (MCMLXXX) fon un any de traspàs del calendari gregorià començat en dimarts.

Nou!!: CCS і 1980 · Veure més »

1985

1985 (MCMLXXXV) fou un any normal començat en dimarts segons el calendari gregorià.

Nou!!: CCS і 1985 · Veure més »

Uniopèdia és un mapa conceptual o xarxa semàntica organitzada com una enciclopèdia o diccionari. Es dóna una breu definició de cada concepte i les seves relacions.

Aquest és un mapa mental en línia gegant que serveix com a base per a diagrames de conceptes. És lliure d'utilitzar i cada article o document es pot descarregar. És una eina, de recursos o de referència per a l'estudi, la investigació, l'educació, l'aprenentatge o l'ensenyament, que pot ser utilitzat per professors, educadors, alumnes o estudiants; per al món acadèmic: per a l'escola, primària, secundària, batxillerat, secundària, universitat, grau tècnic, escola, universitat, de llicenciatura, mestratge o doctorat; per als papers, informes, projectes, idees, documents, enquestes, resums, o tesi. Aquí està la definició, l'explicació, la descripció o el significat de cada significativa sobre la qual necessita informació, i una llista dels seus conceptes associats com un glossari. Disponible en català, anglès, espanyol, portuguès, japonès, xinès, francès, alemany, italià, polonès, holandès, rus, àrab, hindi, suec, ucraïnesa, hongaresa, txec, hebreu, danès, finlandès, indonesi, noruec, romanès, turc, vietnamita, coreana, tailandesa, grega, búlgara, croata, eslovaca, lituània, filipina, letònia, estònia і eslovè. Més idiomes aviat.

Tota la informació va ser extreta de Viquipèdia i està disponible sota la Llicència de Creative Commons Reconeixement i Compartir-Igual.

Uniopèdia no està avalada ni afiliada a la Fundació Wikimedia.

Google Play, Android i el logotip de Google Play són marques comercials de Google Inc.

Política de privacitat

SortintEntrant