Padilla Soriano, Nicolás Las especificaciones algebraicas: una apuesta por la orientación a objetos Padilla, Nicolás. “Las especificaciones algebraicas: una apuesta por la orientación a objetos”. En: V Jornadas sobre la Enseñanza Universitaria en Informática, Escuela Universitaria Politécnica La Almunia, La Almunia de Dª Godina (Zaragoza), 25 y 26 de octubre de 1999: libro de ponencias. La Almunia de Doña Godina, Zaragoza: Escuela Universitaria Politécnica La Almunia, 1999. ISBN 84-605-9617-6, pp. 293-298 URI: http://hdl.handle.net/10045/128525 DOI: ISSN: ISBN: 84-605-9617-6 Abstract: La construcción de software orientado a objetos está siendo analizada para su incorporación en las fases iniciales de la enseñanza de la programación. Dada su facilidad de uso, junto con otras características como su correctitud, robustez, extendibilidad y reusabilidad, hacen de esta técnica un candidato único para este propósito. Sin embargo, su utilización exige revisar los métodos de especificación que se están empleando en la actualidad. En este documento, proponemos un método de especificación para Tipos de datos abstractos, las Especificaciones algebraicas, que podría utilizarse como base para la enseñanza de la construcción de software orientada a objetos. Keywords:Informática, Enseñanza universitaria Asociación de Enseñantes Universitarios de la Informática (AENUI) info:eu-repo/semantics/conferenceObject