A formal specification in JML of the Java security package

Συγγραφείς: Poonam Agarwal, Carlos E. Rubio-medrano, Yoonsik Cheon, Patricia J. Teller

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

Πηγή: http://www.cs.utep.edu/~cheon/techreport/tr06-13.pdf.

Θεματικοί όροι: formal specification, application programming interface, security, programming by contract, pre and postconditions, JML language. 1998 CR Categories, D.2.4 [Software Engineering] Software/Program Verification — class invariants

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

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.6567
http://www.cs.utep.edu/~cheon/techreport/tr06-13.pdf