4 Terms
Home > Industry/Domain > Computer; Software > Software engineering
Software engineering
The systematic application of scientific principles and disciplines to the development, operation, and maintenance of software to perform prespecified functions with maximum economy and efficiency.
Contributors in Software engineering
Software engineering
logiikka ohjelmointikieli
Computer; Software engineering
Ohjelmointikieli käyttää ilmaista ohjelmien valvonnan rakenteita ja rajoitettu predikaatti calculus; esimerkiksi prologi.
Tasapoisto koodaus
Computer; Software engineering
Ohjelmoinnin tekniikka, jossa silmukat vältetään toteamalla selkeästi ja täysimääräisesti kaikki ohjeet, jotka osallistuvat kunkin silmukan suoritus.
pienin viive ohjelmointi
Computer; Software engineering
Ohjelmoinnin tekniikka, jolla tietokone ohjeet ja tiedot on valittu siten, että hakuaika on minimoitu.
Induktiivinen väite menetelmä
Computer; Software engineering
Todistus oikeellisuudesta tekniikka joka väittää kirjoitetaan kuvataan ohjelman panosten, tuotoksen ja keskitason ehtoja, joukko lauseet on kehitetty koskevat tyytyväisyys tulo väitteitä tyytyväisiä ...
metrinen
Computer; Software engineering
Määrärajoituksia todennäköisyyttä, jolla järjestelmän, osan tai processpossesses tietyn määritteen.
vakio
Computer; Software engineering
Määrä tai tietojen kohteen, jonka arvo ei voi muuttua; esimerkiksi tietojen kohteen viisi muuttumaton arvo 5.
tuhoisa lukea
Computer; Software engineering
Lukutoiminto, joka muuttaa tiedot käytetyistä paikalla.
