- 行业: 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 ...
Μια τεχνική προγραμματισμού στην οποία αποθήκευσης θέσεις για οδηγίες υπολογιστή και τα δεδομένα είναι επιλέγεται έτσι ώστε χρόνο πρόσβασης είναι ελαχιστοποιημένη.
Industry:Computer; Software
Απόδειξη της ορθότητας τεχνική σε ισχυρισμούς που γράφονται που περιγράφει το πρόγραμμα εισροές, εκροές και ενδιάμεσες προϋποθέσεις, αναπτύσσεται ένα σύνολο των θεωρημάτων που αφορούν ικανοποίηση εισόδου διαβεβαιώσεις που να ικανοποιεί τους ισχυρισμούς της εξόδου και τα θεωρήματα είναι αποδεικνύεται ή αποδεικνύει με απόδειξη με επαγωγή.
Industry:Computer; Software
Μια ποσοτική μέτρο του βαθμού στον οποίο ενός συστήματος, κατασκευαστικού στοιχείου ή processpossesses ένα συγκεκριμένο χαρακτηριστικό.
Industry:Computer; Software
Μια ποσοτική δήλωση σχετικά με το αναμενόμενο αριθμό ή τη φύση του σφάλματα σε ένα σύστημα ή κατασκευαστικό στοιχείο.
Industry:Computer; Software
Ένα στοιχείο δεδομένων ή η ποσότητα των οποίων η αξία μπορεί να αλλάξει, για παράδειγμα, η μεταβλητή τρέχουσας χρονικής.
Industry:Computer; Software
Ένα στοιχείο ποσότητα ή τα δεδομένα των οποίων η αξία δεν είναι δυνατό να αλλάξετε; για παράδειγμα, τα δεδομένα του σημείου ΠΈΝΤΕ, με αμετάβλητη τιμή 5.
Industry:Computer; Software
Μια λειτουργία ανάγνωσης που αλλάζει τα δεδομένα στην πρόσβαση θέση.
Industry:Computer; Software
Μια λειτουργία ανάγνωσης που δεν διαγράφει τα δεδομένα στην πρόσβαση θέση.
Industry:Computer; Software
Μια εγγραφή όλων ή επιλεγμένο υπορουτίνες ή κλήσεις συναρτήσεων που εκτελούνται κατά την εκτέλεση ενός προγράμματος ηλεκτρονικών υπολογιστών και, προαιρετικά, τις τιμές των παραμέτρων που έχουν περάσει και επιστρέφονται από κάθε υπορουτίνα ή συνάρτηση.
Industry:Computer; Software
Μια εγγραφή όλων ή επιλεγμένο υπορουτίνες ή κλήσεις συναρτήσεων που εκτελούνται κατά την εκτέλεση ενός προγράμματος ηλεκτρονικών υπολογιστών και, προαιρετικά, τις τιμές των παραμέτρων που έχουν περάσει και επιστρέφονται από κάθε υπορουτίνα ή συνάρτηση.
Industry:Computer; Software
