Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/35296
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Martins, Pedro | por |
dc.contributor.author | Carvalho, Nuno | por |
dc.contributor.author | Fernandes, João Paulo | por |
dc.contributor.author | Almeida, José João | por |
dc.contributor.author | Saraiva, João | por |
dc.date.accessioned | 2015-05-26T16:14:12Z | - |
dc.date.available | 2015-05-26T16:14:12Z | - |
dc.date.issued | 2013 | - |
dc.identifier.isbn | 9783642396427 | por |
dc.identifier.issn | 0302-9743 | por |
dc.identifier.uri | https://hdl.handle.net/1822/35296 | - |
dc.description.abstract | This paper presents a framework for the analysis of software artifacts. We revise and propose techniques that aid in the manipulation and combination of target-language specific tools, and in handling and controlling the results of such tools. We also propose to integrate under our framework techniques that are capable of performing language independent analyses. The final result of our work is an analysis environment that is modular and flexible and that allows easy and elegant implementations of complex analysis suites. We finally conduct a proof of concept for our framework by analyzing a well-known, widely used open-source software package. | por |
dc.description.sponsorship | This work is partly funded by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundacao para a Ciencia e a Tecnologia (Portuguese Foundation for Science and Technology) within projects FCOMP-01-0124-FEDER-010049, and FCOMP-01-0124-FEDER-022701. | por |
dc.language.iso | eng | por |
dc.publisher | Springer Verlag | por |
dc.rights | openAccess | por |
dc.subject | Software Analysis | por |
dc.subject | Software Certification | por |
dc.subject | Combinator Languages | por |
dc.title | A framework for modular and customizable software analysis | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | http://dblp.uni-trier.de/rec/bib/conf/iccsa/MartinsCFAS13 | por |
dc.comments | 1261 | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 443 | por |
oaire.citationEndPage | 458 | por |
oaire.citationIssue | PART 2 | por |
oaire.citationTitle | Computational Science and Its Applications - {ICCSA} 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part {II} | por |
oaire.citationVolume | 7972 | por |
dc.identifier.doi | 10.1007/978-3-642-39643-4_32 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Lecture Notes in Computer Science | por |
sdum.conferencePublication | Computational Science and Its Applications - {ICCSA} 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part {II} | por |
Aparece nas coleções: |