BibSonomy :: author  ::

bookmarks

publications

(21)

• Support for teaching formal methods.
  Vicki L. Almstrum and C. Neville Dean and Don Goelman and Thomas B. Hilburn and Jan Smith SIGCSE Bulletin 33 71-88 (2001)
  to dblp by dblp on 2008-07-17 00:00:00
  | URL | BibTeX  
• Diskrete Mathematik im Klartext.
  Neville Dean (2003)
  to book diskrete-strukturen klartext mathe rating:5 read:2005 read:2007 studium uni by cschenk on 2008-06-27 16:22:37
  | URL | BibTeX  
• A Survey of Formal Methods Courses in European Higher Education.
  José Nuno Oliveira TFM 235-248 (2004)
  to dblp by dblp on 2006-09-11 00:00:00
  | URL | BibTeX  
• Introducing formal methods through role-playing.
  Neville Dean and Michael G. Hinchey SIGCSE 302-306 (1995)
  to dblp by dblp on 2006-02-15 00:00:00
  | URL | BibTeX  
• An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students.
  Manuel J. Fernández Iglesias and Martín Llamas Nistal TFM 153-165 (2004)
  to dblp by dblp on 2004-10-14 00:00:00
  | URL | BibTeX  
• Embedding Formal Development in Software Engineering.
  Ken Robinson TFM 203-213 (2004)
  to dblp by dblp on 2004-10-13 00:00:00
  | URL | BibTeX  
• Teaching Formal Methods in Context.
  Jim Davies and Andrew Simpson and Andrew Martin TFM 185-202 (2004)
  to dblp by dblp on 2004-10-13 00:00:00
  | URL | BibTeX  
• Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods.
  Richard F. Paige and Jonathan S. Ostroff TFM 107-123 (2004)
  to dblp by dblp on 2004-10-13 00:00:00
  | URL | BibTeX  
• Retrospect and Prospect of Formal Methods Education in China.
  Baowen Xu and Yingzhou Zhang and Yanhui Li TFM 225-234 (2004)
  to dblp by dblp on 2004-10-13 00:00:00
  | URL | BibTeX  
• Linking Paradigms, Semi-formal and Formal Notations.
  Henri Habrias and Sébastien Faucou TFM 166-184 (2004)
  to dblp by dblp on 2004-10-13 00:00:00
  | URL | BibTeX