- 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 llenguatge de programació utilitzat per expressar programes pel que fa a construccions de control i un càlcul de predicat restringit; per exemple, PROLOG.
Industry:Computer; Software
Una tècnica de programació en què bucles s'eviten en afirmar explícitament i en plena tot de les instruccions que es veuria embolicat en l'execució de cada bucle.
Industry:Computer; Software
Una tècnica de programació en què d'emmagatzematge localitzacions per a dades i instruccions de l'ordinador són escollides per tal que es minimitza el temps d'accés.
Industry:Computer; Software
Una prova de la tècnica de correcció en quines afirmacions estan escrits que descriu les condicions intermedis, sortides i entrades de programa, un conjunt de teoremes és desenvolupat relacionats amb la satisfacció de les afirmacions d'entrada a la satisfacció de les afirmacions de sortida, i els teoremes està demostrat ser molt o descartat teoria mitjançant prova per inducció.
Industry:Computer; Software
O processo de determinar se os requisitos para um sistema ou componente são completas e correctas, os produtos de cada fase do desenvolvimento cumprir os requisitos ou condições impostas pela fase anterior, e o sistema final ou compon'ent está em conformidade com os requisitos especificados.
Industry:Computer; Software
O processo de estimar ou medir a quantidade de tempo de execução necessário para um sistema de software ou componente.
Industry:Computer; Software
Laitteisto tai ohjelmisto, joka on yhteensopiva uudempi tai monimutkaisempi versio itse; esimerkiksi ohjelma, joka käsittelee tiedostoja, jotka on luonut uudempi versio itse.
Industry:Computer; Software
Laitteisto tai ohjelmisto, joka on yhteensopiva aiemman tai yksinkertaisempi versio itsensä. esimerkiksi ohjelma, joka käsittelee tiedostoja, jotka on luotu aiemmalla itse.
Industry:Computer; Software
Una mesura quantitativa de la titulació a la qual un sistema, component o processpossesses un atribut determinat.
Industry:Computer; Software
