[Pab15]
Victor Pablos Ceruelo. Extending the Expressiveness of Fuzzy Logic Languages. PhD thesis, Facultad de Informática, Universidad Politécnica de Madrid, July 2015. Advisor: Muñoz-Hernández. [ bib ]
[NN15]
Jaime Nuche and Pablo Nogueira. A syntactic approach to macro-grammars for context-free grammars. Technical report, Babel research group (Universidad Politécnica de Madrid), 2015. [ bib | http ]
[GÁH15]
Tomás García and Ángel Herranz. Prototipo bouml para la traducción de uml a autómatas temporales. Technical report, Babel research group (Universidad Politécnica de Madrid), 2015. [ bib | .pdf ]
[FÁHM15]
Lars-Ake Fredlund, Ángel Herranz, and Julio Mariño. Applying property-based testing in teaching safety-critical system programming. In 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pages 309--316. IEEE, 2015. Best paper award. [ bib | DOI ]
At the Universidad Politécnica de Madrid students attending a course on concurrency are taught a high-level formalism which permits concise specification of shared resources. This formalism is used to express safety-critical access policies for typical control problems such as robot plants. Students are moreover provided with programming recipes for implementing such shared resource specifications in programming languages (typically Java). The teachers of the course use various tools to ensure that the implementations developed by students for a shared resource are of an acceptable quality. Such tools include normal unit tests, but also the systematic application of property-based testing to judge the quality of the exercises. In this article we provide an overview of the tools, techniques and methods used in one particular exercise of the course: the implementation of a control system for an automated warehouse.

[VTCM15]
Guillermo Vigueras, Salvador Tamarit, Manuel Carro, and Julio Mariño. Towards a rule-based approach to generate high-performance scientific code. Poster and invited talk at HiPEAC 2015, Amsterdam, January 2015. [ bib ]
[MA15]
Julio Mariño and Raúl N N Alborodo. Communicating Process Architectures, CPA2015, chapter A Model-driven Methodology for Generating and Verifying CSP-based Java Code, pages 85--108. Open Channel Publishing Ltd., Oxford, UK, 2015. To appear in 2016. [ bib ]
[Esc15]
Santiago Escobar, editor. Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014, volume 173 of EPTCS, 2015. [ bib | DOI | http ]
[AIST15b]
Julián Alarte, David Insa, Josep Silva, and Salvador Tamarit. Temex: The web template extractor. In Gangemi et al. [GLP15], pages 155--158. [ bib | DOI | http ]
[GLP15]
Aldo Gangemi, Stefano Leonardi, and Alessandro Panconesi, editors. Proceedings of the 24th International Conference on World Wide Web Companion, WWW 2015, Florence, Italy, May 18-22, 2015 - Companion Volume. ACM, 2015. [ bib | http ]
[CMMRT15]
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, and Salvador Tamarit. A zoom-declarative debugger for sequential erlang programs. Science of Computer Programming, 110:104 -- 118, 2015. [ bib | DOI | http ]
Abstract We present a declarative debugger for sequential Erlang programs. The tool is started when a program produces some unexpected result, and proceeds asking questions to the user about the correctness of some subcomputations until an erroneous program function is found. Then, the user can refine the granularity by zooming in the function, checking the values bound to variables and the if/case/try-catch branches taken during the execution. We show by means of an extensive benchmark that the result is a usable, scalable tool that complements already existing debugging tools such as the Erlang tracer and Dialyzer. Since the technique is based on a formal calculus, we are able to prove the soundness and completeness of the approach.

Keywords: Erlang
[CMRT15]
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, and Salvador Tamarit. A declarative debugger for concurrent erlang programs. In XV Jornadas sobre Programación y Lenguajes, PROLE 2015. Universidad de Cantabria, 2015. [ bib ]
[TMVC15]
Salvador Tamarit, Julio Mariño, Guillermo Vigueras, and Manuel Carro. A haskell implementation of a rule-based program transformation for c programs. In XV Jornadas sobre Programación y Lenguajes, PROLE 2015. Universidad de Cantabria, 2015. [ bib ]
[AIST15a]
Julián Alarte, David Insa, Josep Silva, and Salvador Tamarit. A collection of website benchmarks labelled for template detection and content extraction. In XV Jornadas sobre Programación y Lenguajes, PROLE 2015. Universidad de Cantabria, 2015. [ bib ]
[LOST15]
Marisa Llorens, Javier Oliver, Josep Silva, and Salvador Tamarit. Dynamic slicing of csp via tracking. In 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015. Università degli Studi di Siena, 2015. [ bib ]
[ESFG15]
Clara Benac Earle, Ana María Fernández Soriano, Lars-Åke Fredlund, and Elena Gómez-Martínez. Teaching software safety to master students. In 41st Euromicro Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2015, Madeira, Portugal, August 26-28, 2015 [DBL15], pages 306--308. [ bib | DOI | http ]
[DEF15]
Álvaro Fernández Díaz, Clara Benac Earle, and Lars-Åke Fredlund. Adding distribution and fault tolerance to jason. Sci. Comput. Program., 98:205--232, 2015. [ bib | DOI | http ]
[DBL15]
41st Euromicro Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2015, Madeira, Portugal, August 26-28, 2015. IEEE Computer Society, 2015. [ bib | http ]
[TVCM15]
Salvador Tamarit, Guillermo Vigueras, Manuel Carro, and Julio Mariño. A Haskell implementation of a rule-based program transformation for C programs. In Enrico Ponteli and Son Cao Tran, editors, Practical Aspects of Declarative Languages PADL 2015, volume 9131 of LNCS, pages 105--114. Springer, 2015. [ bib ]
[GLSF+15]
Elena Gómez-Martínez, Marino Linaje, Fernando Sánchez-Figueroa, Andres Iglesias-Pérez, Juan Carlos Preciado, Rafael Gónzalez-Cabero, and José Merseguer. A semantic approach for designing assistive software recommender systems. Journal of Systems and Software, 104:166--178, 2015. [ bib | DOI ]
[ALM15]
Emilio Jesús Gallego Arias, James Lipton, and Julio Mariño. Declarative compilation for constraint logic programming. In Maurizio Proietti and Hirohisa Seki, editors, Logic Programming Synthesis and Transformation LOPSTR 2014, volume 8981 of LNCS, pages 299--316. Springer, 2015. [ bib ]
[FHAM15]
Lars-Åke Fredlund, Ángel Herranz-Nieva, Raúl N N Alborodo, and Julio Mariño. A testing-based approach to ensure the safety of shared resource concurrent systems (revised version of conference publication). Journal of Risk and Reliability, 2015. Accepted for publication, to appear in 2016. [ bib ]
The paper describes a framework for testing a class of safety-critical concurrent systems implemented using shared resource specifications.

Shared resources contain declarative specifications of process interaction that can be used to derive, in a model-driven way, the most delicate parts of a concurrent system. Here, we propose their use to build a state-based model that will help in testing a real implementation of the resource. The framework has been implemented using Erlang and QuickCheck and it source code is available.

The paper also provides a novel parametric operational semantics for shared resources with scheduling policy annotations and a methodology to guide test case generation from the shared resource specifications and a classification of common mistakes.

We illustrate our framework by applying it to testing Java implementations of a prototypical automated shipping plant.

[EF15]
Clara Benac Earle and Lars-Åke Fredlund. Functional testing of java programs. Accepted to be published in LNCS after presentation at the 2015 International Symposium on Trends in Functional Programming (16th), 2015. [ bib ]
The paper describes an approach to testing Java code using a func- tional programming language. Models for Java programs are ex- pressed as Quviq Erlang QuickCheck properties, from which ran- dom tests are generated and executed. To remove the need for writ- ing boilerplate code to interface Java and Erlang, a new library, JavaErlang, has been developed. The library provides a number of interesting features, e.g., it supports automatic garbage collection of Java objects communicated to Erlang, and permits Java classes to be written entirely in Erlang. Moreover, as the library is built on top of the Erlang distributed node concept, the Java program under test runs in isolation from the Erlang testing code. The chief ad- vantage of this testing approach is that a functional programming language, with expressive data types and side-effect free libraries, is very suited to formulating models for imperative programs. The resulting testing methodology has been applied extensively to eval- uate student Java exercises.

[FHM15]
Lars-Åke Fredlund, Ángel Herranz-Nieva, and Julio Mariño. Applying property-based testing in teaching safety-critical system programming. Submitted to the 2015 EUROMICRO Conference on Software Engineering and Advanced Applications, 2015. [ bib ]
At the Universidad Politécnica de Madrid students attending a course on concurrency are taught a high-level formalism which permits concise specification of shared resources. This formalism is used to express safety-critical access policies for typical control problems such as e.g. robot plants, etc. Students are moreover provided with programming recipes for implementing such shared resource specifications in programming languages (typically Java). The teachers of the course use various tools to assure that the implementations students develop for a shared resource are of an acceptable quality. Such tools include normal unit tests, but also the systematic application of property-based testing to judge the quality of the exercises. In this article we provide an overview of the tools, techniques and methods used in one particular exercise of the course: the implementation of a control system for an automated warehouse.


This file was generated by bibtex2html 1.98.