Paradigma orientato agli oggetti nella specifica dei sistemi di tempo reale

deep search

collection's Playback

Metadata

Lingua dei metadati

Titolo Paradigma orientato agli oggetti nella specifica dei sistemi di tempo reale

Soggetto Paradigma orientato agli oggetti

Descrizione Le tecniche per la specifca di sistemi di tempo reale sono attualmente al centro dell'attenzione di molti ricercatori e sviluppatori. Questo àe dovuto al fatto che i sistemi di tempo reale sviluppati per mezzo di tecniche tradizionali presentano usualmente forti criticitàa dal punto di vista dell'afdabilitàa a causa dell' adozione di metodologie di sviuluppo idadegute e di metodi empirici per la soluzione di problemi specifci. Negli ultimi anni il paradigma orientato agli oggetti àe stato utilizzato da molti per migliorare il processo di produzione software dei sistemi di tempo reale, defnendo metodologie, tool e linguaggi. In molti casi, il paradigma àe stato afancato da metodi formali per garantire la possibilitàa di descrivere tutti gli aspetti del sistema ed efettuare verifche di consistenza e completezza della specifca, nonchée la validazione fnale. Questa deve garantire che il sistema fnale soddisferàa i vincoli temporali imposti sul comportamento del sistema dal contesto. In questo lavoro sono evidenziate le caratteristiche che deve avere un metodo per lo sviluppo di software per sistemi di tempo reale al fne di assicurare il corretto funzionamento del sistema fnale ed un'elevata qualitàa con uno sforzo ragionevo

Descrizione Publicato negli atti del Convegno "Obiettivo Qualitàa: verso la fabbrica del software afdabile", Maggio 1994, Milano.

Tecnico

Classificazione

IPR: informazioni

Luogo

Azioni

Media:

Il tuo voto: Nessuno

Pubblicato da root il Dom, 2016-01-10 12:10

Filtri di Ricerca

Contenuti

Organizza collezioni personali

Select resources to add to collections

Vuoi veramente ripartire
dal zero?

Classificazione

Warning: Table '.\drupal\sessions' is marked as crashed and should be repaired query: UPDATE sessions SET uid = 0, cache = 0, hostname = '192.168.0.44', session = 'hidePDA|s:1:\"0\";', timestamp = 1713570369 WHERE sid = '0d52bd71d6f7d670cae48b9e4462d59e' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128

New Menu

Related objects by text

Commenti

collection's Playback

Metadata

Azioni

Filtri di Ricerca

Contenuti

Organizza collezioni personali

Classificazione