![](/template/termwiki/images/likesmall.jpg)
Home > Valdkond/domeen > 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
Loop kinnitus
Computer; Software engineering
Loogilise avaldise, täpsustades, et üks või mitu tingimust, mis peavad olema täidetud iga kord, kui programm loop ühte konkreetsesse punkti on täidetud.
silmus invariant
Computer; Software engineering
Loogilise avaldise, täpsustades, et üks või mitu tingimust, mis peavad olema täidetud iga kord, kui programm loop ühte konkreetsesse punkti on täidetud.
Sisesta kinnitus
Computer; Software engineering
Loogilise avaldise, milles üks või mitu tingimust, et programmi sisendite peavad vastama, et olla kehtiv.
toodangu kinnitus
Computer; Software engineering
Loogilise avaldise, milles üks või mitu tingimust, et programmi tulemused peavad vastama selleks, et programm peaks olema õige.
microprogrammable arvuti
Computer; Software engineering
Microprogrammed arvuti, kus saab microprograms luua või muuta kasutaja.
Üksiktaseme kodeering
Computer; Software engineering
Microprogramming meetod, kus eri microoperations on kodeeritud erinevate väärtuste on microinstruction sama välja.
deklaratiivseid keel
Computer; Software engineering
Nonprocedural keel, mis võimaldab kasutajal kuulutada asjaolude ja esitada küsimusi või probleeme, mis kasutavad neid fakte.