Travelled to:1 × USA
Collaborated with:C.Zhang
Talks about:object (2) contract (1) checkabl (1) convers (1) skelet (1) execut (1) design (1) dynam (1) perl (1) java (1)
Person: Sherri M. Sanders
DBLP: Sanders:Sherri_M=
Contributed to:
2008Wrote 1 papers:
- SEKE-2008-SandersZ #contract #design #execution #java
- Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts (SMS, CZ), pp. 824–829.