@comment{{Al final apareció en 2018}}
@comment{{2015}}
@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.