Kide : Sartu |Izena eman |Ez, eskerrik ezagutza
Search for
Metodo formalak [Eraldatu ]
Informatikan, bereziki softwarearen ingeniaritza eta hardware ingeniaritza, metodo formalak software eta hardware sistemen zehaztapen, garapen eta egiaztapen matematikoki oinarritutako teknikak dira. Softwarearen eta hardwarearen diseinurako metodo formalen erabilera ingeniaritza diziplina batzuetan bezalaxe, analisi matematiko egoki bat egiteak diseinuaren fidagarritasuna eta sendotasuna bermatzen du.
Metodologia formalak ordenagailu zientifiko teoriko oinarrizko oinarrizkoak, batez ere logika kalkuluak, hizkuntza formalak, automatizazio teoria, gertaera diskretoko sistema dinamikoak eta programa semantikoak bezalako barietate zabalen aplikazioa dira. Era berean, sistema motak eta datu-mota aljebraikoak softwarearen arazoei dagokie. eta hardware espezifikazioa eta egiaztapena.
[Ordenagailuaren hardwarea]
1.Taxonomy
1.1.Metodo formal arinak
2.erabilerak
2.1.zehaztapena
2.2.Garapen
2.3.Egiaztapena
2.3.1.Giza zuzendutako froga
2.3.2.Proba automatizatua
3.eskaerak
4.Software garapenean
5.Metodo formalak eta notazioak
5.1.Espezifikazio hizkuntzak
5.2.Eredua zuzentzaileak
[Igo Gehiago Edukiak ]


Copyright @2018 Lxjkh