To access the full text documents, please follow this link: http://hdl.handle.net/2117/99926
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.contributor.author | Chirita, Claudia Elena |
dc.contributor.author | Fiadeiro, José Luiz |
dc.contributor.author | Orejas Valdés, Fernando |
dc.date | 2016 |
dc.identifier.citation | Chirita, C., Fiadeiro, J., Orejas, F. Many-valued institutions for constraint specification. A: International Conference on Fundamental Approaches to Software Engineering. "Fundamental approaches to software engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016: proceedings". Eindhoven: Springer, 2016, p. 359-376. |
dc.identifier.citation | 978-3-662-49664-0 |
dc.identifier.citation | 10.1007/978-3-662-49665-7_21 |
dc.identifier.uri | http://hdl.handle.net/2117/99926 |
dc.language.iso | eng |
dc.publisher | Springer |
dc.relation | http://link.springer.com/chapter/10.1007%2F978-3-662-49665-7_21 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Enginyeria del software |
dc.subject | Computer software -- Quality control |
dc.subject | Constraint satisfaction problems |
dc.subject | Contracts |
dc.subject | Formal specification |
dc.subject | Many-valued institutions |
dc.subject | Constraint specification |
dc.subject | Logical systems |
dc.subject | Soft constraints |
dc.subject | Complex software system specification |
dc.subject | Functional requirements |
dc.subject | Quality attributes |
dc.subject | Service-level agreements |
dc.subject | Graded semantic consequence |
dc.subject | Soft-constraint satisfaction problems |
dc.subject | Service discovery |
dc.subject | Programari -- Control de qualitat |
dc.title | Many-valued institutions for constraint specification |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |