dc.contributor.author | CARDOZO ÁLVAREZ, NICOLÁS | en |
dc.date.accessioned | 2014-08-12T14:57:40Z | |
dc.date.available | 2014-08-12T14:57:40Z | |
dc.date.created | July | en |
dc.date.issued | 2014 | en |
dc.date.submitted | 2014 | en |
dc.identifier.citation | Nicolas Cardozo, Laurent Chritophe, Coen De Roover, Wolfgang De Meuter, Run-time Validation of Behavioral Adaptations, 6th International Workshop on Context-Oriented Programming, Uppsala, Sweden, July, ACM, 2014, 5:1 - 5:6 | en |
dc.identifier.other | Y | en |
dc.identifier.uri | http://hdl.handle.net/2262/70884 | |
dc.description | PUBLISHED | en |
dc.description | Uppsala, Sweden | en |
dc.format.extent | 5:1 | en |
dc.format.extent | 5:6 | en |
dc.language.iso | en | en |
dc.publisher | ACM | en |
dc.rights | Y | en |
dc.subject | Context-oriented programming, | en |
dc.subject | Correctness, | en |
dc.subject | Symbolic execution, | en |
dc.subject | Validation | en |
dc.title | Run-time Validation of Behavioral Adaptations | en |
dc.title.alternative | 6th International Workshop on Context-Oriented Programming | en |
dc.type | Conference Paper | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/cardozon | en |
dc.identifier.rssinternalid | 95884 | en |
dc.rights.ecaccessrights | openAccess | |
dc.subject.TCDTheme | Smart & Sustainable Planet | en |
dc.subject.TCDTag | Computer Science/Engineering | en |
dc.subject.TCDTag | Context-oriented programming | en |
dc.subject.TCDTag | Software Engineering | en |
dc.subject.TCDTag | software verification | en |
dc.identifier.rssuri | http://doi.acm.org/10.1145/2637066.2637071 | en |