Indietro

ⓘ Linguaggio di specifica




Linguaggio di specifica
                                     

ⓘ Linguaggio di specifica

In informatica, un linguaggio di specifica è un linguaggio formale usato per descrivere un sistema software a un livello di astrazione superiore a quello dei linguaggi di programmazione. Lapplicazione di un linguaggio di specifica quindi produce delle specifiche formali. A seconda dei casi, un linguaggio di specifica può essere orientato allanalisi o alla progettazione.

Un linguaggio di specifica può, a seconda dei casi, essere anche un linguaggio di modellazione. In questo caso, la descrizione del sistema può in qualche modo essere considerata un modello, cioè una rappresentazione semplificata del sistema stesso, che ne riproduce i tratti essenziali.

                                     
  • un linguaggio di programmazione general - purpose, sviluppato in origine da Bjarne Stroustrup nei Bell Labs nel 1983 come evoluzione del linguaggio C inserendo
  • James Borg, Il linguaggio del corpo: guida all interpretazione del linguaggio non verbale, Milano 2009 Ornella di Tondo, Il linguaggio del corpo: storia
  • linguaggio di modellazione modelling language in inglese è un linguaggio formale che può essere utilizzato per descrivere modellare un sistema di
  • Kotlin è un linguaggio di programmazione general purpose, multi - paradigma, open source sviluppato dall azienda di software JetBrains. Kotlin si basa sulla
  • l espressione acquisizione del linguaggio o linguaggio infantile in psicolinguistica e psicologia dello sviluppo si intende il processo di apprendimento e crescita
  • calcolo il linguaggio Lisp, il primo linguaggio accademico di successo. A partire da tali contributi iniziali, dagli anni 60 in poi i linguaggi di programmazione
  • Il linguaggio C in inglese The C Programming Language intitolato Linguaggio C nelle prime edizioni italiane e chiamato informalmente anche K R, dalle
  • filosofia del linguaggio si occupa del linguaggio umano e dei suoi sistemi di comunicazione. Poiché indaga le relazioni tra linguaggio pensiero e realtà

Anche gli utenti hanno cercato:

...
...
...