| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An industrial experience report on model-based, AI-enabled proposal development for an RFP/RFI
|
Nistala, Padmalata
|
|
|
233 |
C |
p.
|
artikel
|
| 2 |
Editorial Board
|
|
|
|
233 |
C |
p.
|
artikel
|
| 3 |
Model based component development and analysis with ComMA
|
Kurtev, Ivan
|
|
|
233 |
C |
p.
|
artikel
|
| 4 |
OnTrack: Reflecting on domain specific formal methods for railway designs
|
James, Phillip
|
|
|
233 |
C |
p.
|
artikel
|
| 5 |
Preface for “Selected papers from the 25th Ibero-American Conference on Software Engineering (CIbSE 2022)”
|
Luis de la Vara, Jose
|
|
|
233 |
C |
p.
|
artikel
|
| 6 |
Preface for the Special Issue on SBST’22: Search-Based Software Testing - Tools
|
|
|
|
233 |
C |
p.
|
artikel
|
| 7 |
Preface to the special issue on success stories in model driven engineering
|
Muñoz, Paula
|
|
|
233 |
C |
p.
|
artikel
|
| 8 |
Reasoning about logical systems in the Coq proof assistant
|
Reynolds, Conor
|
|
|
233 |
C |
p.
|
artikel
|
| 9 |
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving
|
Arias, Jaime
|
|
|
233 |
C |
p.
|
artikel
|
| 10 |
TDFix: A lightweight tool for fixing deadlocks based on templates
|
Ji, Wangjie
|
|
|
233 |
C |
p.
|
artikel
|
| 11 |
Testing and incremental conformance testing of timed state machines
|
Tvardovskii, Aleksandr
|
|
|
233 |
C |
p.
|
artikel
|
| 12 |
Translation certification for smart contracts
|
Krijnen, Jacco O.G.
|
|
|
233 |
C |
p.
|
artikel
|
| 13 |
WebDraw: A machine learning-driven tool for automatic website prototyping
|
Kaluarachchi, Thisaranie
|
|
|
233 |
C |
p.
|
artikel
|
| 14 |
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
|
|
|
233 |
C |
p.
|
artikel
|
Tijdschrift beschrijving