Bueso de Barrio, Luis Eduardo

Foto de perfil
E-mails conocidos
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Bueso de Barrio
Nombre de pila
Luis Eduardo
Nombres alternativos
Afiliaciones conocidas
Universidad Politécnica de Madrid, Spain
Páginas web conocidas
Página completa del ítem
Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 2 de 2
  • Artículo
    HaskCell: Experiments with Purely Functional Spreadsheets
    Mariño, Julio; Ballesteros González, Ignacio; Bueso de Barrio, Luis Eduardo. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021), 2021-09-22.
    Spreadsheet programs are one of the most widespread information processing tools used by end-users. Their importance lies not only in their extensive use by people with little or no knowledge of programming but because of their relevance as a decision-making tool by executives in many companies. In spite of this long-term success, many studies have found plenty of pitfalls that make spreadsheets widely faulty, hence potentially leading to risky decisions. Because of these problems several analysis tools have been proposed to help find errors easily. In this project we present a different approach, more oriented to prevent the appearance of errors through a change in the way users interact with them. We focus on the _declarative_ essence of spreadsheets and propose to refound them on the grounds of modern functional programming languages. Our tool, _HaskCell_, uses a subset of _Haskell_ as the expression language for its cells and takes advantage of its rich type system to support a safer way of spreadsheet programming that prevents the appearance of certain errors and help understanding the meaning of programs, as new data types can be introduced from cell aggregates. Haskell is also used for defining reusable, user-defined functions and external modules. We show a working prototype incorporating the ideas above and point towards new features based on advanced functional programming technologies.
  • Artículo
    Tool Demonstration: Testing JSON Web Services Using Jsongen (Demostración)
    Ballesteros González, Ignacio; Bueso de Barrio, Luis Eduardo; Fredlund, Lars-Ake; Mariño, Julio. Actas de las XVIII Jornadas de Programación y Lenguajes (PROLE 2018), 2018-09-17.
    This article describes a tool, jsongen, which permits testing behavioural aspects of Web Services that communicate using the JSON data format. Provided a characterisation of the JSON data as a JSON schema, the jsongen tool will: (i) automatically derive a QuickCheck (the property-based testing tool) generator which can generate an infinite number of JSON values that validate against the schema, and (ii) provides a generic QuickCheck state machine which is capable of following the (hyper)links documented in the JSON schema, to automatically explore the web service. The default behaviour of the state machine can be easily customized to include web service specific checks. The approach is demonstrated by applying it to the task of testing a simplified web service for banking.