@article{cahemasa:2002:icpc-final2001-aeropuerto,
  author = {Manuel Carro and {{\'{A}}ngel} Herranz and Julio Mari{\~{n}}o and Pablo
                  S{\'{a}}nchez},
  title = {Configuraci{\'{o}}n de un aeropuerto: soluci{\'{o}}n},
  journal = {Novatica},
  year = {2002},
  volume = {1},
  number = {156},
  pages = {72},
  month = mar,
  note = {Secci{\'{o}}n ``Programar es crear''},
  url = {http://www.ati.es/novatica/2002/156/156-72.pdf}
}
@article{hemacasa:2002:icpc-final2001-bosque,
  author = {{{\'{A}}ngel} Herranz and Julio Mari{\~{n}}o and Manuel Carro and Pablo
                  Sanchez},
  title = {No tal{\'{e}}is el bosque por culpa de los {\'{a}}rboles: soluci{\'{o}}n},
  journal = {Novatica},
  year = {2002},
  volume = {1},
  number = {159},
  pages = {74},
  month = sep,
  note = {Secci{\'{o}}n ``Programar es crear''},
  url = {http://www.ati.es/novatica/2002/159/159-74.pdf}
}
@article{grhema:2002:cc2001,
  author = {Carlos Gregorio and {{\'{A}}ngel} Herranz and Raquel Martinez},
  title = {Computing Curricula 2001},
  journal = {Nov{\'{a}}tica},
  year = {2002},
  volume = {1},
  number = {157},
  pages = {47-54},
  month = may,
  abstract = { En diciembre de 2001 se public{\'{o}} el informe final del
                  volumen \emph{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{\~{n}}anza
                  universitaria de la inform{\'{a}}tica.  El objetivo de este
                  art{\'{i}}culo es dar a conocer las l{\'{i}}neas maestras del informe,
                  los principios del mismo, las nuevas {\'{a}}reas de conocimientos
                  y las diferentes estrategias de implementaci{\'{o}}n sugeridas, el
                  objetivo final es que un lector interesado pueda hacerse una
                  idea clara de las propuestas fundamentales del informe.  },
  postscript = {http://babel.ls.fi.upm.es/~angel/papers/cc2001.ps.gz},
  pdf = {http://www.ati.es/novatica/2002/157/157-47.pdf},
  note = {In Spanish}
}
@inproceedings{mo:2002:internetage,
  author = {Juan Jos{\'{e}} {Moreno-Navarro}},
  title = {From Specifications to Programs or How to Construct Programs
                  in the Internet Age},
  booktitle = {International Conference on Advances in Infrastructure for
                  e-Business, e-Education, e-Science, and e-Medicine on the
                  Internet on the Internet (SSGRR'02)},
  year = {2002},
  address = {L'Aquila, Italy},
  month = jan
}
@mastersthesis{nmaya:master,
  author = {Noelia Maya},
  title = {{SLAM}: Desarrollo de Software a partir de especificaciones.
                  An\'alisis, tipos y compilaci\'on},
  school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de Madrid},
  year = {2002},
  address = {Campus de Montegancedo s/n, 28660 - Boadilla del Monte (Madrid), Spain},
  month = {September},
  note = {In Spanish},
  abstract = {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).  },
  postscript = {/papers/noelia-master.ps.gz}
}
@inproceedings{hemoma:2002:drapl:b,
  author = {{{\'{A}}ngel} Herranz and Juan Jos{\'{e}} {Moreno-Navarro} and Noelia Maya},
  title = {Declarative Reflection and its Application as a Pattern
                  Language},
  booktitle = {Electronic Notes in Theoretical Computer Science},
  volume = {76},
  publisher = {Elsevier Science Publishers},
  editor = {Marco Comini and Moreno Falaschi},
  year = {2002},
  month = nov,
  abstract = { 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.},
  postscript = {http://babel.ls.fi.upm.es/~angel/papers/finalcopy-entcs76-slam.ps.gz},
  url = {http://www.sciencedirect.com/science?_ob=MImg{\&}_imagekey=B75H1-4DDWJY1-DB-2{\&}_cdi=13109{\&}_user=885385{\&}_orig=browse{\&}_coverDate=11{\%}2F30{\%}2F2002{\&}_sk=999239999{\&}view=c{\&}wchp=dGLbVtz-zSkWA{\&}md5=93ab10fb3fcc627784dba6d9b75b1602{\&}ie=/sdarticle.pdf}
}
@inproceedings{hemoma:2002:drapl,
  author = {{{\'{A}}ngel} Herranz and Juan Jos{\'{e}} {Moreno-Navarro} and Noelia Maya},
  title = {Declarative Reflection and its Application as a Pattern
                  Language},
  booktitle = {11th. International Workshop on Functional and Logic
                  Programming (WFLP'02)},
  organization = {University of Udine},
  address = {Grado, Italy},
  editor = {Marco Comini and Moreno Falaschi},
  year = {2002},
  month = jun,
  abstract = { 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.},
  postscript = {http://babel.ls.fi.upm.es/~angel/papers/finalcopy-wflp2002.ps.gz}
}
@inproceedings{hemo:2002:sloossdp,
  author = {{{\'{A}}ngel} Herranz and Juan Jos{\'{e}} {Moreno-Navarro}},
  title = {Specifying in the Large: Object-oriented Specifications in
                  the Software Development Process},
  booktitle = {The Sixth Biennial World Conference on Integrated Design and
                  Process Technology (IDPT'02)},
  year = {2002},
  editor = {H. Ehrig, B. J. Kr{\"{a}}mer and A. Ertas},
  volume = {1},
  address = {Pasadena, California},
  month = jun,
  organization = {Society for Design and Process Science},
  note = {ISSN 1090-9389},
  abstract = { 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.  },
  postscript = {http://babel.ls.fi.upm.es/~angel/papers/finalcopy-idpt2002.ps.gz}
}
@inproceedings{hemo:2002:doofm,
  author = {{{\'{A}}ngel} Herranz and Juan Jos{\'{e}} {Moreno-Navarro}},
  title = {On the Design of an Object-oriented Formal Notation},
  booktitle = {Fourth Workshop on Rigorous Object Oriented Methods, ROOM 4},
  year = {2002},
  month = mar,
  organization = {King's College, London},
  abstract = { 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, \emph{safe}
                  inheritance, generic polymorphism and collection
                  \emph{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.},
  postscript = {http://babel.ls.fi.upm.es/~angel/papers/finalcopy-room4.ps.gz}
}
@inproceedings{Susana_cneg_AGP02,
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Moreno-Navarro, Juan Jos{\'e}},
  title = {Constructive Negation for {P}rolog: A Real Implementation},
  booktitle = {Joint Conference on Declarative Programming: APPIA-GULP-PRODE 2002},
  optcrossref = {},
  optkey = {},
  pages = {39--52},
  year = {2002},
  editor = {J.J. {Moreno-Navarro} and J. Mari{\~n}o},
  optvolume = {},
  optnumber = {},
  optseries = {},
  address = {Madrid, Spain},
  month = {September},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {}
}
@inproceedings{Susana_fuzzyneg_AGP02,
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Claudio Vaucheret and Sergio Guadarrama},
  title = {Combining Crisp and Fuzzy Logic in a {P}rolog Compiler},
  booktitle = {Joint Conference on Declarative Programming: APPIA-GULP-PRODE 2002},
  pages = {23--38},
  year = 2002,
  editor = {J.J. {Moreno-Navarro} and J. Mari{\~n}o},
  address = {Madrid, Spain},
  month = {September}
}
@inproceedings{Vaucheret_ICLP02,
  author = {C. Vaucheret and S. Guadarrama and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  title = {Fuzzy {P}rolog: A Simple General Implementation Using CLP(R)},
  booktitle = {International Conference in Logic Programming, ICLP 2002},
  optcrossref = {},
  optkey = {},
  pages = {469},
  year = {2002},
  editor = {P.J. Stuckey},
  optvolume = {},
  number = {2401},
  series = {LNCS},
  address = {Copenhagen, Denmark},
  month = {July/August},
  optorganization = {},
  publisher = {Springer-Verlag},
  optnote = {},
  optannote = {}
}
@inproceedings{Vaucheret_LPAR02,
  author = {Claudio Vaucheret and Sergio Guadarrama and
               Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  title = {Fuzzy {P}rolog: A Simple General Implementation Using CLP(R)},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002},
  pages = {450--463},
  year = {2002},
  month = {October},
  editor = {M. Baaz and A. Voronkov},
  volume = {2514},
  series = {LNAI},
  address = {Tbilisi, Georgia},
  publisher = {Springer},
  ee = {http://link.springer.de/link/service/series/0558/bibs/2514/25140450.htm},
  crossref = {DBLP:conf/lpar/2002}
}
@inproceedings{IBERAGENTS02,
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Moreno-Navarro, Juan Jos{\'e}},
  title = {Intelligent Agent to Implement Logic Negation},
  booktitle = {4th Iberoamerican Workshop on Multi-Agent Systems, IBERAGENTS'02},
  optcrossref = {},
  optkey = {},
  editor = {J.L. Perez de la Cruz and J. Pavon},
  volume = {},
  optnumber = {},
  optseries = {},
  year = {2002},
  optorganization = {},
  publisher = {},
  address = {Malaga (Spain)},
  pages = {},
  note = {},
  optannote = {}
}
@article{carro:herranz:marinno:sanchez:2002:novatica,
  author = {\'{A}ngel Herranz and Manuel Carro and Julio Mari{\~{n}}o and
                  Pablo {S{\'{a}}nchez Torralba}},
  title = {No tal{\'{e}}is el bosque por culpa de los {\'{a}}rboles},
  journal = {Nov{\'{a}}tica},
  year = 2002,
  month = oct,
  volume = {1},
  number = 159,
  pages = {74--77},
  note = {Contribuci{\'{o}}n a la columna "Programar es Crear"}
}
@article{carro:marinno:sanchez:2002:novatica:b,
  author = {Manuel Carro and Julio Mari{\~{n}}o and Pablo {S{\'{a}}nchez Torralba}},
  title = {{!`}Queso!},
  journal = {Nov{\'{a}}tica},
  year = 2002,
  month = jun,
  volume = {1},
  number = 157,
  pages = {73--76},
  note = {Contribuci{\'{o}}n a la columna "Programar es Crear"}
}
@article{carro:marinno:sanchez:2002:novatica:a,
  author = {Manuel Carro and Julio Mari{\~{n}}o and Pablo {S{\'{a}}nchez Torralba}},
  title = {Configuraci{\'{o}}n de un aeropuerto},
  journal = {Nov{\'{a}}tica},
  year = 2002,
  month = apr,
  volume = {1},
  number = 156,
  pages = {72--75},
  note = {Contribuci{\'{o}}n a la columna "Programar es Crear"}
}
@inproceedings{mmm2002wflp,
  author = {Julio Mari{\~{n}}o and Juan Jos{\'{e}} {Moreno-Navarro} and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  title = {A Practical Implementation of Intensional Negation},
  booktitle = {Workshop on Functional and Logic Programming},
  pages = {i--j},
  year = 2002,
  editor = {Mar{\'{i}}a Alpuente},
  publisher = {Universidad Polit{\'{e}}cnica de Valencia}
}
@phdthesis{mitesis,
  author = {Julio Mari{\~{n}}o},
  title = {Semantics and Analysis of Functional Logic Programs},
  school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de Madrid},
  year = 2002,
  month = {May}
}
@proceedings{DBLP:conf/lpar/2002,
  editor = {Matthias Baaz and Andrei Voronkov},
  title = {Logic for Programming, Artificial Intelligence, and Reasoning,
               9th International Conference, LPAR 2002, Tbilisi, Georgia,
               October 14-18, 2002, Proceedings},
  booktitle = {LPAR},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {2514},
  year = {2002},
  isbn = {3-540-00010-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

This file was generated by bibtex2html 1.98.