Home - Rasfoiesc.com
Educatie Sanatate Inginerie Business Familie Hobby Legal
Doar rabdarea si perseverenta in invatare aduce rezultate bune.stiinta, numere naturale, teoreme, multimi, calcule, ecuatii, sisteme



Biologie Chimie Didactica Fizica Geografie Informatica
Istorie Literatura Matematica Psihologie

Informatica


Index » educatie » Informatica
Dezvoltare formala


Dezvoltare formala




Dezvoltare formala

Strategie de dezvoltare software bazata pe transformarea formala (matematica) a unei specificatii formale intr-un program executabil.

Cerintele sistemului sunt exprimate sub forma unei specificatii formale

Transformarea inlocuieste etapele de design, implementare si testare unitara din modelelul cascada

Transformarea este alcatuitata dintr-o secventa de rafinari succesive a caror corectitudine este demonstrata matematic

Validarea implementarii se face prin demonstratii

Folosita in metoda Cleanroom, dezvoltata de IBM
Probleme:
Este nevoie de personal specializat si training
Este dificil de specificat formal unele aspecte ale sistemului, precum interfata cu utilizatorul
Aplicabilitate:

Sisteme safety-critical




loading...




Politica de confidentialitate


Copyright © 2020 - Toate drepturile rezervate