|
 
|
Amel Mammar
|
Membre exterieur Equipe SYS Parti depuis le 09/01/2003 Mail : amel.mammar  iie.cnam.fr
Tel : 0169367373 Fax : 0169367105 http://se2c.uni.lu/users/AM |
Amel's Tag-Cloud : |
Publications
2006
- [MGL06] A. Mammar, F. Gervais, R. Laleau. "Systematic Identification of Preconditions from Set-Based Integrity Constraints", INFORSID'06, Hammamet, Tunisie, January 2006, pp.595-610,
Conférence Nationale avec comité de lecture
2004
- [ML04] A. Mammar, R. Laleau. "Génération de code à partir d'une spécification B: application aux bases de données", AFADL'04, January 2004,
- [ML04a] A. Mammar, R. Laleau. "UML2SQL: Un environment intégré pour le développement d'implémentations relationnelles à partir de diagrammes UML", AFADL'04, January 2004,
- [LM04a] R. Laleau, A. Mammar. "UML2SQL: An Integrated Environment for the Development of UML and SQL Specifications", Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-643)
Conférence Nationale avec comité de lecture
Rapport Scientifique
2003
-
[ML03]
A. Mammar, R. Laleau.
"Design of an Automatic Prover Dedicated to the Refinement of Database Applications",
FM'2003, Springer-Verlag, LNCS n° 2805, pp 834-854, Pise,Italy,
January 2003,
Conférence Internationale avec comité de lecture
2002
-
[MAM02]
A. Mammar.
"Un environnement formel pour le développement d'applications bases de données",
Soutenue le: 01 January 2002,
Mémoire de Thèse
2001
-
[LM01]
R. Laleau, A. Mammar.
"An Automatic Generation of B Specifications from Well-defined UML Notations for Database Applications",
Int. Symp. on Programming Systems, Alger, Algérie,
January 2001,
- [MAM01] A. Mammar. "Une approche formelle par raffinement pour le développement d'applications bases de données sûres", 19ème congrés INFORSID, Genève, Suisse, January 2001,
- [LM01a] R. Laleau, A. Mammar. "Un exemple de génération d'une implémentation relationnelle à partir d'une spécification B", Date de dépot: 2001/01/01, (Tech. Rep.: CEDRIC-01-368)
- [LM01b] R. Laleau, A. Mammar. "Réutilisation des preuves dans le processus de raffinement B", Date de dépot: 2001/01/01, (Tech. Rep.: CEDRIC-01-377)
Conférence Internationale avec comité de lecture
Conférence Nationale avec comité de lecture
Rapport Scientifique
2000
- [LM00a] R. Laleau, A. Mammar. "An Overview of a Method and its support Tool for Generating B Specifications from UML Notations", 15th IEEE Int. Conf. on Automated Software Engineering (ASE2000), Grenoble, France, January 2000,
-
[LM00b]
R. Laleau, A. Mammar.
"A Generic Process to Refine a B Specification into a Relational Database Implementation",
First Int. Conf. of B and Z users (ZB2000), Springer-Verlag, LNCS n° 1878, York, UK,
January 2000,
- [LM00] R. Laleau, A. Mammar. "Using a Formal Refinement to Derive Relational Database Implementations from B Specifications", Date de dépot: 2000/01/01, (Tech. Rep.: CEDRIC-00-86)
Conférence Internationale avec comité de lecture
Rapport Scientifique
1999
- [FLM99] P. Facon, R. Laleau, A. Mammar. "Combining UML with the B Formal Method for the Specification of Database Applications", Date de dépot: 1999/01/01, (Tech. Rep.: CEDRIC-99-87)
- [FLM99a] P. Facon, R. Laleau, A. Mammar, F. Polack. "Formal Specification of the UML Metamodel for Building Rigorous Caise Tools", Date de dépot: 1999/01/01, (Tech. Rep.: CEDRIC-99-91)
