| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A fairness-based refinement strategy to transform liveness properties in Event-B models
|
Zhu, Chenyang
|
|
|
225 |
C |
p.
|
artikel
|
| 2 |
Automated testing of an industrial stock market trading platform based on functional specification
|
Zakeriyan, Arvin
|
|
|
225 |
C |
p.
|
artikel
|
| 3 |
Controlling timed automata against MTL specifications with TACoS Image 1
|
Hofmann, Till
|
|
|
225 |
C |
p.
|
artikel
|
| 4 |
Cost analysis for a resource sensitive workflow modelling language
|
Ali, Muhammad Rizwan
|
|
|
225 |
C |
p.
|
artikel
|
| 5 |
Editorial Board
|
|
|
|
225 |
C |
p.
|
artikel
|
| 6 |
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021)
|
Hojjat, Hossein
|
|
|
225 |
C |
p.
|
artikel
|
| 7 |
Image 1 : Asynchronous global types in co-logic programming Image 2
|
Bianchini, Riccardo
|
|
|
225 |
C |
p.
|
artikel
|
| 8 |
Innermost many-sorted term rewriting on GPUs
|
van Eerd, Johri
|
|
|
225 |
C |
p.
|
artikel
|
| 9 |
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool Image 1
|
Ravelo-Méndez, William
|
|
|
225 |
C |
p.
|
artikel
|
| 10 |
Log analysis and system monitoring with nfer Image 1
|
Kauffman, Sean
|
|
|
225 |
C |
p.
|
artikel
|
| 11 |
Pacta sunt servanda: Legal contracts in Stipula
|
Crafa, Silvia
|
|
|
225 |
C |
p.
|
artikel
|
| 12 |
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021
|
Audrito, Giorgio
|
|
|
225 |
C |
p.
|
artikel
|
| 13 |
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021)
|
Zhang, Min
|
|
|
225 |
C |
p.
|
artikel
|
| 14 |
Special issue on ‘Software Engineering and Formal Methods’
|
|
|
|
225 |
C |
p.
|
artikel
|
| 15 |
Static analysis of linear absolute value equalities among variables of a program
|
Chen, Liqian
|
|
|
225 |
C |
p.
|
artikel
|
Tijdschrift beschrijving