[HMM02b]

Ángel Herranz, Juan José Moreno-Navarro, and Noelia Maya. Declarative reflection and its application as a pattern language. In Marco Comini and Moreno Falaschi, editors, Electronic Notes in Theoretical Computer Science, volume 76. Elsevier Science Publishers, November 2002. [ bib | .pdf | .ps.gz ]

The paper presents the reflection facilities of the specification language Slam-sl. Slam-sl is an object oriented specification language where class methods are specified by pre and postconditions. The reflection capabilities allow managing these pre and postconditions in specifications what means that semantic reflection is possible. The range of interesting applications is very wide: formal specification of interfaces and abstract classes, specification of component based software, formalization of design pattern, using Slam-sl as a pattern language, etc. The paper discusses the last two advantages in some detail.

[VGMH02b]

Claudio Vaucheret, Sergio Guadarrama, and Susana Muñoz-Hernández. Fuzzy Prolog: A simple general implementation using clp(r). In Baaz and Voronkov [BV02], pages 450--463. [ bib ]

[AHCMS02]

Ángel Herranz, Manuel Carro, Julio Mariño, and Pablo Sánchez Torralba. No taléis el bosque por culpa de los árboles. Novática, 1(159):74--77, October 2002. Contribución a la columna "Programar es Crear". [ bib ]

[HMCS02]

Ángel Herranz, Julio Mariño, Manuel Carro, and Pablo Sanchez. No taléis el bosque por culpa de los árboles: solución. Novatica, 1(159):74, September 2002. Sección “Programar es crear”. [ bib | .pdf ]

[May02]

Noelia Maya. SLAM: Desarrollo de software a partir de especificaciones. análisis, tipos y compilación. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo s/n, 28660 - Boadilla del Monte (Madrid), Spain, September 2002. In Spanish. [ bib | .ps.gz ]

This master thesis is part of the SLAM Project, an environment for software construction. The project tries to integrate formal methods in the software development process. The core of the system is a formal notation for software specification called Slam-sl. The objective of this work is the development of the initial stages in the Slam-sl compiler: parsing and semantic analysis (typechecking).

[MHMN02a]

Susana Muñoz-Hernández and Juan José Moreno-Navarro. Constructive negation for Prolog: A real implementation. In J.J. Moreno-Navarro and J. Mariño, editors, Joint Conference on Declarative Programming: APPIA-GULP-PRODE 2002, pages 39--52, Madrid, Spain, September 2002. [ bib ]

[MHVG02]

Susana Muñoz-Hernández, Claudio Vaucheret, and Sergio Guadarrama. Combining crisp and fuzzy logic in a Prolog compiler. In J.J. Moreno-Navarro and J. Mariño, editors, Joint Conference on Declarative Programming: APPIA-GULP-PRODE 2002, pages 23--38, Madrid, Spain, September 2002. [ bib ]

[VGMH02a]

C. Vaucheret, S. Guadarrama, and Susana Muñoz-Hernández. Fuzzy Prolog: A simple general implementation using clp(r). In P.J. Stuckey, editor, International Conference in Logic Programming, ICLP 2002, number 2401 in LNCS, page 469, Copenhagen, Denmark, July/August 2002. Springer-Verlag. [ bib ]

[HMM02a]

Ángel Herranz, Juan José Moreno-Navarro, and Noelia Maya. Declarative reflection and its application as a pattern language. In Marco Comini and Moreno Falaschi, editors, 11th. International Workshop on Functional and Logic Programming (WFLP'02), Grado, Italy, June 2002. University of Udine. [ bib | .ps.gz ]

The paper presents the reflection facilities of the specification language Slam-sl. Slam-sl is an object oriented specification language where class methods are specified by pre and postconditions. The reflection capabilities allow managing these pre and postconditions in specifications what means that semantic reflection is possible. The range of interesting applications is very wide: formal specification of interfaces and abstract classes, specification of component based software, formalization of design pattern, using Slam-sl as a pattern language, etc. The paper discusses the last two advantages in some detail.

[HM02b]

Ángel Herranz and Juan José Moreno-Navarro. Specifying in the large: Object-oriented specifications in the software development process. In B. J. Krämer H. Ehrig and A. Ertas, editors, The Sixth Biennial World Conference on Integrated Design and Process Technology (IDPT'02), volume 1, Pasadena, California, June 2002. Society for Design and Process Science. ISSN 1090-9389. [ bib | .ps.gz ]

The paper discusses how formal methods, and, in particular, object oriented specification languages can be integrated in the software development process in an effective way. We depart from an object specification language in the SLAM system that combines characteristics of algebraic languages as well as pre and postconditions for class methods specification. We study how to specify classes as well as the formal relations that class relationships must hold (in particular, inheritance). One of the main features of the specification language is that it is supported by an integrated environment that, among other facilities, includes the generation of readable and (enough) efficient imperative code. We also address how this translation can be done and the extra capabilities of the environment regarding the use of formal method in the development process, for instance program validation.

[CMS02b]

Manuel Carro, Julio Mariño, and Pablo Sánchez Torralba. !`queso! Novática, 1(157):73--76, June 2002. Contribución a la columna "Programar es Crear". [ bib ]

[GHM02]

Carlos Gregorio, Ángel Herranz, and Raquel Martinez. Computing curricula 2001. Novática, 1(157):47--54, May 2002. In Spanish. [ bib | .ps.gz | .pdf ]

En diciembre de 2001 se publicó el informe final del volumen Computer Science del Computing Curricula 2001. Las recomendaciones desarrolladas por ACM y IEEE de forma individual, tanto como las recomendaciones elaboradas de forma conjunta, han sido y siguen siendo un punto de referencia para todos los que nos dedicamos a la enseñanza universitaria de la informática. El objetivo de este artículo es dar a conocer las líneas maestras del informe, los principios del mismo, las nuevas áreas de conocimientos y las diferentes estrategias de implementación sugeridas, el objetivo final es que un lector interesado pueda hacerse una idea clara de las propuestas fundamentales del informe.

[Mar02]

Julio Mariño. Semantics and Analysis of Functional Logic Programs. PhD thesis, Facultad de Informática, Universidad Politécnica de Madrid, May 2002. [ bib ]

[CMS02a]

Manuel Carro, Julio Mariño, and Pablo Sánchez Torralba. Configuración de un aeropuerto. Novática, 1(156):72--75, April 2002. Contribución a la columna "Programar es Crear". [ bib ]

[CHMS02]

Manuel Carro, Ángel Herranz, Julio Mariño, and Pablo Sánchez. Configuración de un aeropuerto: solución. Novatica, 1(156):72, March 2002. Sección “Programar es crear”. [ bib | .pdf ]

[HM02a]

Ángel Herranz and Juan José Moreno-Navarro. On the design of an object-oriented formal notation. In Fourth Workshop on Rigorous Object Oriented Methods, ROOM 4. King's College, London, March 2002. [ bib | .ps.gz ]

We consider that the application of formal methods in the software development process is essential to obtain high integrity products. Despite the fact that arguments for using formal methods, in practice it is clear that its use is not widespread. Slam is a software construction system based on formal specifications. In this paper some features of the formal specification language embedded in the Slam system are presented: algebraic types, safe inheritance, generic polymorphism and collection traversals. These features have in common that that they rely on static information, they are well known techniques, they are practical and relatively popular and not all of them are usual in formal notations.

[Mor02]

Juan José Moreno-Navarro. From specifications to programs or how to construct programs in the internet age. In International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet on the Internet (SSGRR'02), L'Aquila, Italy, January 2002. [ bib ]

[MHMN02b]

Susana Muñoz-Hernández and Juan José Moreno-Navarro. Intelligent agent to implement logic negation. In J.L. Perez de la Cruz and J. Pavon, editors, 4th Iberoamerican Workshop on Multi-Agent Systems, IBERAGENTS'02, Malaga (Spain), 2002. [ bib ]

[MMMH02]

Julio Mariño, Juan José Moreno-Navarro, and Susana Muñoz-Hernández. A practical implementation of intensional negation. In María Alpuente, editor, Workshop on Functional and Logic Programming, pages i--j. Universidad Politécnica de Valencia, 2002. [ bib ]

[BV02]

Matthias Baaz and Andrei Voronkov, editors. Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings, volume 2514 of Lecture Notes in Artificial Intelligence. Springer, 2002. [ bib ]

This file was generated by bibtex2html 1.98.