BibSonomy :: author  ::

bookmarks

publications

(16)

• Outdated ideas of the design process and the future of formal models/methods/notations
  D. Furniss and A. Dix and C. Ponsard and G.Q. Zhang Interactive Systems: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers 265 (2006)
  to imported by uclic and 1 other person on 2008-10-24 14:29:07
  | URL | BibTeX  
• Outdated ideas of the design process and the future of formal models/methods/notations
  D. Furniss and A. Dix and C. Ponsard and G.Q. Zhang Interactive Systems: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers 265 (2006)
  to UCLIC imported by spdegabrielle and 1 other person on 2008-10-22 16:08:08
  | URL | BibTeX  
• Towards Modelling Obligations in Event-B.
  Juan Bicarregui and Alvaro Arenas and Benjamin Aziz and Philippe Massonet and Christophe Ponsard ABZ 181-194 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• An Accessible Viewer for Digital Comic Books.
  Christophe Ponsard and Vincent Fries ICCHP 569-577 (2008)
  to dblp by dblp on 2008-07-18 00:00:00
  | URL | BibTeX  
• OLDES: Designing a Low-Cost, Easy-to-Use e-Care System Together with the Stakeholders.
  Christophe Ponsard and Mike Martin and Sarah Walsh and Susan Baines and Sébastien Rousseaux and Giovanni Rinaldi and Fulvio Tamburriello ICCHP 1285-1292 (2008)
  to dblp by dblp on 2008-07-18 00:00:00
  | URL | BibTeX  
• From Requirements Models to Formal Specifications in B.
  Christophe Ponsard and Emmanuel Dieul ReMo2V (2006)
  to dblp by dblp on 2008-06-04 00:00:00
  | URL | BibTeX  
• Early verification and validation of mission critical systems.
  Christophe Ponsard and Philippe Massonet and Jean-François Molderez and André Rifaut and Axel van Lamsweerde and Hung Tran Van Formal Methods in System Design 30 233-247 (2007)
  to dblp by dblp on 2007-09-11 00:00:00
  | URL | BibTeX  
• Reconciling system requirements and runtime behaviour
  M. S. Feather and Stephen Fickas and Axel van Lamsweerde and C. Ponsard Ninth IEEE International Workshop on Software Specification and Design (IWSSD-9) 50--59 (1998)
  to dynamic evolution goal requirements by neilernst on 2007-03-19 18:55:14
  | URL | BibTeX  
• Objective Accessibility Assessment of Public Infrastructures.
  Christophe Ponsard and Vincent Snoeck ICCHP 314-321 (2006)
  to dblp by dblp on 2006-07-21 00:00:00
  | URL | BibTeX  
• Towards a Service Integration Portal for Deaf People.
  Christophe Ponsard and Christiane Broekman and Cécile Lamy and Martine Fraiture ICCHP 587-594 (2006)
  to dblp by dblp on 2006-07-21 00:00:00
  | URL | BibTeX