| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Actionable code smell identification with fusion learning of metrics and semantics
|
Yu, Dongjin
|
|
|
236 |
C |
p.
|
artikel
|
| 2 |
Agile effort estimation in Colombia: An assessment and opportunities for improvement
|
Cubillos, Juan
|
|
|
236 |
C |
p.
|
artikel
|
| 3 |
A pragma based C++ framework for hybrid quantum/classical computation
|
Gazda, Arnaud
|
|
|
236 |
C |
p.
|
artikel
|
| 4 |
Editorial Board
|
|
|
|
236 |
C |
p.
|
artikel
|
| 5 |
Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging
|
Shimari, Kazumasa
|
|
|
236 |
C |
p.
|
artikel
|
| 6 |
Exploring issues of story-based effort estimation in Agile Software Development (ASD)
|
Iqbal, Muhammad
|
|
|
236 |
C |
p.
|
artikel
|
| 7 |
Implementing an environment for hybrid software evaluation
|
Díaz-Muñoz, Ana
|
|
|
236 |
C |
p.
|
artikel
|
| 8 |
Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving
|
Jesus, Joabe
|
|
|
236 |
C |
p.
|
artikel
|
| 9 |
Out of step: Code clone detection for mobile apps across different language codebases
|
Jimenez, Stephannie
|
|
|
236 |
C |
p.
|
artikel
|
| 10 |
PX-MBT: A framework for model-based player experience testing
|
Gholizadeh Ansari, Saba
|
|
|
236 |
C |
p.
|
artikel
|
| 11 |
S2O: A smart objects orchestrator framework based on the web of things
|
Mezenner, Imene
|
|
|
236 |
C |
p.
|
artikel
|
| 12 |
Stark: A tool for the analysis of CPSs robustness
|
Castiglioni, Valentina
|
|
|
236 |
C |
p.
|
artikel
|
| 13 |
Synthesizing LTL contracts from component libraries using rich counterexamples
|
Iannopollo, Antonio
|
|
|
236 |
C |
p.
|
artikel
|
| 14 |
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents
|
Getir Yaman, Sinem
|
|
|
236 |
C |
p.
|
artikel
|
| 15 |
Toward a novel taxonomy to capture code smells caused by refactoring
|
Alkhomsan, Mashail N.
|
|
|
236 |
C |
p.
|
artikel
|
| 16 |
Verifying safety of neural networks from topological perspectives
|
Liang, Zhen
|
|
|
236 |
C |
p.
|
artikel
|
Tijdschrift beschrijving