Search the dblp DataBase

Publications of Author

1. Dominic Furniss, Alan J. Dix, Christophe Ponsard, Guo-Qiang Zhang
   Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:265- [Conf]
   
2. Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde
   Goal-Oriented Design of Domain Control Panels. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:249-260 [Conf]
   
3. Christophe Ponsard, Christiane Broekman, Cécile Lamy, Martine Fraiture
   Towards a Service Integration Portal for Deaf People. [Citation Graph (0, 0)][DBLP]
   ICCHP, 2006, pp:587-594 [Conf]
   
4. Christophe Ponsard, Vincent Snoeck
   Objective Accessibility Assessment of Public Infrastructures. [Citation Graph (0, 0)][DBLP]
   ICCHP, 2006, pp:314-321 [Conf]
   
5. Jean-François Molderez, Christophe Ponsard
   Deriving Acceptance Tests from Goal Requirements. [Citation Graph (0, 0)][DBLP]
   MOZ, 2004, pp:78-88 [Conf]
   
6. André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van
   FAUST: Formal Analysis Using Specification Tools. [Citation Graph (0, 0)][DBLP]
   RE, 2003, pp:350- [Conf]
   
7. Hung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard
   Goal-Oriented Requirements Animation. [Citation Graph (0, 0)][DBLP]
   RE, 2004, pp:218-228 [Conf]
   
8. Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van
   Early Verification and Validation of Mission Critical Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:237-254 [Journal]
   
9. Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van
   Early verification and validation of mission critical systems. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2007, v:30, n:3, pp:233-247 [Journal]
   
10. 
    Towards Modelling Obligations in Event-B. [Citation Graph (, )][DBLP]
    
    
11. 
    From Requirements Models to Formal Specifications in B. [Citation Graph (, )][DBLP]
    
    
12. 
    An Accessible Viewer for Digital Comic Books. [Citation Graph (, )][DBLP]
    
    
13. 
    OLDES: Designing a Low-Cost, Easy-to-Use e-Care System Together with the Stakeholders. [Citation Graph (, )][DBLP]
    
    
14. 
    Towards a Model-Driven Approach for Mapping Requirements on AADL Architectures. [Citation Graph (, )][DBLP]
    
    
15. 
    Video Relay Service for Signing Deaf - Lessons Learnt from a Pilot Study. [Citation Graph (, )][DBLP]