Loading…
Ranking programming languages by energy efficiency
Pereira, Rui, Couto, Marco, Ribeiro, Francisco, Rua, Rui, Cunha, Jácome, Fernandes, João Paulo, Saraiva, João
Published in Science of computer programming (01.05.2021)
Published in Science of computer programming (01.05.2021)
Get full text
Journal Article
Loading…
Predicting issue types on GitHub
Kallis, Rafael, Di Sorbo, Andrea, Canfora, Gerardo, Panichella, Sebastiano
Published in Science of computer programming (01.05.2021)
Published in Science of computer programming (01.05.2021)
Get full text
Journal Article
Loading…
FeatureIDE: An extensible framework for feature-oriented software development
Thüm, Thomas, Kästner, Christian, Benduhn, Fabian, Meinicke, Jens, Saake, Gunter, Leich, Thomas
Published in Science of computer programming (01.01.2014)
Published in Science of computer programming (01.01.2014)
Get full text
Journal Article
Loading…
Multi-agent oriented programming with JaCaMo
Boissier, Olivier, Bordini, Rafael H., Hübner, Jomi F., Ricci, Alessandro, Santi, Andrea
Published in Science of computer programming (01.06.2013)
Published in Science of computer programming (01.06.2013)
Get full text
Journal Article
Loading…
“Will I be replaced?” Assessing ChatGPT's effect on software development and programmer perceptions of AI tools
Kuhail, Mohammad Amin, Mathew, Sujith Samuel, Khalil, Ashraf, Berengueres, Jose, Shah, Syed Jawad Hussain
Published in Science of computer programming (01.07.2024)
Published in Science of computer programming (01.07.2024)
Get full text
Journal Article
Loading…
Formal verification of autonomous vehicle platooning
Kamali, Maryam, Dennis, Louise A., McAree, Owen, Fisher, Michael, Veres, Sandor M.
Published in Science of computer programming (15.11.2017)
Published in Science of computer programming (15.11.2017)
Get full text
Journal Article
Loading…
Loading…
Programming interactions in collective adaptive systems by relying on attribute-based communication
Abd Alrahman, Yehia, De Nicola, Rocco, Loreti, Michele
Published in Science of computer programming (15.06.2020)
Published in Science of computer programming (15.06.2020)
Get full text
Journal Article
Loading…
Comparison and evaluation of code clone detection techniques and tools: A qualitative approach
Roy, Chanchal K., Cordy, James R., Koschke, Rainer
Published in Science of computer programming (01.05.2009)
Published in Science of computer programming (01.05.2009)
Get full text
Journal Article
Loading…
Loading…
Loading…
RML: Theory and practice of a domain specific language for runtime verification
Ancona, Davide, Franceschini, Luca, Ferrando, Angelo, Mascardi, Viviana
Published in Science of computer programming (01.05.2021)
Published in Science of computer programming (01.05.2021)
Get full text
Journal Article
Loading…
Loading…
Technical Debt tracking: Current state of practice: A survey and multiple case study in 15 large organizations
Martini, Antonio, Besker, Terese, Bosch, Jan
Published in Science of computer programming (01.10.2018)
Published in Science of computer programming (01.10.2018)
Get full text
Journal Article
Loading…
ATL: A model transformation tool
Jouault, Frédéric, Allilaire, Freddy, Bézivin, Jean, Kurtev, Ivan
Published in Science of computer programming (01.06.2008)
Published in Science of computer programming (01.06.2008)
Get full text
Journal Article
Loading…
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection
Yang, Huiwen, Gu, Xiguo, Chen, Xiang, Zheng, Liwei, Cui, Zhanqi
Published in Science of computer programming (01.05.2024)
Published in Science of computer programming (01.05.2024)
Get full text
Journal Article
Loading…
Unifying semantic foundations for automated verification tools in Isabelle/UTP
Foster, Simon, Baxter, James, Cavalcanti, Ana, Woodcock, Jim, Zeyda, Frank
Published in Science of computer programming (01.10.2020)
Published in Science of computer programming (01.10.2020)
Get full text
Journal Article
Loading…
Loading…