| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Configurable Software Model of a Self-Adaptive Robotic System
|
Päßler, Juliane
|
|
|
240 |
C |
p.
|
artikel
|
| 2 |
An exploratory study on automatic identification of assumptions in the development of deep learning frameworks
|
Yang, Chen
|
|
|
240 |
C |
p.
|
artikel
|
| 3 |
An exploratory study on the usage of quantum programming languages
|
Ferreira, Felipe
|
|
|
240 |
C |
p.
|
artikel
|
| 4 |
A systematic literature review on dynamic testing of blockchain oriented software
|
Lahami, Mariam
|
|
|
240 |
C |
p.
|
artikel
|
| 5 |
Baital: Sampling configurable systems with high t-wise coverage
|
Baranov, Eduard
|
|
|
240 |
C |
p.
|
artikel
|
| 6 |
Causal program dependence analysis
|
Lee, Seongmin
|
|
|
240 |
C |
p.
|
artikel
|
| 7 |
Editorial Board
|
|
|
|
240 |
C |
p.
|
artikel
|
| 8 |
FM fact label
|
Horcas, Jose-Miguel
|
|
|
240 |
C |
p.
|
artikel
|
| 9 |
JoT: A Jolie framework for testing microservices
|
Giallorenzo, Saverio
|
|
|
240 |
C |
p.
|
artikel
|
| 10 |
Maximizing reachability probabilities in rectangular automata with random events
|
Delicaris, Joanna
|
|
|
240 |
C |
p.
|
artikel
|
| 11 |
Mi Superpoder es la Programación: A tool for teaching programming to children and youth
|
Gutiérrez Beltrán, Erika J.
|
|
|
240 |
C |
p.
|
artikel
|
| 12 |
OCLVerifer: Automated verification of OCL contracts in requirements models
|
Yang, Peiye
|
|
|
240 |
C |
p.
|
artikel
|
| 13 |
Preface for the special issue on “Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering” (FASE 2023)
|
Damasceno, Carlos Diego Nascimento
|
|
|
240 |
C |
p.
|
artikel
|
| 14 |
Ranking co-change candidates suggested by FLeCCS using programmer sensitivity
|
Hamid, Abid Afsan
|
|
|
240 |
C |
p.
|
artikel
|
| 15 |
Report to the readership
|
|
|
|
240 |
C |
p.
|
artikel
|
| 16 |
Specification of paraconsistent transition systems, revisited
|
Cunha, Juliana
|
|
|
240 |
C |
p.
|
artikel
|
| 17 |
The CAOS framework for Scala: Computer-aided design of SOS
|
Proença, José
|
|
|
240 |
C |
p.
|
artikel
|
| 18 |
The VariCity ecosystem: City visualization of object-oriented variability in Java and TypeScript
|
Collet, Philippe
|
|
|
240 |
C |
p.
|
artikel
|
| 19 |
Towards partial monitoring: Never too early to give in
|
Ferrando, Angelo
|
|
|
240 |
C |
p.
|
artikel
|
| 20 |
Vamos: Middleware for best-effort third-party monitoring
|
Chalupa, Marek
|
|
|
240 |
C |
p.
|
artikel
|
| 21 |
Verifying chip designs at RTL level
|
Zhang, Nan
|
|
|
240 |
C |
p.
|
artikel
|
| 22 |
View-based axiomatic reasoning for the weak memory models PSO and SRA
|
Bargmann, Lara
|
|
|
240 |
C |
p.
|
artikel
|
Tijdschrift beschrijving