@phdthesis{fredlund:thesis,
  author = {Lars-{\AA}ke Fredlund},
  title = {A Framework for Reasoning about Erlang Code},
  school = {Royal Institute of Technology, Stockholm, Sweden},
  year = {2001},
  month = aug
}
@unpublished{mohe:2001:dpco,
  author = {{{\'{A}}ngel} Herranz and Juan Jos{\'{e}} {Moreno-Navarro}},
  title = {Design Patterns as Class Operators},
  note = {Workshop on High Integrity Software Development at V Spanish
                  Conference on Software Engineering, JISBD'01},
  year = {2001},
  month = nov,
  address = {Almagro, Spain},
  abstract = {The paper presents a formalization of (some) design patterns
                  as operators between classes. A concrete design pattern is
                  understood as an operator that modifies certain classes into
                  the design proposed by the pattern. In such this way, we
                  present a way to understand design patterns in a formal
                  context, what aims for formal reasoning about
                  them. Furthermore, the view of design patterns as class
                  operators proposes a method to incorporate design patterns
                  into object oriented development tools.  It also can give
                  some hints to easily compose patterns , and to identify
                  design patterns in a given specification.},
  postscript = {http://babel.ls.fi.upm.es/~angel/papers/design-patterns-as-class-operators-DSP-JISBD2001.ps.gz}
}
@inproceedings{mohe:2001:drapl:b,
  author = {{{\'{A}}ngel} Herranz and Juan Jos{\'{e}} {Moreno-Navarro}},
  title = {Declarative Reflection and its Application as a Pattern
                  Language},
  booktitle = {I Jornadas sobre Programaci{\'{o}}n y Lenguajes, PROLE 2001},
  pages = {179-197},
  year = {2001},
  month = nov,
  address = {Almagro, Spain},
  editor = {Fernando Orejas and Fernando Cuartero and Diego Cazorla},
  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 permit 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/declarative_reflection-PROLE2001.ps.gz}
}
@unpublished{mohe:2001:drapl,
  author = {Juan Jos{\'{e}} {Moreno-Navarro} and {{\'{A}}ngel} Herranz},
  title = {Declarative Reflection and its Application as a Pattern
                  Language},
  note = {Invited Session on ``Formalization of Object-Oriented
                  Methods, Patterns, and Frameworks'', The Fifth
                  Multi-Conference on Systemics, Cybernetics and Informatics
                  (SCI'2001)},
  address = {Orlando, Florida USA},
  month = jul,
  year = {2001},
  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 permit 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 = {/papers/declarative_reflection-SCI2001.ps.gz}
}
@manual{hemo:st,
  author = {{{\'{A}}ngel} Herranz and Juan Jos{\'{e}} {Moreno-Navarro}},
  title = {Slam-sl Tutorial},
  organization = {Grupo Babel, Facultad de Inform{\'{a}}tica, Universidad
                  Polit{\'{e}}cnica de Madrid},
  address = {Campus de Montegancedo s/n, 28660 - Boadilla del Monte (Madrid), Spain},
  year = {2001},
  note = {\emph{Draft} based on {\'{A}}ngel Herranz's PhD. Thesis},
  abstract = {This paper shows the debugging facilities provided by the
                  Slam system.  The Slam system includes (i) a specification
                  language that integrates \emph{algebraic specifications} and
                  \emph{model-based specifications} using the object oriented
                  model.  Class operations are defined by using rules each of
                  them with logical pre and postconditions but with a
                  functional flavour. (ii) A development environment that,
                  among other features, is able to generate readable code in a
                  high level object oriented language.  (iii) The generated
                  code includes (part of) the pre and postconditions as
                  assertions, that can be automatically checked in the debug
                  mode execution of programs. We focus on this last
                  aspect. The Slam language is expressive enough to describe
                  many useful properties and these properties are translated
                  into a Prolog program that is linked (via an adequate
                  interface) with the user program. The debugging execution of
                  the program interacts with the Prolog engine which is
                  responsible for checking properties.},
  postscript = {http://babel.ls.fi.upm.es/~angel/papers/slam-sl-tutorial.ps.gz}
}
@inproceedings{SusanaLPAR01,
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Moreno-Navarro, Juan Jos{\'e} and M. Hermenegildo},
  title = {Efficient Negation Using Abstract Interpretation},
  booktitle = {Logic for Programming, Artificial Intelligence and Reasoning},
  optcrossref = {},
  optkey = {},
  editor = {R.Nieuwenhuis and A. Voronkov},
  volume = {},
  optnumber = {2250},
  optseries = {LNAI},
  year = {2001},
  optorganization = {LPAR 2001},
  publisher = {},
  address = {La Habana (Cuba)},
  pages = {485--494}
}
@inproceedings{CUW01,
  author = {C. Vaucheret and S. Guadarrama and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  title = {Fuzzy {P}rolog: A simple implementation using clp({R})},
  booktitle = {Constraints and Uncertainty},
  optcrossref = {},
  optkey = {},
  editor = {},
  volume = {},
  optnumber = {},
  optseries = {},
  year = {2001},
  optorganization = {CP'2001 workshop},
  publisher = {},
  address = {Paphos (Cyprus)},
  pages = {},
  url = {http://www.clip.dia.fi.upm.es/~clip/papers/fuzzy-lpar02.ps}
}

This file was generated by bibtex2html 1.98.