Search the dblp DataBase

Publications of Author

1. Eric Dubois, Jacques Hagelstein, Eugene Lahou, Frank Ponsaert, André Rifaut, Fiona Williams
   The ERAE Model: A Case Study. [Citation Graph (4, 0)][DBLP]
   Information Systems Design Methodologies: Improving the Practice, 1986, pp:87-105 [Conf]
   
2. Eric Dubois, Philippe Du Bois, André Rifaut
   Elaborating, Structuring and Expressing Formal Requirements of Composite Systems. [Citation Graph (0, 0)][DBLP]
   CAiSE, 1992, pp:327-347 [Conf]
   
3. Jacques Hagelstein, André Rifaut
   A Semantic Analysis of the Collection Concept. [Citation Graph (0, 9)][DBLP]
   ER, 1988, pp:149-164 [Conf]
   
4. André Rifaut
   Goal-Driven Requirements Engineering for Supporting the ISO 15504 Assessment Process. [Citation Graph (0, 0)][DBLP]
   EuroSPI, 2005, pp:151-162 [Conf]
   
5. Eric Dubois, Jacques Hagelstein, Eugene Lahou, André Rifaut, Fiona Williams
   A Data Model for Requirements Analysis. [Citation Graph (0, 16)][DBLP]
   ICDE, 1986, pp:646-653 [Conf]
   
6. Robert Darimont, Emmanuelle Delor, Jean-Luc Roussel, André Rifaut
   Requirements Engineering with Grail/Kaos: Tell the Requirements, All the Requirements, and Nothing Else but the Requirement. [Citation Graph (0, 0)][DBLP]
   RE, 2002, pp:299- [Conf]
   
7. 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]
   
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. 
    Improving Operational Risk Management Systems by Formalizing the Basel II Regulation with Goal Models and the ISO/IEC 15504 Approach. [Citation Graph (, )][DBLP]
    
    
11. 
    Using Goal-Oriented Requirements Engineering for Improving the Quality of ISO/IEC 15504 based Compliance Assessment Frameworks. [Citation Graph (, )][DBLP]
    
    
12. 
    Managing the Alignment between Business and Software Services Requirements from a Capability Model Perspective. [Citation Graph (, )][DBLP]
    
    
13. 
    An Ontology for Requirements Analysis of Managers' Policies in Financial Institutions. [Citation Graph (, )][DBLP]
    
    
14. 
    Requirements Engineering for Improving Business/IT Alignment in Security Risk Management Methods. [Citation Graph (, )][DBLP]