Model Variables: Cleanly Supporting Abstraction in Design By Contract

Συγγραφείς: Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen Edwards

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://archives.cs.iastate.edu/documents/disk0/00/00/02/60/00000260-00/tr03-10.pdf.

Θεματικοί όροι: Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Assertions

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.197.6325

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.197.6325
http://archives.cs.iastate.edu/documents/disk0/00/00/02/60/00000260-00/tr03-10.pdf

Model Variables: Cleanly Supporting

Συγγραφείς: Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen Edwards, Stephen Edwards D

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://archives.cs.iastate.edu/documents/disk0/00/00/03/14/00000314-00/tr03-10a.pdf.

Θεματικοί όροι: Programs] Specifying and Verifying and Reasoning about Programs — Assertions

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.1240

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.1240
http://archives.cs.iastate.edu/documents/disk0/00/00/03/14/00000314-00/tr03-10a.pdf

Protective interface specifications

Συγγραφείς: Gary T. Leavens, Jeannette M. Wing

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://archives.cs.iastate.edu/documents/disk0/00/00/01/32/00000132-01/TR96-04a.pdf.

Θεματικοί όροι: Programs] Specifying and Verifying and Reasoning about Programs | assertions, logics

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.9492

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.9492
http://archives.cs.iastate.edu/documents/disk0/00/00/01/32/00000132-01/TR96-04a.pdf