@comment{{Al final apareció en 2018}}
@comment{{2015}}
@unpublished{2009:Strass:susana:vpablos,
author = {Strass, Hannes and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Pablos-Ceruelo, V{\'{i}}ctor},
title = {Multi-adjoint Fuzzy Logic Programming with Defaults and Constructive Answers},
year = {2009},
url = {http://babel.ls.fi.upm.es/software/rfuzzy/rfuzzy-semantics.pdf},
note = {(unpublished)}
}
@inproceedings{Martinez_CSEDU2009,
author = {Mart\'inez-Mateo, Jes\'us and {Mu{\~{n}}oz-Hern{\'{a}}ndez}, Susana
and P\'erez-Rey, David},
title = {{c{\&}d-learning Implementation Architecture: Adapting
e-learning to Developing Countries}},
booktitle = {First International Conference on Computer Supported
Education (CSEDU)},
year = {2009},
volume = {1},
pages = {89-96},
month = {March}
}
@article{gabbay:nomuae,
title = {Nominal universal algebra: equational logic with
names and binding},
author = {Murdoch J. Gabbay and Aad Mathijssen},
journal = {Journal of Logic and Computation},
issn = {0955-792X},
volume = {19},
number = {6},
month = {December},
year = {2009},
pages = {1455-1508},
doi = {http://logcom.oxfordjournals.org/cgi/content/abstract/19/6/1455}
}
@article{gabbay:lamcce,
author = {Murdoch J. Gabbay and St{\'e}phane Lengrand},
title = {The lambda-context calculus (extended version)},
journal = {Information and Computation},
editor = {Mariangiola Dezani-Ciancaglini},
issn = {0890-5401},
publisher = {Elsevier},
doi = {http://dx.doi.org/10.1016/j.ic.2009.06.004},
year = {2009},
month = {December},
issue = {12},
volume = {207},
pages = {1369-1400}
}
@article{gabbay:nomahs,
tipoactividad = {Art{\'{i}}culos en revistas},
author = {Murdoch J. Gabbay},
title = {Nominal Algebra and the {HSP} Theorem},
journal = {Journal of Logic and Computation},
issn = {0955-792X},
year = {2009},
pages = {341--367},
volume = {19},
number = {2}
}
@article{gabbay:stusun,
author = {Murdoch J. Gabbay},
title = {A study of substitution, using nominal techniques
and {F}raenkel-{M}ostowski sets},
journal = {Theoretical Computer Science},
volume = {410},
number = {12-13},
year = {2009},
issn = {0304-3975},
pages = {1159--1189},
doi = {http://dx.doi.org/10.1016/j.tcs.2008.11.013},
publisher = {Elsevier}
}
@inproceedings{gabbay:tersl,
title = {Term sequent logic},
author = {Michael Gabbay and Murdoch J. Gabbay},
series = {Electronic Notes in Theoretical Computer Science},
volume = {246},
month = {August},
year = {2009},
issn = {1571-0661},
pages = {87-106},
booktitle = {Proceedings of the 17th International Workshop on
Functional and (Constraint) Logic Programming (WFLP
2008)},
doi = {http://dx.doi.org/10.1016/j.entcs.2009.07.017}
}
@inproceedings{gabbay:twollc,
title = {Two-level lambda-calculus},
author = {Murdoch J. Gabbay and Dominic P. Mulligan},
volume = {246},
pages = {107--129},
booktitle = {Proceedings of the 17th International Workshop on
Functional and (Constraint) Logic Programming (WFLP
2008)},
year = {2009},
month = {August},
journal = {Electronic Notes in Theoretical Computer Science},
issn = {1571-0661},
doi = {http://dx.doi.org/10.1016/j.entcs.2009.07.018}
}
@inproceedings{gabbay:unialt,
title = {Universal algebra over lambda-terms and nominal
terms: the connection in logic between nominal
techniques and higher-order variables},
author = {Murdoch J. Gabbay and Dominic Mulligan},
booktitle = {ACM International Conference Proceeding Series,
Proceedings of the Fourth International Workshop on
Logical Frameworks and Meta-Languages: Theory and
Practice (LFMTP'09)},
isbn = {978-1-60558-529-1},
pages = {64-73},
year = {2009},
doi = {http://doi.acm.org/10.1145/1577824.1577835}
}
@article{gabbay:nomalc,
author = {Murdoch J. Gabbay and Aad Mathijssen},
title = {A nominal axiomatisation of the lambda-calculus},
year = 2009,
journal = {Journal of Logic and Computation},
issn = {0955-792X},
note = {Advance access (published online September 2009)},
doi = {http://logcom.oxfordjournals.org/cgi/content/abstract/exp049v1}
}
@inproceedings{gabbay:perntu,
title = {Permissive Nominal Terms and their Unification},
author = {Gilles Dowek and Murdoch J. Gabbay and Dominic
P. Mulligan},
booktitle = {Proceedings of the 24th Italian Conference on
Computational Logic (CILC'09)},
year = {2009}
}
@article{susana:novatica:2009-2,
tipoactividad = {Art{\'{i}}culos en revistas},
internacional = {yes},
author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Jes{\'{u}}s {Mart{\'{i}}nez-Mateo}},
title = {An Opportunity for Libre Software Companies:
Emerging Market in Developing Countries},
journal = {The European Journal for the Informatics
Professional},
issn = {1684-5285},
year = 2009,
number = {3},
volume = {X},
pages = {51-53},
month = {June}
}
@article{susana:novatica:2009,
tipoactividad = {Art{\'{i}}culos en revistas},
internacional = {no},
author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Jes{\'{u}}s
{Mart{\'{i}}nez-Mateo}},
title = {Una Oportunidad para las empresas de Software Libre:
mercado emergente en los paises en v{\'{i}}as de
desarrollo},
journal = {Nov{\'{a}}tica},
issn = {0211-2124},
year = 2009,
number = {199},
volume = {1},
pages = {44-46},
month = {May-June}
}
@mastersthesis{bagas_OSGi,
author = {Rahmat Bagas Santoso},
title = {Distributed OSGi: service and semantic exposition},
school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de
Madrid},
year = 2009,
month = sep,
internacional = {yes},
note = {Advisor: Lars-Ake Fredlund, Calificaci{\'{o}}n:
Sobresaliente cum laude}
}
@unpublished{agp-oxford1,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {{{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez}},
title = {Evaluation of the $\lambda$-calculus. Generic
Evaluators},
note = {Talk at the Algebra of Programming Group meeting},
descripcion = {Different evaluation orders for the untyped
lambda-calculus exists (call-by-value, call-by-name,
normal order, applicative order...), reflecting the
nuances in the evaluation of a system which serves
as the foundation of functional programming
languages. In this talk, I will introdue a generic
evaluator (written in Haskell) which can be
instantiated to any evaluator realising a particular
evaluation order. For this purpose, I will recall
some notions of the untyped lambda-calculus, give an
algebraic data type representing lambda-terms,
present the big-step semantics of the evaluation
orders using natural deduction rules, implement them
(using CPS following Reynolds' advice and showing
alternative solutions in Haskell), show how monads
can help to write neater code, present a way to
hybridate existing evaluation orders to produce new
ones, comment about an absortion theorem regarding
hybridation and describe something I call the
"beta-cube". },
url = {http://wiki.comlab.ox.ac.uk/algprog/},
organization = {Oxford University Computing Laboratory, {UK}},
month = {October 23},
year = {2009}
}
@unpublished{agp-oxford2,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {{{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez}},
title = {A Functional Correspondence between Parametric
Evaluators and which Abstract Machines?},
note = {Talk at the Algebra of Programming Group meeting},
descripcion = {In this talk a novel parametric evaluator for the
pure lambda calculus is presented, discussing the
issues regarding the semantics of the implementing
language, which gets in the way when defining the
semantics of the object language. Following previous
work by Danvy, the possibility of deriving an
abstract machine from this generic evaluator is
considered.},
url = {http://wiki.comlab.ox.ac.uk/algprog/FrontPage?action=AttachFile{\&}do=get{\&}target=alvaro_garcia_20090612.pdf},
organization = {Oxford University Computing Laboratory, {UK}},
month = {June 6},
year = {2009}
}
@unpublished{agp-oxford3,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {{{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez}},
title = {A Functional Approach to the Observer Pattern},
note = {Talk at the Algebra of Programming Group meeting},
descripcion = {In this talk I will present an implementation of the
Observer pattern in Haskell. The pattern enforces
decoupling of the subject management and the
updating strategies in an environemnt where
propagating changes occur. A new functional
structure is shown rather than a direct translation
from OO. Related work (arrows, reactive programming,
etc.) is discussed, and a test case using Gtkhs is
presented.},
url = {http://wiki.comlab.ox.ac.uk/algprog/FrontPage?action=AttachFile{\&}do=get{\&}target=alvaro_garcia_20090529.pdf},
organization = {Oxford University Computing Laboratory, {UK}},
month = {May 29},
year = {2009}
}
@inproceedings{conf/eurocast/EarleF09,
title = {Debugging and Verification of Multi-Agent Systems},
author = {Clara Benac Earle and Lars-{\AA}ke Fredlund},
bibdate = {2009-10-09},
bibsource = {DBLP,
http://dblp.uni-trier.de/db/conf/eurocast/eurocast2009.html#EarleF09},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2009,
12th International Conference, Las Palmas de Gran
Canaria, Spain, February 15-20, 2009, Revised
Selected Papers},
publisher = {Springer},
year = {2009},
volume = {5717},
editor = {Roberto Moreno-D{\'i}az and Franz Pichler and Alexis
Quesada-Arencibia},
isbn = {978-3-642-04771-8},
pages = {263--270},
series = {Lecture Notes in Computer Science},
url = {http://dx.doi.org/10.1007/978-3-642-04772-5}
}
@mastersthesis{vpablos:2009:intneg-wfs,
author = {Pablos-Ceruelo, V{\'{i}}ctor},
title = {Negative non-ground queries in Well Founded
Semantics},
school = {Faculdade de Ci{\^{e}}ncias e Tecnologia da Universidade
Nova de Lisboa},
year = 2009,
month = oct,
day = {22},
note = {Advisor: Jos{\'{e}} J{\'{u}}lio Alves Alferes, Calificaci{\'{o}}n:
Notable},
internacional = {yes},
url = {http://www.emcl-study.eu/graduates.html},
pdf = {http://babel.ls.fi.upm.es/~vpablos/others/research/emcl/thesis.pdf}
}
@inproceedings{DBLP:conf/eusflat/StrassMC09,
author = {Strass, Hannes and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Pablos-Ceruelo, V{\'{i}}ctor},
title = {Operational Semantics for a Fuzzy Logic Programming System
with Defaults and Constructive Answers},
booktitle = {IFSA/EUSFLAT Conf.},
year = {2009},
pages = {1827-1832},
pdf = {http://www.eusflat.org/publications/proceedings/IFSA-EUSFLAT_2009/pdf/tema_1827.pdf},
crossref = {DBLP:conf/eusflat/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{Liris-4497,
title = {{Pattern-based OWL Ontology Debugging Guidelines}},
author = {Oscar {Corcho} and Catherine {Roussey} and Luis Manuel
{Vilches Bl{\'{a}}zquez} and P{\'{e}}rez, Iv{\'{a}}n},
year = {2009},
month = oct,
booktitle = {Workshop on Ontology Patterns (WOP 2009), collocated with
the 8th International Semantic Web Conference (ISWC-2009).},
series = {CEUR Workshop proceedings},
pages = {68--82},
editor = {Eva Blomqvist and Kurt Sandkuhl and Francois Scharffe and Vojtech
Svatek.},
issn = {1613-0073},
language = {en},
url = {http://liris.cnrs.fr/publis/?id=4497},
note = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-516/},
tipoactividad = {Ponencias en congresos},
internacional = {yes},
revisores = {yes},
abstract = {Debugging inconsistent OWL ontologies is a tedious and
time-consuming task where a combination of ontology
engineers and domain experts is often required to understand
whether the changes to be performed are actually dealing
with formalisation errors or changing the intended meaning
of the original knowledge model. Debugging services from
existing ontology engineering tools and debugging strategies
available in the literature aid in this task. However, in
complex cases they are still far from providing adequate
support to ontology developers, due to their lack of eciency
or precision when explaining the main causes for
unsatisfiable classes, together with little support for
proposing solutions for them. We claim that it is possible
to provide additional support to ontology developers, based
on the identification of common antipatterns and a debugging
strategy, which can be combined with the use of existing
tools in order to make this task more effective.}
}
@inproceedings{ipoc:2009:wop,
title = {{Pattern Definitions and Semantically Annotated Instances}},
author = {P{\'{e}}rez, Iv{\'{a}}n and Oscar {Corcho}},
year = {2009},
month = oct,
booktitle = {Workshop on Ontology Patterns (WOP 2009), collocated with
the 8th International Semantic Web Conference (ISWC-2009)},
series = {CEUR Workshop proceedings},
pages = {131--138},
editor = {Eva Blomqvist and Kurt Sandkuhl and Francois Scharffe and Vojtech Svatek},
issn = {1613-0073},
language = {en},
url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-516/},
tipoactividad = {Ponencias en congresos},
internacional = {yes},
revisores = {yes},
abstract = {Ontology design patterns are normally instantiated by replicating
and adapting the pattern concepts and roles. The relation
between pattern definitions and their instantiations is
documented in natural language. The use of parametric
ontologies or pattern-reuse modifications to OWL-DL has been
suggested before, but so far only practical aspects have been
analysed, leaving the formal semantics of these extensions as
future work. In this work we present formal definitions for
ontology pattern and pattern instantiations, together with
the semantics of instantiation. We propose the use of
semantic annotations to describe and generate OWL pattern
instantiations, without the need for explicit ontology
replication, and provide tools to support this process.}
}
@mastersthesis{ip:2009:ezweb,
author = {P{\'{e}}rez, Iv{\'{a}}n},
title = {Gadget composition and automatic discovery in
{EzWeb}},
school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de
Madrid},
year = 2009,
month = sep,
note = {Advisor: Susana Mu{\~n}oz-Hern{\'a}ndez,
Calificaci{\'{o}}n: Notable},
internacional = {yes}
}
@inproceedings{benac_fredlund:JISBD09,
tipoactividad = {Ponencias en congresos},
internacional = {no},
revisores = {no},
author = {Clara {Benac Earle} and Lars-{\AA}ke Fredlund},
title = {Rigorous Software Development Using McErlang},
booktitle = {14th Conference on Software Engineering and
Databases, JISBD'09},
pages = {335-338},
address = {San Sebasti{\'{a}}n, Spain},
month = {September 8--11},
year = 2009,
isbn = {978-84-692-4211-7}
}
@proceedings{benac_thompson:Erlang09,
tipoactividad = {Libros},
internacional = {yes},
editor = {S. Thompson and Clara {Benac Earle}},
booktitle = {Proceedings of the 2009 ACM SIGPLAN Erlang Workshop},
title = {Proceedings of the 2009 ACM SIGPLAN Erlang Workshop},
year = 2009,
month = sep,
abstract = {Proceedings of the 2009 ACM SIGPLAN Erlang Workshop.},
editorial = {ACM Press},
isbn = {978-1-60558-507-9}
}
@inproceedings{EW09,
author = {Clara {Benac Earle} and Lars-{\AA}ke Fredlund},
title = {Recent Improvements to the McErlang Model Checker},
booktitle = {ACM Sigplan International Erlang Workshop},
year = {2009},
address = {Edinburgh, UK},
pages = {93-100},
crossref = {benac_thompson:Erlang09},
abstract = {In this paper we describe a number of recent
improvements to the McErlang model checker,
including a new source to source translation to
enable more Erlang programs to work under McErlang,
a methodology for writing properties that can be
verified by McErlang, and a combination of
simulation and model checking. The latter two
features are illustrated by means of the messenger
example found in the documentation of the Erlang/OTP
distribution.},
isbn = {978-1-60558-507-9},
pdf = {http://portal.acm.org/citation.cfm?id=1596613}
}
@article{DBLP:journals_entcs_Marpons-UceroMCHFMP09,
author = {Guillem Marpons and Julio Mari{\~{n}}o and Manuel Carro and
{{\'{A}}ngel} Herranz and Lars-{\AA}ke Fredlund and
{Juan Jos{\'{e}} {Moreno-Navarro}} and {{\'{A}}lvaro} Polo},
title = {A Coding Rule Conformance Checker Integrated into {GCC}},
journal = {ENTCS},
volume = 248,
year = 2009,
month = {August 5},
pages = {149-159},
url = {http://dx.doi.org/10.1016/j.entcs.2009.07.065},
bibsource = {DBLP, http://dblp.uni-trier.de},
tipoactividad = {Art{\'{i}}culos en revistas},
internacional = {yes},
abstract = {Coding rules are often used in industry to foster best
practices when coding software and to avoid the many
hazardous constructions present in languages such as
C or C++. Predictable, reliable tools are needed to
automatically measure adherence to these practices,
as manually checking for compliance is
cumbersome. Moreover, due to the wide range of
possible coding rule sets, easy of customization is
a need in order for these tools to be of practical
use. With this aim in mind, we present an extension
of the GNU Compiler Collection (GCC) that flags
those code fragments that do not conform to coding
rules belonging to a given set. These sets of coding
rules can be defined using a high-level declarative
language based on logic programming, thereby making
it possible to easily check code for conformance
with respect to rules addressing the particular
needs of a project, company, or application area.},
issn = {1571-0661}
}
@inproceedings{hemacamo:2009:mcssr,
author = {{{\'{A}}ngel} Herranz and
Julio Mari{\~{n}}o and
Manuel Carro and
Juan Jos{\'{e}} {Moreno-Navarro}},
title = {Modeling Concurrent Systems with Shared Resources},
booktitle = {Formal Methods for Industrial Critical Systems, 14th International
Workshop, FMICS 2009, Eindhoven, The Netherlands,
November 2-3, 2009. Proceedings},
pages = {102-116},
series = {Lecture Notes in Computer Science},
volume = {5825},
year = {2009},
isbn = {978-3-642-04569-1},
issn = {0302-9743},
url = {http://www.springerlink.com/content/b83m037648436667/},
pdf = {http://www.springerlink.com/content/b83m037648436667/fulltext.pdf},
abstract = {Testing is the more widely used approach to (partial)
system validation in industry. The introduction of
concurrency makes exhaustive testing extremely
costly or just impossible, requiring shifting to
formal verification techniques. We propose a
methodology to design and verify a concurrent system
that splits the verification problem in two
independent tasks: internal verification of shared
resources, where some concurrency aspects like
mutual exclusion and conditional synchronisation are
isolated, and external verification of processes,
where synchronisation mechanisms are not
relevant. Our method is language independent,
non-intrusive for the development process, and
improves the portability of the resulting system. We
demonstrate it by actually checking several
properties of an example application using the TLC
model checker.}
}
@article{benac_fredlundMochart08,
author = {Clara {Benac Earle} and Lars-{\AA}ke Fredlund and J. Iglesias and
A. Ledezma},
title = {Verifying Robocup Teams},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {5348/2009},
pages = {34-48},
booktitle = { Model Checking and Artificial Intelligence
5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers},
issn = {0302-9743},
isbn = {978-3-642-00430-8},
year = {2009}
}
@inproceedings{DBLP:conf/iwann/Munoz-HernandezCS09,
author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Pablos-Ceruelo, V{\'{i}}ctor and Strass, Hannes},
title = {RFuzzy: An Expressive Simple Fuzzy Compiler},
booktitle = {IWANN (1)},
year = {2009},
pages = {270-277},
doi = {http://dx.doi.org/10.1007/978-3-642-02478-8_34},
crossref = {DBLP:conf/iwann/2009-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{5156427,
title = {RFuzzy---A framework for multi-adjoint Fuzzy Logic Programming},
author = {Pablos-Ceruelo, V{\'{i}}ctor and Strass, Hannes and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
booktitle = {Fuzzy Information Processing Society, 2009. NAFIPS
2009. Annual Meeting of the North American Fuzzy
Information Processing Society Annual Conference},
year = {2009},
month = {June},
day = {14 - 17},
pages = {1-6},
abstract = {Fuzzy Logic Programming aims at combining the
advantages of Logic Programming (such as
readability, conciseness, and a formally
well-defined semantics) with the advantages of Fuzzy
Logic (representability of imprecise and uncertain
knowledge).},
address = {Cincinnati, Ohio, USA},
doi = {10.1109/NAFIPS.2009.5156427},
isbn = {978-1-4244-4575-2},
pdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp={\&}arnumber=5156427}
}
@article{journals/tcs/AmatoLM09,
tipoactividad = {Art{\'{i}}culos en revistas},
revisores = {yes},
internacional = {yes},
title = {On the Algebraic Structure of Declarative
Programming Languages},
author = {Gianluca Amato and James Lipton and Robert McGrail},
journal = {Theoretical Computer Science},
year = 2009,
number = 46,
volume = 410,
bibdate = {2009-12-29},
bibsource = {DBLP,
http://dblp.uni-trier.de/db/journals/tcs/tcs410.html#AmatoLM09},
pages = {4626--4671},
issn = {0304-3975},
url = {http://dx.doi.org/10.1016/j.tcs.2009.07.038}
}
@article{ngc2009,
tipoactividad = {Art{\'{i}}culos en revistas},
internacional = {yes},
author = {Julio Mari{\~{n}}o and Moreno-Navarro, Juan Jos{\'e} and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
title = {Implementing Constructive Intensional Negation},
pages = {25-56},
journal = {New Generation Computing},
issn = {0288-3635},
year = {2009},
volume = {27},
number = {1},
month = {January},
ee = {http://dx.doi.org/10.1007/s00354-008-0053-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@mastersthesis{alvarogpMSc09,
tipoactividad = {Otras publicaciones},
internacional = {yes},
author = {{{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez}},
title = {Exploring the $\beta$-hypercube},
school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de
Madrid},
year = 2009,
month = sep,
note = {Advisor: Pablo Nogueira}
}
@article{garcia:2009:aftta,
tipoactividad = {Art{\'{i}}culos en revistas},
internacional = {no},
author = {Amaya {Garc{\'{i}}a-P{\'{e}}rez} and {{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez}},
title = {La afinaci{\'{o}}n de la flauta tradicional de tres agujeros},
journal = {Revista de Musicolog{\'{i}}a},
volume = {22},
number = {2},
pages = {343-361},
issn = {0210-1459},
year = {2009},
address = {Madrid, Espa{\~{n}}a},
publisher = {Sociedad Espa{\~{n}}ola de Musicolog{\'{i}}a}
}
@article{tahemo:2009:srvdpftutmc,
author = {Toufik Taibi and {{\'{A}}ngel} Herranz and Juan Jos{\'{e}}
{Moreno-Navarro}},
title = {Stepwise Refinement Validation of Design Patterns Formalized
in {TLA+} Using the {TLC} Model Checker},
journal = {Journal of Object Technology (JOT, \url{http://www.jot.fm/general/about/})},
year = {2009},
volume = {8},
number = {2},
month = mar,
issn = {1660-1769},
pages = {137-161},
doi = {doi:10.5381/jot.2009.8.2.a3},
pdf = {http://www.jot.fm/issues/issue_2009_03/article3.pdf},
abstract = {Despite being around for only a little more than a
decade, design patterns have proved to be successful
reuse artifacts. However, the fact that they are
mostly described informally gives rise to ambiguity
and hinders correct usage. This paper discusses how
to formally specify the "solution element" of
patterns using TLA+, the formal specification
language of Temporal Logic of Actions (TLA). The
focus is first on formally specifying the most
abstract version of a pattern before validly doing
stepwise refinements by adding more details along
the way until reaching a concrete
implementation. Checking that the refinement
properties hold was done using TLC (the TLA+ model
checker).},
tipoactividad = {Art{\'{i}}culos en revistas},
internacional = {yes}
}
@proceedings{DBLP:conf/iwann/2009-1,
editor = {Joan Cabestany and
Francisco Sandoval and
Alberto Prieto and
Juan M. Corchado},
title = {Bio-Inspired Systems: Computational and Ambient Intelligence,
10th International Work-Conference on Artificial Neural
Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009.
Proceedings, Part I},
booktitle = {IWANN (1)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5517},
year = {2009},
isbn = {978-3-642-02477-1},
ee = {http://dx.doi.org/10.1007/978-3-642-02478-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/eusflat/2009,
editor = {Jo{\~{a}}o Paulo Carvalho and
Didier Dubois and
Uzay Kaymak and
Jo{\~{a}}o Miguel da Costa Sousa},
title = {Proceedings of the Joint 2009 International Fuzzy Systems
Association World Congress and 2009 European Society of
Fuzzy Logic and Technology Conference, Lisbon, Portugal,
July 20-24, 2009},
booktitle = {IFSA/EUSFLAT Conf.},
year = {2009},
isbn = {978-989-95079-6-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
This file was generated by bibtex2html 1.98.