acm international conference proceeding series (20)
lecture notes in computer science (8)
information and software technology (6)
ieee transactions on software engineering (5)
electronic notes in theoretical computer science (4)
journal of systems and software (4)
journal of universal computer science (4)
acm sigplan notices (3)
empirical software engineering (3)
ieee transactions on software engineering, software engineering, ieee transactions on, iieee trans. software eng. (3)
science of computer programming (3)
2011 25th brazilian symposium on software engineering (sbes) (2)
formal methods: foundations and applications - 23rd brazilian symposium, sbmf 2020, proceedings (2)
ieee international conference on program comprehension (2)
proceedings - 2017 ieee/acm 39th international conference on software engineering, icse 2017 (2)
proceedings - 25th brazilian symposium on software engineering, sbes 2011 (2)
proceedings - international conference on software engineering (2)
proceedings of the conference on object-oriented programming systems, languages, and applications, oopsla (2)
2011 27th ieee international conference on software maintenance (icsm) (1)
2020 ieee 27th international conference on software analysis, evolution and reengineering (saner), software analysis, evolution and reengineering (saner), 2020 ieee 27th international conference on (1)
2023 ieee/acm 45th international conference on software engineering (icse), software engineering (icse), 2023 ieee/acm 45th international conference on, icse (1)
20th ieee/acm international conference on automated software engineering, ase 2005 (1)
acm transactions on software engineering and methodology (1)
arxiv (1)
computer languages, systems and structures (1)
electronic communications of the easst (1)
electronic proceedings in theoretical computer science, eptcs (1)
esec/fse 2019 - proceedings of the 2019 27th acm joint meeting european software engineering conference and symposium on the foundations of software engineering (1)
formal methods: foundations and applications - 12th brazilian symposium on formal methods, sbmf 2009, revised selected papers (1)
formal methods: foundations and applications - 13th brazilian symposium on formal methods, sbmf 2010, revised selected papers (1)
fundamental approaches to software engineering - 11th international conference, fase 2008 - held as part of the joint european conferences on theory and practice of software, etaps 2008, proceedings (1)
gpce 2015 - proceedings of the 2015 acm sigplan international conference on generative programming: concepts and experiences (1)
gpce 2016 - proceedings of the 2016 acm sigplan international conference on generative programming: concepts and experiences, co-located with splash 2016 (1)
ieee international conference on software maintenance, icsm (1)
ieee software (1)
innovations in systems and software engineering (1)
international symposium on empirical software engineering and measurement (1)
leibniz international proceedings in informatics, lipics (1)
leveraging applications of formal methods, verification and validation: engineering principles - 9th international symposium on leveraging applications of formal methods, isola 2020, proceedings (1)
proceedings - 2012 6th brazilian symposium on software components, architectures and reuse, sbcars 2012 (1)
proceedings - 2015 9th brazilian symposium on software components, architectures and reuse, sbcars 2015 (1)
proceedings - 2020 ieee 13th international conference on software testing, verification and validation, icst 2020 (1)
proceedings - 2021 ieee international conference on software maintenance and evolution, icsme 2021 (1)
proceedings - 2021 ieee/acm 13th international workshop on cooperative and human aspects of software engineering, chase 2021 (1)
proceedings - 2022 ieee 22nd international working conference on source code analysis and manipulation, scam 2022 (1)
proceedings - 30th international conference on software maintenance and evolution, icsme 2014 (1)
proceedings of the 5th international conference on generative programming and component engineering, gpce'06 (1)
proceedings of the acm sigsoft symposium on the foundations of software engineering (1)
requirements engineering (1)
saner 2020 - proceedings of the 2020 ieee 27th international conference on software analysis, evolution, and reengineering (1)