Travelled to:2 × USA
Collaborated with:J.R.Kiniry D.M.Zimmerman
Talks about:implement (1) document (1) instant (1) gradeif (1) consist (1) between (1) toward (1) specif (1) formal (1) design (1)
Person: Fintan Fairmichael
DBLP: Fairmichael:Fintan
Contributed to:
2011
2009Wrote 2 papers:
- CSEET-2011-ZimmermanKF #towards
- Toward instant gradeification (DMZ, JRK, FF), pp. 406–410.
- CBSE-2009-KiniryF #consistency #design #documentation #implementation #specification
- Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations (JRK, FF), pp. 242–261.