Περιεχόμενα. Κεφάλαιο 2 Κοινωνικοτεχνικά συστήματα 49

Transcript

1 Περιεχόμενα Πρόλογος 5 Μέρος 1 Επισκόπηση 27 Κεφάλαιο 1 Εισαγωγή Συχνές ερωτήσεις για την τεχνολογία λογισμικού Επαγγελματική και ηθική ευθύνη 41 Κύρια σημεία 46 Πρόσθετες πηγές 46 Ασκήσεις 47 Κεφάλαιο 2 Κοινωνικοτεχνικά συστήματα Ανακύπτουσες ιδιότητες συστήματος Τεχνολογία συστημάτων Οργανισμοί, άνθρωποι, και συστήματα υπολογιστών Κληρονομημένα συστήματα 70 Κύρια σημεία 73 Πρόσθετες πηγές 73 Ασκήσεις 74

2 16 Περιεχόμενα Κεφάλαιο 3 Κρίσιμα συστήματα Ένα απλό σύστημα κρίσιμο από άποψη ασφάλειας Φερεγγυότητα συστήματος Διαθεσιμότητα και αξιοπιστία Ασφάλεια Προστασία από εξωτερικούς κινδύνους 94 Κύρια σημεία 97 Πρόσθετες πηγές 98 Ασκήσεις 98 Κεφάλαιο 4 Διαδικασίες παραγωγής λογισμικού Μοντέλα διαδικασιών παραγωγής λογισμικού Επαναληπτικές διαδικασίες Δραστηριότητες διαδικασιών Η Ορθολογική Ενοποιημένη Διαδικασία Τεχνολογία λογισμικού με τη βοήθεια υπολογιστή 126 Κύρια σημεία 131 Πρόσθετες πηγές 132 Ασκήσεις 132 Κεφάλαιο 5 Διαχείριση έργων Δραστηριότητες διαχείρισης Σχεδιασμός έργου Χρονοπρογραμματισμός έργου Διαχείριση κινδύνων 149 Κύρια σημεία 156 Πρόσθετες πηγές 157 Ασκήσεις 157

3 Περιεχόμενα 17 Μέρος 2 Απαιτήσεις 159 Κεφάλαιο 6 Απαιτήσεις λογισμικού Λειτουργικές και μη λειτουργικές απαιτήσεις Απαιτήσεις χρήστη Απαιτήσεις συστήματος Προδιαγραφές διασύνδεσης Το έγγραφο των απαιτήσεων λογισμικού 181 Κύρια σημεία 186 Πρόσθετες πηγές 186 Ασκήσεις 187 Κεφάλαιο 7 Διαδικασίες της τεχνολογίας απαιτήσεων Μελέτες σκοπιμότητας Εξαγωγή και ανάλυση απαιτήσεων Επικύρωση απαιτήσεων Διαχείριση απαιτήσεων 209 Κύρια σημεία 215 Πρόσθετες πηγές 216 Ασκήσεις 216 Κεφάλαιο 8 Μοντέλα συστήματος Μοντέλα θεματικού πλαισίου Μοντέλα συμπεριφοράς Μοντέλα δεδομένων Μοντέλα αντικειμένων Δομημένες μέθοδοι 239 Κύρια σημεία 242 Πρόσθετες πηγές 243 Ασκήσεις 243

4 18 Περιεχόμενα Κεφάλαιο 9 Προδιαγραφή κρίσιμων συστημάτων Προδιαγραφή καθοδηγούμενη από κινδύνους Προδιαγραφή ασφάλειας Προδιαγραφή προστασίας από εξωτερικούς κινδύνους Προδιαγραφή αξιοπιστίας λογισμικού 261 Κύρια σημεία 268 Πρόσθετες πηγές 269 Ασκήσεις 269 Κεφάλαιο 10 Τυπική προδιαγραφή Τυπική προδιαγραφή στη διαδικασία παραγωγής λογισμικού Προδιαγραφή διασύνδεσης υποσυστημάτων Προδιαγραφή συμπεριφοράς 285 Κύρια σημεία 292 Πρόσθετες πηγές 292 Ασκήσεις 292 Μέρος 3 Σχεδιασμός 295 Κεφάλαιο 11 Αρχιτεκτονικός σχεδιασμός Αποφάσεις αρχιτεκτονικού σχεδιασμού Οργάνωση συστήματος Στυλ αποδόμησης σε υπομονάδες Στυλ ελέγχου Αρχιτεκτονικές αναφοράς 318 Κύρια σημεία 321 Πρόσθετες πηγές 322 Ασκήσεις 322

5 Περιεχόμενα 19 Κεφάλαιο 12 Αρχιτεκτονικές κατανεμημένων συστημάτων Αρχιτεκτονικές πολυεπεξεργασίας Αρχιτεκτονικές πελάτη-διακομιστή Αρχιτεκτονικές κατανεμημένων αντικειμένων Διεπιχειρησιακή κατανεμημένη επεξεργασία 343 Κύρια σημεία 351 Πρόσθετες πηγές 351 Ασκήσεις 352 Κεφάλαιο 13 Αρχιτεκτονικές εφαρμογών Συστήματα επεξεργασίας δεδομένων Συστήματα επεξεργασίας συναλλαγών Συστήματα επεξεργασίας συμβάντων Συστήματα επεξεργασίας γλώσσας 370 Κύρια σημεία 373 Πρόσθετες πηγές 373 Ασκήσεις 374 Κεφάλαιο 14 Αντικειμενοστρεφής σχεδιασμός Αντικείμενα και κλάσεις αντικειμένων Μια διαδικασία αντικειμενοστρεφούς σχεδιασμού Εξέλιξη του σχεδιασμού 400 Κύρια σημεία 402 Πρόσθετες πηγές 403 Ασκήσεις 403 Κεφάλαιο 15 Σχεδιασμός λογισμικού πραγματικού χρόνου Σχεδιασμός συστήματος Λειτουργικά συστήματα πραγματικού χρόνου Συστήματα παρακολούθησης και ελέγχου Συστήματα απόκτησης δεδομένων 422 Κύρια σημεία 426 Πρόσθετες πηγές 426 Ασκήσεις 427

6 20 Περιεχόμενα Κεφάλαιο 16 Σχεδιασμός διασύνδεσης χρήστη Ζητήματα σχεδιασμού Η διαδικασία σχεδιασμού της διασύνδεσης χρήστη Ανάλυση χρηστών Κατασκευή πρωτοτύπων διασύνδεσης χρήστη Αξιολόγηση διασύνδεσης 452 Κύρια σημεία 455 Πρόσθετες πηγές 455 Ασκήσεις 456 Μέρος 4 Ανάπτυξη 457 Κεφάλαιο 17 Γρήγορη ανάπτυξη λογισμικού Ευέλικτες μέθοδοι Ακραίος προγραμματισμός Γρήγορη ανάπτυξη εφαρμογών Κατασκευή πρωτοτύπων λογισμικού 479 Κύρια σημεία 483 Πρόσθετες πηγές 484 Ασκήσεις 484 Κεφάλαιο 18 Επαναχρησιμοποίηση λογισμικού Το τοπίο της επαναχρησιμοποίησης Σχεδιαστικά υποδείγματα Επαναχρησιμοποίηση βάσει γεννητριών Πλαίσια εργασίας εφαρμογών Επαναχρησιμοποίηση συστημάτων εφαρμογών 502 Κύρια σημεία 513 Πρόσθετες πηγές 514 Ασκήσεις 514

7 Περιεχόμενα 21 Κεφάλαιο 19 Τεχνολογία λογισμικού βάσει συστατικών στοιχείων Συστατικά στοιχεία και μοντέλα συστατικών στοιχείων Η διαδικασία CBSE Σύνθεση συστατικών στοιχείων 531 Κύρια σημεία 539 Πρόσθετες πηγές 540 Ασκήσεις 540 Κεφάλαιο 20 Ανάπτυξη κρίσιμων συστημάτων Φερέγγυες διαδικασίες Φερέγγυος προγραμματισμός Ανοχή σε σφάλματα Ανεκτικές σε σφάλματα αρχιτεκτονικές 563 Κύρια σημεία 567 Πρόσθετες πηγές 568 Ασκήσεις 568 Κεφάλαιο 21 Εξέλιξη λογισμικού Δυναμική της εξέλιξης των προγραμμάτων Συντήρηση λογισμικού Διαδικασίες εξέλιξης Εξέλιξη κληρονομημένων συστημάτων 586 Κύρια σημεία 592 Πρόσθετες πηγές 593 Ασκήσεις 593 Μέρος 5 Επαλήθευση και επικύρωση 595 Κεφάλαιο 22 Επαλήθευση και επικύρωση Σχεδιασμός επαλήθευσης και επικύρωσης Επιθεωρήσεις λογισμικού 604

8 22 Περιεχόμενα 22.3 Αυτοματοποιημένη στατική ανάλυση Επαλήθευση και τυπικές μέθοδοι 614 Κύρια σημεία 619 Πρόσθετες πηγές 619 Ασκήσεις 620 Κεφάλαιο 23 Δοκιμές λογισμικού Δοκιμές συστήματος Δοκιμές συστατικών στοιχείων Σχεδιασμός περιπτώσεων δοκιμής Αυτοματοποίηση δοκιμών 648 Κύρια σημεία 650 Πρόσθετες πηγές 651 Ασκήσεις 651 Κεφάλαιο 24 Επικύρωση κρίσιμων συστημάτων Επικύρωση αξιοπιστίας Εγγύηση ασφάλειας Αξιολόγηση προστασίας από εξωτερικούς κινδύνους Πειστήρια ασφάλειας και φερεγγυότητας 671 Κύρια σημεία 675 Πρόσθετες πηγές 675 Ασκήσεις 676 Μέρος 6 Διαχείριση 679 Κεφάλαιο 25 Διαχείριση ανθρώπινου δυναμικού Επιλογή του προσωπικού Παρακίνηση ανθρώπων Διαχείριση ομάδων Το μοντέλο Ωριμότητας Ανθρώπινων Ικανοτήτων 699

9 Περιεχόμενα 23 Κύρια σημεία 702 Πρόσθετες πηγές 702 Ασκήσεις 703 Κεφάλαιο 26 Εκτίμηση κόστους λογισμικού Παραγωγικότητα λογισμικού Τεχνικές εκτιμήσεων Αλγοριθμική μοντελοποίηση κόστους Διάρκεια και στελέχωση έργων 732 Κύρια σημεία 734 Πρόσθετες πηγές 734 Ασκήσεις 735 Κεφάλαιο 27 Διαχείριση ποιότητας Ποιότητα διαδικασιών και προϊόντων Διασφάλιση ποιότητας και πρότυπα Σχεδιασμός ποιότητας Έλεγχος ποιότητας Μετρήσεις και μετρικές λογισμικού 751 Κύρια σημεία 760 Πρόσθετες πηγές 761 Ασκήσεις 761 Κεφάλαιο 28 Βελτίωση διαδικασιών Ποιότητα διαδικασιών και προϊόντων Κατηγοριοποίηση διαδικασιών Μετρήσεις διαδικασιών Ανάλυση και μοντελοποίηση διαδικασιών Μεταβολή διαδικασιών Το πλαίσιο βελτίωσης διαδικασιών του μοντέλου CMMI 779 Κύρια σημεία 786 Πρόσθετες πηγές 786 Ασκήσεις 787

10 24 Περιεχόμενα Κεφάλαιο 29 Διαχείριση διευθετήσεων Σχεδιασμός διαχείρισης διευθετήσεων Διαχείριση αλλαγών Διαχείριση πρώιμων και τελικών εκδόσεων Δόμηση συστήματος Εργαλεία CASE για τη διαχείριση διευθετήσεων 808 Κύρια σημεία 813 Πρόσθετες πηγές 814 Ασκήσεις 814 Μέρος 7 Αναδυόμενες τεχνολογίες 817 Κεφάλαιο 30 Τεχνολογία προστασίας από εξωτερικούς κινδύνους Έννοιες προστασίας από εξωτερικούς κινδύνους Διαχείριση κινδύνων σε σχέση με την προστασία Σχεδιασμός με στόχο την προστασία Επιβιωσιμότητα συστημάτων 842 Κύρια σημεία 846 Πρόσθετες πηγές 847 Ασκήσεις 847 Κεφάλαιο 31 Υπηρεσιοκεντρική τεχνολογία λογισμικού Οι υπηρεσίες ως επαναχρησιμοποιήσιμα συστατικά στοιχεία Τεχνολογία υπηρεσιών Υπηρεσιοκεντρική ανάπτυξη λογισμικού 868 Κύρια σημεία 877 Πρόσθετες πηγές 878 Ασκήσεις 878

11 Περιεχόμενα 25 Κεφάλαιο 32 Θεματοκεντρική ανάπτυξη λογισμικού Διαχωρισμός των ζητουμένων Θέματα, σημεία σύνδεσης, και σημειοτομές Τεχνολογία λογισμικού με θέματα 890 Κύρια σημεία 903 Πρόσθετες πηγές 904 Ασκήσεις 904 Γλωσσάρι 905 Βιβλιογραφία 919 Ευρετήριο 939 Ευρετήριο συγγραφέων 953