Travelled to:1 × Israel
1 × Switzerland
1 × USA
Collaborated with:M.Sitaraman S.Drachova-Strang J.E.Hollingsworth H.K.Harton H.Smith Y.Sun J.C.Carver J.O.Hallstrom D.P.Jacobs J.Krone
Talks about:specif (2) web (2) use (2) systemat (1) mathemat (1) approach (1) abstract (1) project (1) modular (1) verifi (1)
Person: Charles T. Cook
DBLP: Cook:Charles_T=
Contributed to:
2013
2012
2012Wrote 3 papers:
- CSEET-2013-CookDSSCH #ide #reasoning #specification #using #web
- Specification and reasoning in SE projects using a Web IDE (CTC, SDS, YSS, MS, JCC, JEH), pp. 229–238.
- ICSE-2012-CookHSS #compilation #composition #specification #using #verification
- Specification engineering and modular verification using a web-integrated verifying compiler (CTC, HKH, HS, MS), pp. 1379–1382.
- ITiCSE-2012-CookDHHJKS #abstraction #approach #education #modelling
- A systematic approach to teaching abstraction and mathematical modeling (CTC, SDS, JOH, JEH, DPJ, JK, MS), pp. 357–362.