Výsledky vyhledávání - "Science of computer programming"

“Will I be replaced?” Assessing ChatGPT's effect on software development and programmer perceptions of AI tools Autor Kuhail, Mohammad Amin, Mathew, Sujith Samuel, Khalil, Ashraf, Berengueres, Jose, Shah, Syed Jawad Hussain

“…ChatGPT is a language model with artificial intelligence (AI) capabilities that has found utility across various sectors. Given its impact, we conducted two…”
Získat plný text

FeatureIDE: An extensible framework for feature-oriented software development Autor Thüm, Thomas, Kästner, Christian, Benduhn, Fabian, Meinicke, Jens, Saake, Gunter, Leich, Thomas

“…FeatureIDE is an open-source framework for feature-oriented software development (FOSD) based on Eclipse. FOSD is a paradigm for the construction,…”
Získat plný text

Formal verification of autonomous vehicle platooning Autor Kamali, Maryam, Dennis, Louise A., McAree, Owen, Fisher, Michael, Veres, Sandor M.

“…The coordination of multiple autonomous vehicles into convoys or platoons is expected on our highways in the near future. However, before such platoons can be…”
Získat plný text

Multi-agent oriented programming with JaCaMo Autor Boissier, Olivier, Bordini, Rafael H., Hübner, Jomi F., Ricci, Alessandro, Santi, Andrea

“…This paper brings together agent oriented programming, organisation oriented programming and environment oriented programming, all of which are programming…”
Získat plný text

Six strategies for generalizing software engineering theories Autor Wieringa, Roel, Daneva, Maya

“…General theories of software engineering must balance between providing full understanding of a single case and providing partial understanding of many cases…”
Získat plný text

Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure Autor Hutchinson, John, Whittle, Jon, Rouncefield, Mark

“…In this article, we attempt to address the relative absence of empirical studies of model driven engineering (MDE) in two different but complementary ways…”
Získat plný text

Comparison and evaluation of code clone detection techniques and tools: A qualitative approach Autor Roy, Chanchal K., Cordy, James R., Koschke, Rainer

“…Over the last decade many techniques and tools for software clone detection have been proposed. In this paper, we provide a qualitative comparison and…”
Získat plný text

Examining the performance of kernel methods for software defect prediction based on support vector machine Autor Azzeh, Mohammad, Elsheikh, Yousef, Nassif, Ali Bou, Angelis, Lefteris

“…Support Vector Machine (SVM) has been widely used to build software defect prediction models. Prior studies compared the accuracy of SVM to other machine…”
Získat plný text

Comparing differentiable logics for learning with logical constraints Autor Flinkow, Thomas, Pearlmutter, Barak A., Monahan, Rosemary

“…Extensive research on formal verification of machine learning systems indicates that learning from data alone often fails to capture underlying background…”
Získat plný text

CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection Autor Yang, Huiwen, Gu, Xiguo, Chen, Xiang, Zheng, Liwei, Cui, Zhanqi

“…Smart contracts are computer programs that run on a blockchain. As the functions implemented by smart contracts become increasingly complex, the number of…”
Získat plný text

Forward- or reverse-mode automatic differentiation: What's the difference? Autor van den Berg, Birthe, Schrijvers, Tom, McKinna, James, Vandenbroucke, Alexander

“…Automatic differentiation (AD) has been a topic of interest for researchers in many disciplines, with increased popularity since its application to machine…”
Získat plný text

ATL: A model transformation tool Autor Jouault, Frédéric, Allilaire, Freddy, Bézivin, Jean, Kurtev, Ivan

“…In the context of Model Driven Engineering, models are the main development artifacts and model transformations are among the most important operations applied…”
Získat plný text

Locally weighted regression with different kernel smoothers for software effort estimation Autor Alqasrawi, Yousef, Azzeh, Mohammad, Elsheikh, Yousef

“…•Locally Weighted Regression method provides an efficient solution to learn from local effort data.•A comprehensive experiment with 1080 Locally Weighted…”
Získat plný text

Combining sequential feature test cases to generate sound tests for concurrent features Autor Almeida, Rafaela, Nogueira, Sidney, Sampaio, Augusto

“…•We introduce a formal theory and a conformance relation (cspioq) that enables sound testing of concurrent behavioural flows.•We propose an optimised…”
Získat plný text

Multimodal information fusion for software vulnerability detection based on both source and binary codes Autor Liu, Yuzhou, Wang, Qi, Jiang, Shuang, Wu, Runze, Tian, Hongxu, Zhang, Peng

Získat plný text

Automatic identification of extrinsic bug reports for just-in-time bug prediction Autor Fan, Guisheng, Liang, Yuguo, Zu, Longfei, Yu, Huiqun, Huang, Zijie, Chen, Wentao

“…In software development, developers create bug reports within an Issue Tracking System (ITS) to describe the cause, symptoms, severity, and other technical…”
Získat plný text

Social debt in software development environments: A systematic literature review Autor Suárez-Brieva, Eydy, Pardo Calvache, César Jésus, Pérez-Castillo, Ricardo

“…•Identifies five key sociothecnical factors where social debt emerges in agile and distributed teams.•Analyzes 45 primary studies on social debt in software…”
Získat plný text

Analyzing student perceptions and behaviors in the use of an engaging visualization dashboard for peer code review activities Autor Duong, Hoang-Thanh, Huang, Chuan-Lin, Nguyen, Bao-An, Chen, Hsi-Min

“…Traditional learning management systems often fail to sustain student motivation in computer science education, where consistent practice is crucial for skill…”
Získat plný text

CtxFuzz: Discovering heap-based memory vulnerabilities through context heap operation sequence guided fuzzing Autor Jiang, Jiacheng, Wen, Cheng, Fu, Zhiyuan, Qin, Shengchao

“…Heap-based memory vulnerabilities are critical to software security and reliability. The presence of these vulnerabilities is affected by various factors,…”
Získat plný text

FAMILIAR: A domain-specific language for large scale management of feature models Autor Acher, Mathieu, Collet, Philippe, Lahire, Philippe, France, Robert B.

“…The feature model formalism has become the de facto standard for managing variability in software product lines (SPLs). In practice, developing an SPL can…”
Získat plný text