| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
ACSmt: A plugin for eclipse papyrus to model systems of systems
|
Remond Harbo, Sean Kristian
|
|
|
231 |
C |
p.
|
artikel
|
| 2 |
A method of test case set generation in the commutativity test of reduce functions
|
Mu, Xiangyu
|
|
|
231 |
C |
p.
|
artikel
|
| 3 |
An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring
|
Santana, Railana
|
|
|
231 |
C |
p.
|
artikel
|
| 4 |
Asynchronous unfold/fold transformation for fixpoint logic
|
Faisal Al Ameen, Mahmudul
|
|
|
231 |
C |
p.
|
artikel
|
| 5 |
CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphs
|
Smajevic, Muhamed
|
|
|
231 |
C |
p.
|
artikel
|
| 6 |
Core Hybrid Event-B III: Fundamentals of a reasoning framework
|
Banach, Richard
|
|
|
231 |
C |
p.
|
artikel
|
| 7 |
DescribeML: A dataset description tool for machine learning Image 1
|
Giner-Miguelez, Joan
|
|
|
231 |
C |
p.
|
artikel
|
| 8 |
Editorial Board
|
|
|
|
231 |
C |
p.
|
artikel
|
| 9 |
Exhaustive property oriented model-based testing with symbolic finite state machines
|
Huang, Wen-ling
|
|
|
231 |
C |
p.
|
artikel
|
| 10 |
FCPP to aggregate them all Image 1
|
Audrito, Giorgio
|
|
|
231 |
C |
p.
|
artikel
|
| 11 |
Forward- or reverse-mode automatic differentiation: What's the difference?
|
van den Berg, Birthe
|
|
|
231 |
C |
p.
|
artikel
|
| 12 |
GaMoVR: Gamification-based UML learning environment in virtual reality
|
Yigitbas, Enes
|
|
|
231 |
C |
p.
|
artikel
|
| 13 |
Generating C: Heterogeneous metaprogramming system description
|
Kiselyov, Oleg
|
|
|
231 |
C |
p.
|
artikel
|
| 14 |
How accessibility affects other quality attributes of software? A case study of GitHub
|
Zhao, Yaxin
|
|
|
231 |
C |
p.
|
artikel
|
| 15 |
MMINT-A: A framework for model-based safety assurance
|
Di Sandro, Alessio
|
|
|
231 |
C |
p.
|
artikel
|
| 16 |
ModelSet: A labelled dataset of software models for machine learning
|
López, José Antonio Hernández
|
|
|
231 |
C |
p.
|
artikel
|
| 17 |
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills
|
Bucchiarone, Antonio
|
|
|
231 |
C |
p.
|
artikel
|
| 18 |
Structured development of implementations for divide-and-conquer specifications
|
Bortin, Maksym
|
|
|
231 |
C |
p.
|
artikel
|
| 19 |
The complexity of evaluating nfer
|
Kauffman, Sean
|
|
|
231 |
C |
p.
|
artikel
|
Tijdschrift beschrijving