Mostra el registre d'ítem simple
Abstract constraint data types
dc.contributor.author | Fiadeiro, José Luiz |
dc.contributor.author | Orejas Valdés, Fernando |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2015-09-21T09:39:30Z |
dc.date.available | 2016-12-31T01:30:09Z |
dc.date.created | 2015 |
dc.date.issued | 2015 |
dc.identifier.citation | Fiadeiro, J., Orejas, F. Abstract constraint data types. "Lecture notes in computer science", 2015, p. 155-170. |
dc.identifier.issn | 0302-9743 |
dc.identifier.uri | http://hdl.handle.net/2117/76978 |
dc.description.abstract | Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e.g., [2]), which he explored in a variety of domains over many years. Throughout his career, he has also inspired countless researchers in related areas. This paper is inspired by one of the domains that he explored thirty years or so after his first contributions when leading the FET Integrated Project SENSORIA [14]: the use of constraint systems to deal with non-functional requirements and preferences [13,8]. Following in his footsteps, we provide an extension of the traditional notion of algebraic data type specification to encompass soft-constraints as formalised in [1]. Finally, we relate this extension with institutions [6] and recent work on graded consequence in institutions [3]. |
dc.format.extent | 16 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Enginyeria del software |
dc.subject.lcsh | Abstract data types (Computer science) |
dc.subject.other | Algebraic data-types |
dc.subject.other | Algebraic specifications |
dc.subject.other | Constraint systems |
dc.subject.other | Data type |
dc.subject.other | Integrated project |
dc.subject.other | Non-functional requirements |
dc.subject.other | Soft constraint |
dc.title | Abstract constraint data types |
dc.type | Article |
dc.subject.lemac | Wirsing, Martin |
dc.subject.lemac | Enginyeria del programari |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.identifier.doi | 10.1007/978-3-319-15545-6_12 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007/978-3-319-15545-6_12 |
dc.rights.access | Open Access |
local.identifier.drac | 15600121 |
dc.description.version | Postprint (author’s final draft) |
local.citation.author | Fiadeiro, J.; Orejas, F. |
local.citation.publicationName | Lecture notes in computer science |
local.citation.volume | 8950 |
local.citation.startingPage | 155 |
local.citation.endingPage | 170 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Articles de revista [1.049]
-
Articles de revista [274]