On the expressiveness of refinement settings
| dc.book.title | Fundamentals of Software Engineering : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers | |
| dc.contributor.author | Fecher, Harald | |
| dc.contributor.author | Frutos Escrig, David De | |
| dc.contributor.author | Lüttgen, Gerald | |
| dc.contributor.author | Schmidt, Heiko | |
| dc.contributor.editor | Arbab, Fahrad | |
| dc.contributor.editor | Marjan, Sirjani | |
| dc.date.accessioned | 2023-06-20T05:45:16Z | |
| dc.date.available | 2023-06-20T05:45:16Z | |
| dc.date.issued | 2010 | |
| dc.description.abstract | Embedded-systems designers often use transition system-based notations for specifying, with respect to some refinement preorder, sets of deterministic implementations. This paper compares popular such refinement settings — ranging from transition systems equipped with failure-pair inclusion to disjunctive modal transition systems — regarding the sets of implementations they are able to express. The paper’s main result is an expressiveness hierarchy, as well as language-preserving transformations between various settings. In addition to system designers, the main beneficiaries of this work are tool builders who wish to reuse refinement checkers or model checkers across different settings. | en |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.faculty | Instituto de Matemática Interdisciplinar (IMI) | |
| dc.description.refereed | TRUE | |
| dc.description.sponsorship | DFG | |
| dc.description.sponsorship | Engineering & Physical Sciences Research Council (Reino Unido) | |
| dc.description.sponsorship | Ministerio de Educación, Formación Profesional y Deportes (España) | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/20934 | |
| dc.identifier.citation | Fecher, H., Frutos Escrig, D., Lüttgen, G. & Schmidt, H. «On the Expressiveness of Refinement Settings». Fundamentals of Software Engineering, editado por Farhad Arbab y Marjan Sirjani, vol. 5961, Springer Berlin Heidelberg, 2010, pp. 276-91. DOI.org (Crossref), https://doi.org/10.1007/978-3-642-11623-0_16. | |
| dc.identifier.doi | 10.1007/978-3-642-11623-0_16 | |
| dc.identifier.isbn | 978-3-642-11622-3 | |
| dc.identifier.officialurl | https//doi.org/10.1007/978-3-642-11623-0_16 | |
| dc.identifier.relatedurl | http://link.springer.com/content/pdf/10.1007%2F978-3-642-11623-0_16.pdf | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/45442 | |
| dc.issue.number | 5961 | |
| dc.language.iso | eng | |
| dc.page.final | 291 | |
| dc.page.initial | 276 | |
| dc.publisher | Springer | |
| dc.relation.ispartofseries | Lecture notes in computer science | |
| dc.relation.projectID | FE 942/2-1 | |
| dc.relation.projectID | RO 1122/12-2 | |
| dc.relation.projectID | EP/E034853/1 | |
| dc.relation.projectID | TIN2006-15660-C02-01 | |
| dc.relation.projectID | TIN2006-15578-C02-01 | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 004 | |
| dc.subject.ucm | Informática (Informática) | |
| dc.subject.unesco | 1203.17 Informática | |
| dc.title | On the expressiveness of refinement settings | en |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | fc861853-ad02-4152-b8b0-e0a8df6080dc | |
| relation.isAuthorOfPublication.latestForDiscovery | fc861853-ad02-4152-b8b0-e0a8df6080dc |
Download
Original bundle
1 - 1 of 1