Paradigma orientato agli oggetti nella specifica dei sistemi di tempo reale

deep search

collection's Playback

Metadata

Metadata languages

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

Subject Paradigma orientato agli oggetti

Description 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

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

Technical

Classification

IPR information

Location

Actions

Average:

Your rating: None

Submitted by root on Sun, 2016-01-10 12:10

Search Filter

Content

Organize Personal Collection

Select resources to add to collections

Do you really want to start
from scratch?

Classification

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 = 1713552485 WHERE sid = '92dbbb3d9cb3611532ee1956aac312c8' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128

New Menu

Related objects by text

Comments

collection's Playback

Metadata

Actions

Search Filter

Content

Organize Personal Collection

Classification