| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1001 |
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator
|
Goyal, Srajan
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1002 |
TABASCO: A transformer based contextualization toolkit
|
Moharil, Ambarish
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1003 |
Tackling rapid technology changes by applying enterprise engineering theories
|
Dvořák, Ondřej
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1004 |
TADA: A Toolkit for Approximate Distributed Agreement
|
Lourenço da Conceição, Eduardo
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1005 |
Taming distributed system complexity through formal patterns
|
Meseguer, José
|
|
2014
|
141-142 |
C |
p. 3-34
32 p.
|
artikel
|
| 1006 |
Taming shared mutable states of operating systems in Rust
|
Hong, Jaemin
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1007 |
tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies
|
De Palma, Giuseppe
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1008 |
Taupe: Visualizing and analyzing eye-tracking data
|
De Smet, Benoît
|
|
2014
|
141-142 |
C |
p. 260-278
19 p.
|
artikel
|
| 1009 |
TDFix: A lightweight tool for fixing deadlocks based on templates
|
Ji, Wangjie
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1010 |
Teaching language processing with the PAMOJA framework
|
Ssanyu, Jackline
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1011 |
Technical Debt tracking: Current state of practice
|
Martini, Antonio
|
|
2018
|
141-142 |
C |
p. 42-61
|
artikel
|
| 1012 |
Technology transfer: Formal analysis, engineering, and business value
|
Huuck, Ralf
|
|
2015
|
141-142 |
C |
p. 3-12
10 p.
|
artikel
|
| 1013 |
TerGEC: A graph enhanced contrastive approach for program termination analysis
|
Liu, Shuo
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1014 |
Termination analysis for GPU kernels
|
Ketema, Jeroen
|
|
2017
|
141-142 |
C |
p. 107-122
|
artikel
|
| 1015 |
Test case generation, selection and coverage from natural language
|
Nogueira, Sidney
|
|
2019
|
141-142 |
C |
p. 84-110
|
artikel
|
| 1016 |
Test case prioritization with neuron valuation based pattern
|
Yan, Rongjie
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1017 |
Test-data generation directed by program path coverage through imperialist competitive algorithm
|
Saadatjoo, Mohammad Ali
|
|
2019
|
141-142 |
C |
p.
|
artikel
|
| 1018 |
Test-driven development for generated portable Javascript apps
|
Bouraqadi, Noury
|
|
|
141-142 |
C |
p. 2-17
|
artikel
|
| 1019 |
Testing and incremental conformance testing of timed state machines
|
Tvardovskii, Aleksandr
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1020 |
Testing non-commutativity of reduce functions with multi-column inputs
|
Mu, Xiangyu
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1021 |
TextFlows: A visual programming platform for text mining and natural language processing
|
Perovšek, Matic
|
|
2016
|
141-142 |
C |
p. 128-152
25 p.
|
artikel
|
| 1022 |
The ABS simulator toolchain
|
Schlatte, Rudolf
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1023 |
The automation of design model repair
|
Cai, Cheng-Hao
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1024 |
The CAOS framework for Scala: Computer-aided design of SOS
|
Proença, José
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1025 |
The capacity-C torch problem
|
Backhouse, Roland
|
|
2015
|
141-142 |
C |
p. 76-107
32 p.
|
artikel
|
| 1026 |
The CLEARSY safety platform: 5 years of research, development and deployment
|
Lecomte, Thierry
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1027 |
The CodeSparks Framework – Augmenting Source Code with Glyph-based Visualizations
|
Moseler, Oliver
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1028 |
The complexity of evaluating nfer
|
Kauffman, Sean
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1029 |
The correctness of event-B inductive convergence
|
Hallerstede, Stefan
|
|
2016
|
141-142 |
C |
p. 94-108
15 p.
|
artikel
|
| 1030 |
The design of divide and conquer algorithms
|
Smith, Douglas R.
|
|
1985
|
141-142 |
C |
p. 37-51
15 p.
|
artikel
|
| 1031 |
The Dinamica EGO virtual machine
|
Ferreira, Bruno Morais
|
|
2019
|
141-142 |
C |
p. 3-20
|
artikel
|
| 1032 |
The early bird catches the worm: First verify, then monitor!
|
Ferrando, Angelo
|
|
2019
|
141-142 |
C |
p. 160-179
|
artikel
|
| 1033 |
The effect of refactoring on change and fault-proneness in commercial C# software
|
Gatrell, M.
|
|
2015
|
141-142 |
C |
p. 44-56
13 p.
|
artikel
|
| 1034 |
The logic of XACML
|
Ramli, Carroline Dewi Puspa Kencana
|
|
2014
|
141-142 |
C |
p. 80-105
26 p.
|
artikel
|
| 1035 |
The MATLAB Toolbox for EnergyPLAN: A tool to extend energy planning studies
|
Cabrera, Pedro
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1036 |
The Mealy-machine reduction functions of Spot
Image 1
|
Renkin, Florian
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1037 |
The Modeling Assistant Recommender: A UML class diagram recommender system
|
Savary-Leblanc, Maxime
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1038 |
The optics of language-integrated query
|
López-González, J.
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1039 |
The orchestrator's partner management framework for software ecosystems
|
van Vulpen, Paul
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1040 |
Theorizing about software development practices
|
Päivärinta, Tero
|
|
2015
|
141-142 |
C |
p. 124-135
12 p.
|
artikel
|
| 1041 |
Theory-oriented software engineering
|
Stol, Klaas-Jan
|
|
2015
|
141-142 |
C |
p. 79-98
20 p.
|
artikel
|
| 1042 |
The Peer-Model tool-chain
|
Kuehn, Eva Maria
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1043 |
The polychronous model of computation and Kahn process networks
|
Gautier, Thierry
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1044 |
The prevalence and severity of persistent ambiguity in software requirements specifications: Is a special effort needed to find them?
|
Ribeiro, Cristina
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1045 |
The Process Enactment Tool Framework—Transformation of software process models to prepare enactment
|
Kuhrmann, Marco
|
|
2014
|
141-142 |
C |
p. 172-188
17 p.
|
artikel
|
| 1046 |
The Sensemaking-Coevolution-Implementation Theory of software design
|
Ralph, Paul
|
|
2015
|
141-142 |
C |
p. 21-41
21 p.
|
artikel
|
| 1047 |
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs
|
Woodlief, Trey
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1048 |
The Solid* toolset for software visual analytics of program structure and metrics comprehension: From research prototype to product
|
Reniers, Dennie
|
|
2014
|
141-142 |
C |
p. 224-240
17 p.
|
artikel
|
| 1049 |
The two paradigms of software development research
|
Ralph, Paul
|
|
2018
|
141-142 |
C |
p. 68-89
|
artikel
|
| 1050 |
The VariCity ecosystem: City visualization of object-oriented variability in Java and TypeScript
|
Collet, Philippe
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1051 |
Three-valued bounded model checking with cause-guided abstraction refinement
|
Timm, Nils
|
|
2019
|
141-142 |
C |
p. 37-62
|
artikel
|
| 1052 |
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony
|
Besnard, Loïc
|
|
2015
|
141-142 |
C |
p. 54-77
24 p.
|
artikel
|
| 1053 |
Time-symmetric Turing machines for computable involutions
|
Nakano, Keisuke
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1054 |
Tool demonstration track of MODELS'2016
|
Clarke, Peter J.
|
|
|
141-142 |
C |
p. 1-2
|
artikel
|
| 1055 |
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents
|
Getir Yaman, Sinem
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1056 |
Top-down design and the algebra of communicating processes
|
Bergstra, J.A.
|
|
1985
|
141-142 |
C |
p. 171-199
29 p.
|
artikel
|
| 1057 |
Topological consistency preservation with graph transformation schemes
|
Pascual, Romain
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1058 |
Tor: Modular search with hookable disjunction
|
Schrijvers, Tom
|
|
2014
|
141-142 |
C |
p. 101-120
20 p.
|
artikel
|
| 1059 |
Toward a novel taxonomy to capture code smells caused by refactoring
|
Alkhomsan, Mashail N.
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1060 |
Toward a prioritization approach for third-party software library updates
|
Aburakhia, Abdalrahman
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1061 |
Towards a comprehensive extension of abstract state machines for aspect-oriented specification
|
Dausend, Marcel
|
|
2016
|
141-142 |
C |
p. 22-41
20 p.
|
artikel
|
| 1062 |
Toward safe and efficient reconfiguration with Concerto
|
Chardet, Maverick
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1063 |
Towards a framework for reliable performance evaluation in defect prediction
|
Liu, Xutong
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1064 |
Towards a metrics suite for the complexity analysis of LabVIEW systems models
|
Zhao, Xin
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1065 |
Towards a systematic approach to manual annotation of code smells
|
Slivka, Jelena
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1066 |
Towards attack-resistant Aggregate Computing using trust mechanisms
|
Casadei, Roberto
|
|
2018
|
141-142 |
C |
p. 114-137
|
artikel
|
| 1067 |
Towards a verified transformation from AADL to the formal component-based language FIACRE
|
Bodeveix, Jean-Paul
|
|
2015
|
141-142 |
C |
p. 30-53
24 p.
|
artikel
|
| 1068 |
Towards general theories of software engineering
|
Johnson, Pontus
|
|
2015
|
141-142 |
C |
p. 1-5
5 p.
|
artikel
|
| 1069 |
Towards naturalistic programming: Mapping language-independent requirements to constrained language specifications
|
Mefteh, Mariem
|
|
2018
|
141-142 |
C |
p. 89-119
|
artikel
|
| 1070 |
Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors
|
Valentin, Eduardo
|
|
2018
|
141-142 |
C |
p. 38-53
|
artikel
|
| 1071 |
Towards partial monitoring: Never too early to give in
|
Ferrando, Angelo
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1072 |
Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems
|
Brau, Guillaume
|
|
2018
|
141-142 |
C |
p. 1-20
|
artikel
|
| 1073 |
Towards Turing computability via coinduction
|
Ciaffaglione, Alberto
|
|
2016
|
141-142 |
C |
p. 31-51
21 p.
|
artikel
|
| 1074 |
TrABin: Trustworthy analyses of binaries
|
Lindner, Andreas
|
|
2019
|
141-142 |
C |
p. 72-89
|
artikel
|
| 1075 |
Trace semantics and refinement patterns for real-time properties in event-B models
|
Zhu, Chenyang
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1076 |
Tracing known security vulnerabilities in software repositories – A Semantic Web enabled modeling approach
|
Alqahtani, Sultan S.
|
|
2016
|
141-142 |
C |
p. 153-175
23 p.
|
artikel
|
| 1077 |
Tracing sharing in an imperative pure calculus
|
Giannini, Paola
|
|
2019
|
141-142 |
C |
p. 180-202
|
artikel
|
| 1078 |
TraLogAnomaly: A microservice system anomaly detection approach based on hybrid event sequences
|
Wei, Xinjie
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1079 |
Transformational program development in a particular problem domain
|
Partsch, H.
|
|
1986
|
141-142 |
C |
p. 99-241
143 p.
|
artikel
|
| 1080 |
Transformational programming and the paragraph problem
|
Bird, R.S.
|
|
1986
|
141-142 |
C |
p. 159-189
31 p.
|
artikel
|
| 1081 |
Translating active objects into colored Petri nets for communication analysis
|
Gkolfi, Anastasia
|
|
2019
|
141-142 |
C |
p. 1-26
|
artikel
|
| 1082 |
Translating B to TLA+ for validation with TLC
|
Hansen, Dominik
|
|
2016
|
141-142 |
C |
p. 109-125
17 p.
|
artikel
|
| 1083 |
Translating essential OCL invariants to nested graph constraints for generating instances of meta-models
|
Radke, Hendrik
|
|
2018
|
141-142 |
C |
p. 38-62
|
artikel
|
| 1084 |
Translation certification for smart contracts
|
Krijnen, Jacco O.G.
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1085 |
Transparent replication using metaprogramming in Cyan
|
Ugliara, Fellipe A.
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1086 |
TR-Fuzz: A syntax valid tool for fuzzing C compilers
|
Zhang, Chi
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1087 |
Trusta: Reasoning about assurance cases with formal methods and large language models
|
Chen, Zezhong
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1088 |
Trylock, a case for temporal logic and eternity variables
|
Hesselink, Wim H.
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1089 |
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems
|
Borchers, Philipp
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1090 |
Tuning research tools for scalability and performance: The NiCad experience
|
Cordy, James R.
|
|
2014
|
141-142 |
C |
p. 158-171
14 p.
|
artikel
|
| 1091 |
Two most nondeterministic programs
|
Wiltink, J.G.
|
|
1986
|
141-142 |
C |
p. 89-94
6 p.
|
artikel
|
| 1092 |
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java
|
Kouzapas, Dimitrios
|
|
2018
|
141-142 |
C |
p. 52-75
|
artikel
|
| 1093 |
Typed connector families and their semantics
|
Proença, José
|
|
2017
|
141-142 |
C |
p. 28-49
22 p.
|
artikel
|
| 1094 |
Type-2 effectivity in abstract state machines for algorithms with exact real arithmetic
|
Beierle, Christoph
|
|
2019
|
141-142 |
C |
p.
|
artikel
|
| 1095 |
Typing and semantics of asynchronous arrows in JavaScript
|
Fritz, Eric
|
|
2017
|
141-142 |
C |
p. 1-39
39 p.
|
artikel
|
| 1096 |
ULKB Logic: A HOL-based framework for reasoning over knowledge graphs
|
Lima, Guilherme
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1097 |
Umple: Model-driven development for open source and education
|
Lethbridge, Timothy C.
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1098 |
Understanding software developers' cognition in agile requirements engineering
|
Jia, Jingdong
|
|
2019
|
141-142 |
C |
p. 1-19
|
artikel
|
| 1099 |
Understanding stack overflow code quality: A recommendation of caution
|
Meldrum, Sarah
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1100 |
Unifying frameworks for complete test strategies
|
Sachtleben, Robert
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1101 |
Unifying modal interface theories and compositional input/output conformance testing
|
Luthmann, Lars
|
|
2019
|
141-142 |
C |
p. 27-47
|
artikel
|
| 1102 |
Unifying semantic foundations for automated verification tools in Isabelle/UTP
|
Foster, Simon
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1103 |
Universal (meta-)logical reasoning: Recent successes
|
Benzmüller, Christoph
|
|
2019
|
141-142 |
C |
p. 48-62
|
artikel
|
| 1104 |
Update from the Editorial Team
|
De Lucia, Andrea
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1105 |
Usage contracts: Offering immediate feedback on violations of structural source-code regularities
|
Lozano, Angela
|
|
2015
|
141-142 |
C |
p. 73-91
19 p.
|
artikel
|
| 1106 |
Use case evolution analysis based on graph transformation with negative application conditions
|
Ribeiro, Leila
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1107 |
User-driven diverse scenario exploration in model finders
|
Clarisó, Robert
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1108 |
Using capabilities for strict runtime invariant checking
|
Gariano, Isaac Oscar
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1109 |
Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits
|
Abbassi, Imran Hafeez
|
|
2019
|
141-142 |
C |
p. 42-66
|
artikel
|
| 1110 |
Using graph distances for named-entity linking
|
Blanco, Roi
|
|
2016
|
141-142 |
C |
p. 24-36
13 p.
|
artikel
|
| 1111 |
Using word embedding and convolution neural network for bug triaging by considering design flaws
|
Sepahvand, Reza
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1112 |
Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset
|
Hoang, Thai Son
|
|
2018
|
141-142 |
C |
p. 122-147
|
artikel
|
| 1113 |
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements
|
Carvalho, Gustavo
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1114 |
Validation process for railway interlocking systems
|
Bonacchi, A.
|
|
2016
|
141-142 |
C |
p. 2-21
20 p.
|
artikel
|
| 1115 |
Vamos: Middleware for best-effort third-party monitoring
|
Chalupa, Marek
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1116 |
Variability abstractions for lifted analyses
|
Dimovski, Aleksandar S.
|
|
2018
|
141-142 |
C |
p. 1-27
|
artikel
|
| 1117 |
Variant-based satisfiability in initial algebras
|
Meseguer, José
|
|
2018
|
141-142 |
C |
p. 3-41
|
artikel
|
| 1118 |
VeGAn-Tool: A fuzzy-logic approach for value-based goal model analysis
|
Cano-Genoves, C.
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1119 |
Verification of concurrent code from synchronous specifications
|
Hu, Kai
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1120 |
Verification of forward simulations with thread-local, step-local proof obligations
|
Schellhorn, Gerhard
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1121 |
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement
|
Althaus, Ernst
|
|
2017
|
141-142 |
C |
p. 123-160
|
artikel
|
| 1122 |
Verification of message-passing uninterpreted programs
|
Hong, Weijiang
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1123 |
Verification of the European Rail Traffic Management System in Real-Time Maude
|
Berger, Ulrich
|
|
2018
|
141-142 |
C |
p. 61-88
|
artikel
|
| 1124 |
Verified simulation for robotics
|
Cavalcanti, Ana
|
|
2019
|
141-142 |
C |
p. 1-37
|
artikel
|
| 1125 |
Verified synthesis of optimal safety controllers for human-robot collaboration
|
Gleirscher, Mario
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1126 |
Verifying chip designs at RTL level
|
Zhang, Nan
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1127 |
Verifying cyber attack properties
|
O'Halloran, Colin
|
|
2017
|
141-142 |
C |
p. 3-25
|
artikel
|
| 1128 |
Verifying relational properties of functional programs by first-order refinement
|
Asada, Kazuyuki
|
|
2017
|
141-142 |
C |
p. 2-62
61 p.
|
artikel
|
| 1129 |
Verifying safety of neural networks from topological perspectives
|
Liang, Zhen
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1130 |
Verifying the unification algorithm in LCF
|
Paulson, Lawrence C.
|
|
1985
|
141-142 |
C |
p. 143-169
27 p.
|
artikel
|
| 1131 |
Vicious circles in contracts and in logic
|
Bartoletti, Massimo
|
|
2015
|
141-142 |
C |
p. 61-95
35 p.
|
artikel
|
| 1132 |
View-based axiomatic reasoning for the weak memory models PSO and SRA
|
Bargmann, Lara
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1133 |
Vincent: Green hot methods in the JVM
|
Liu, Kenan
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1134 |
VisFork: Towards a toolsuite for visualizing fork ecosystems
|
Chen, Siyue
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1135 |
Weak CCP bisimilarity with strong procedures
|
Pino, Luis F.
|
|
2015
|
141-142 |
C |
p. 84-104
21 p.
|
artikel
|
| 1136 |
WebDraw: A machine learning-driven tool for automatic website prototyping
|
Kaluarachchi, Thisaranie
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1137 |
What does AI need to know to drive: Testing relevance of knowledge
|
Grundt, Dominik
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1138 |
What makes a real change in software performance? An empirical study on analyzing the factors that affect the triagement of performance change points
|
Chen, Jie
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1139 |
Which monads Haskell developers use: An exploratory study
|
Figueroa, Ismael
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1140 |
“Will I be replaced?” Assessing ChatGPT's effect on software development and programmer perceptions of AI tools
|
Kuhail, Mohammad Amin
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1141 |
Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises
|
Gómez-Abajo, Pablo
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1142 |
Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017)
|
Cleophas, Loek
|
|
2018
|
141-142 |
C |
p. 1-2
|
artikel
|
| 1143 |
Yield grammar analysis and product optimization in a domain-specific language for dynamic programming
|
Sauthoff, Georg
|
|
2014
|
141-142 |
C |
p. 2-22
21 p.
|
artikel
|
| 1144 |
“Your AI is impressive, but my code does not have any bugs” managing false positives in industrial contexts
|
Stradowski, Szymon
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1145 |
yRCA: An explainable failure root cause analyser
Image 1
|
Soldani, Jacopo
|
|
|
141-142 |
C |
p.
|
artikel
|
| 1146 |
Zone-based formal specification and timing analysis of real-time self-adaptive systems
|
Camilli, Matteo
|
|
2018
|
141-142 |
C |
p. 28-57
|
artikel
|
Tijdschrift beschrijving