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] |