Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/23923
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Riché, T. L. | - |
dc.contributor.author | Gonçalves, Rui | - |
dc.contributor.author | Marker, B. | - |
dc.contributor.author | Batory, D. | - |
dc.date.accessioned | 2013-05-03T13:35:04Z | - |
dc.date.available | 2013-05-03T13:35:04Z | - |
dc.date.issued | 2012 | - |
dc.date.submitted | 19-12-2012 16:28:32 | por |
dc.identifier.isbn | 978-1-4503-1129-8 | - |
dc.identifier.issn | 0362-1340 | por |
dc.identifier.uri | https://hdl.handle.net/1822/23923 | - |
dc.description.abstract | A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this approach is hard or impractical when reverse engineering legacy software architectures. We present a case study that shows optimizations and pushouts--in addition to refinements and extensions--are essential for practical stepwise development of complex software architectures. | por |
dc.description.sponsorship | NSF CCF 0724979 | por |
dc.description.sponsorship | NSF CNS 0509338 | por |
dc.description.sponsorship | NSF CCF 0917167 | por |
dc.description.sponsorship | NSF DGE-1110007 | por |
dc.description.sponsorship | FCT SFRH/BD/47800/2008 | por |
dc.description.sponsorship | FCT UTAustin/CA/0056/2008 | por |
dc.language.iso | eng | por |
dc.publisher | Association for Computing Machinery (ACM) | por |
dc.rights | openAccess | por |
dc.subject | MDE | por |
dc.subject | Software architectures | por |
dc.subject | Program derivation | por |
dc.subject | Pushouts | por |
dc.subject | Design | por |
dc.subject | Theory | por |
dc.title | Pushouts in software architecture design | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 84 | por |
oaire.citationEndPage | 92 | por |
oaire.citationIssue | 3 | por |
oaire.citationTitle | GPCE 2012 - 11th International Conference on Generative Programming and Component Engineering | por |
oaire.citationVolume | 48 | por |
dc.identifier.doi | 10.1145/2371401.2371415 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | ACM SIGPLAN Notices | por |
sdum.conferencePublication | GPCE 2012 - 11th International Conference on Generative Programming and Component Engineering | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Rich_2012_Pushouts in Software Architecture Design.pdf | 1,02 MB | Adobe PDF | Ver/Abrir |