![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 236
Volume 236, 2024
- Saba Gholizadeh Ansari
, I. S. W. B. Prasetya, Mehdi Dastani, Gabriele Keller, Davide Prandi, Fitsum Meshesha Kifetew, Frank Dignum:
PX-MBT: A framework for model-based player experience testing. 103108 - Ana Díaz-Muñoz
, Moisés Rodríguez, Mario Piattini:
Implementing an environment for hybrid software evaluation. 103109 - Dongjin Yu, Quanxin Yang
, Xin Chen, Jie Chen, Sixuan Wang, Yihang Xu:
Actionable code smell identification with fusion learning of metrics and semantics. 103110 - Stephannie Jimenez, Gordana Rakic, Silvia Takahashi, Nicolás Cardozo
:
Out of step: Code clone detection for mobile apps across different language codebases. 103112 - Joabe Jesus
, Augusto Sampaio:
Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving. 103113 - Muhammad Iqbal, Muhammad Ijaz, Tehseen Mazhar, Tariq Shahzad, Qamar Abbas, Yazeedyasin Ghadi, Wasim Ahmad, Habib Hamam:
Exploring issues of story-based effort estimation in Agile Software Development (ASD). 103114 - Juan Cubillos
, Jairo Aponte, Diana Gómez, Edwar Rojas:
Agile effort estimation in Colombia: An assessment and opportunities for improvement. 103115 - Antonio Iannopollo
, Inigo Incer
, Alberto L. Sangiovanni-Vincentelli:
Synthesizing LTL contracts from component libraries using rich counterexamples. 103116 - Kazumasa Shimari
, Takashi Ishio, Tetsuya Kanda, Katsuro Inoue:
Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging. 103117 - Sinem Getir Yaman
, Pedro Ribeiro
, Charlie Burholt, Maddie Jones, Ana Cavalcanti
, Radu Calinescu
:
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. 103118 - Arnaud Gazda, Océane Koska:
A pragma based C++ framework for hybrid quantum/classical computation. 103119 - Mashail N. Alkhomsan, Mohammad R. Alshayeb, Malak Baslyman:
Toward a novel taxonomy to capture code smells caused by refactoring. 103120 - Zhen Liang
, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu:
Verifying safety of neural networks from topological perspectives. 103121 - Imene Mezenner, Samia Bouyakoub, Fayçal M'hamed Bouyakoub:
S2O: A smart objects orchestrator framework based on the web of things. 103130 - Valentina Castiglioni, Michele Loreti, Simone Tini:
Stark: A tool for the analysis of CPSs robustness. 103134
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.