( en | de | ru )

 

Disambiguation of "Meur, Anne-Françoise Le"

Author of the publication

copydeleteadd this publication to your clipboard
On the automatic evolution of an OS kernel using temporal logic and AOP.

, , , , and . ASE, page 196-204. IEEE Computer Society, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anne Françoise Weber

Pierre-Yves Le Meur

Françoise Dorison

Françoise Rat

Françoise Cartwright

 

Other publications of authors with the same name

A Framework to Specify Incremental Software Architecture Transformations., , and . EUROMICRO-SEAA, page 62-69. IEEE Computer Society, (2005)On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components., , and . GPCE, volume 3286 of Lecture Notes in Computer Science, page 436-455. Springer, (2004)A Domain Analysis to Specify Design Defects and Generate Detection Algorithms., , , and . FASE, volume 4961 of Lecture Notes in Computer Science, page 276-291. Springer, (2008)A tour of Tempo: a program specializer for the C language., , and . Sci. Comput. Program., (2004)Providing Support for Safe Software Architecture Transformations., , , and . WICSA, page 201-202. IEEE Computer Society, (2005)On the automatic evolution of an OS kernel using temporal logic and AOP., , , , and . ASE, page 196-204. IEEE Computer Society, (2003)Génération automatique d'algorithmes de détection des défauts de conception., , , , and . LMO, volume L-1 of RNTI, page 93-106. Cépaduès-Éditions, (2008)Safe Integration of New Concerns in a Software Architecture., , , and . ECBS, page 52-64. IEEE Computer Society, (2006)An Environment for Building Customizable Software Components., , and . Component Deployment, volume 2370 of Lecture Notes in Computer Science, page 1-14. Springer, (2002)Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language., , , and . GPCE, volume 3676 of Lecture Notes in Computer Science, page 78-93. Springer, (2005)