On the role of interpolation in stepwise refinement

Άρθρο Συνεδρίου uoadl:1046836 226 Αναγνώσεις

Πρωτότυπος Τίτλος:
On the role of interpolation in stepwise refinement
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Δημητράκος, Θ.
Maibaum, Thomas S. E.
Περίληψη:
Δεν υπάρχει περίληψη
Κύρια θεματική κατηγορία:
Λογική
Λοιπές θεματικές κατηγορίες:
Πληροφορική
Λέξεις-κλειδιά:
stepwise refinement, interpolation, uniformity, subentailments
Σελίδες (από-έως):
181-186
Σημειώσεις:
Περιλαμβάνει περίληψη και βιβλιογραφικές αναφορές
Το ψηφιακό υλικό του τεκμηρίου δεν είναι διαθέσιμο.