- Industry: Computer; Software
- Number of terms: 50628
- Number of blossaries: 0
- Company Profile:
Founded in 1946, the IEEE Computer Society is a professional organization for computing professionals. Based in Washington, DC, it's the largest of IEEE’s 38 societies organized under the IEEE Technical Activities Board. The IEEE Computer Society is dedicated to advancing the theory, practice, and ...
Un limbaj de programare care necesită puţine cunoştinţe de calculator pe care va rula un program, poate fi tradus în mai multe limbi diferite maşină, permite denumire simbolică de operaţiuni şi adrese, furnizează caracteristici proiectate pentru a facilita expresia de structuri de date si program de logică, şi, de obicei, rezultate în mai multe instrucţiuni de maşină pentru fiecare declaraţie de program. Exemple includ Ada, COBOL, FORTRAN, ALGOL, PASCAL.
Industry:Computer; Software
Un limbaj de programare utilizat pentru a exprima programe ca o succesiune de funcţii şi apelări de funcţii. Exemple includ LISP.
Industry:Computer; Software
Un limbaj de programare utilizat pentru a exprima programe constructe de control şi un calcul Predicatul restrânse; de exemplu, PROLOG.
Industry:Computer; Software
O tehnica de programare în care buclele sunt evitate prin care să ateste în mod explicit şi în toate plin de instrucţiuni care ar fi implicat în executarea de fiecare buclă.
Industry:Computer; Software
O tehnica de programare în care depozitarea locatii pentru instrucţiuni de calculator şi datele sunt alese astfel încât timpul de acces este minimizat.
Industry:Computer; Software
Un plan de proiect pentru un proiect de dezvoltare de software.
Industry:Computer; Software
O dovadă de corectitudinea tehnică în care afirmaţii sunt scrise descrie programul intrări, ieşiri şi condiţiile de intermediar, un set de teoreme este dezvoltat privind satisfacţia de afirmaţii intrare spre satisfacţia de afirmaţii de ieşire, şi teoremele s-au dovedit sau infirmat folosind dovada de inducţie.
Industry:Computer; Software
