En este articulo presentamos algunos resultados de una ingenieria didactica relacionada con el uso de Cabri en clase de geometria, realizada para estudiar las dificultades que tienen los profesores en formacion para incorporar el software de geometria dinamica en sus clases. Utilizamos como marco teorico la Teoria antropologica de lo didactico, de Yves Chevallard, desde la cual se concibe Cabri como un conjunto de objetos ostensivos informatizados, y se considera la formacion como la construccion de una praxeologia matematica, que incluye dichos ostensivos informatizados, y de una praxeologia didactica asociada. Los datos recogidos muestran las dificultades de los profesores en la construccion de la praxeologia matematica.