- -

Inferring Specifications in the K Framework

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


Inferring Specifications in the K Framework

Show full item record

Alpuente Frasnedo, M.; Pardo Pont, D.; Villanueva, A. (2015). Inferring Specifications in the K Framework. Electronic Proceedings in Theoretical Computer Science. 1-16. http://hdl.handle.net/10251/74186

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/74186

Files in this item

Item Metadata

Title: Inferring Specifications in the K Framework
Author: Alpuente Frasnedo, María Pardo Pont, Daniel Villanueva, Alicia
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Issued date:
[EN] Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write formal specifications, in this paper we ...[+]
Copyrigths: Reconocimiento (by)
Electronic Proceedings in Theoretical Computer Science. (issn: 2075-2180 )
Open Publishing Association
Publisher version: http://eptcs.org/
Conference name: XV Jornadas sobre Programación y Lenguajes (PROLE 2015)
Conference place: Santander, España
Conference date: September 15 - 17, 2015
Project ID:
This work has been partially supported by the EU (FEDER) and the Spanish MINECO ref. TIN2013-45732-C4 (DAMAS), and by Generalitat Valenciana ref. PROMETEOII/2015/013. D. Pardo is supported by FPU-ME grant FPU14/01830.
Type: Artículo Comunicación en congreso

This item appears in the following Collection(s)

Show full item record