Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2019-03-18T17:11:18Z
dc.date.available 2019-03-18T17:11:18Z
dc.date.issued 2018
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/73271
dc.description.abstract The Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, expressivity of the specification language is a key factor, especially when dealing with open systems and controllability of events. In this work we present an extension of the FVS language to denote behavior in open systems. By relying on an existing behavioral synthesis technique based on the specification patterns we show how FVS specification can be used as input to automatically build a controller from its specification. en
dc.format.extent 602-611 es
dc.language en es
dc.subject open systems en
dc.subject behavioral specifications en
dc.subject synthesis en
dc.title Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses en
dc.type Objeto de conferencia es
sedici.identifier.isbn 978-950-658-472-6 es
sedici.creator.person Asteasuain, Fernando es
sedici.creator.person Calonge, Federico es
sedici.creator.person Dubinsky, Manuel es
sedici.description.note XV Workshop Ingeniería de Software (WIS) es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/4.0/
sedici.date.exposure 2018-10
sedici.relation.event XXIV Congreso Argentino de Ciencias de la Computación (La Plata, 2018). es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (539.1Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)