Search the dblp DataBase

Publications of Author

1. Nadira Lammari, Regine Laleau, Mireille Jouve, Xavier Castellani
   Deriving Normalized Is_a Hierarchies by Using Applicability Constraints. [Citation Graph (1, 0)][DBLP]
   CAiSE, 1996, pp:562-580 [Conf]
   
2. Regine Laleau, Fiona Polack
   A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. [Citation Graph (0, 0)][DBLP]
   CAiSE, 2001, pp:402-416 [Conf]
   
3. Regine Laleau
   On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications. [Citation Graph (0, 0)][DBLP]
   ICEIS, 2000, pp:56-63 [Conf]
   
4. Nadira Lammari, Regine Laleau, Mireille Jouve, Xavier Castellani
   An Algorithm for IS_A Hierarchy Derivation. [Citation Graph (0, 0)][DBLP]
   OOIS, 1994, pp:469-479 [Conf]
   
5. Regine Laleau, Philippe Facon
   Modeling Semantic Data Concepts with VDM. [Citation Graph (0, 0)][DBLP]
   SEKE, 1993, pp:228-230 [Conf]
   
6. Regine Laleau, Fiona Polack
   Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. [Citation Graph (0, 0)][DBLP]
   ZB, 2002, pp:517-534 [Conf]
   
7. Nadira Lammari, Regine Laleau, Mireille Jouve
   Processus d'optimisation conceptuelle d'un schéma orienté-objet. [Citation Graph (0, 0)][DBLP]
   L'OBJET, 1999, v:5, n:1, pp:- [Journal]
   
8. Regine Laleau, Fiona Polack
   Specification of integrity-preserving operations in information systems by using a formal UML-based language. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2001, v:43, n:12, pp:693-704 [Journal]