E-LIB Suche - Ergebnisse für: Hooman, Jozef

1

Model based component development and analysis with ComMA:

Kurtev, Ivan ; Hooman, Jozef ; Schuts, Mathijs.
Science of Computer Programming. 233 (2024) - p. 103067 , 2024

2

MBSE-Based Design Space Exploration for Productivity Improv..:

, In: The Proceedings of the 2023 Conference on Systems Engineering Research; Conference on Systems Engineering Research Series,

Hooman, Jozef ; Kanters, Koen ; Vasenev, Alexandr. - p. 35-46 , 2024

Link: https://doi.org/10.1007/..

3

Towards an Industrial Stateful Software Rejuvenation Toolch..:

, In: Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

Schuts, Mathijs ; Hooman, Jozef - p. 15-31 , 2023

Link: https://dl.acm.org/doi/1..

4

Runtime Verification of Compound Components with ComMA:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,

Kurtev, Ivan ; Hooman, Jozef - p. 382-402 , 2022

Link: https://doi.org/10.1007/..

5

Reverse engineering models of software interfaces:

Bera, Debjyoti ; Schuts, Mathijs ; Hooman, Jozef.
Computer Science and Information Systems. 18 (2021) 3 - p. 657-686 , 2021

Link: https://doi.org/10.2298/..

6

Industrial experiences with the evolution of a DSL:

, In: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling,

Schuts, Mathijs ; Alonso, Marco ; Hooman, Jozef - p. 21-30 , 2021

Link: https://dl.acm.org/doi/1..

7

Contributors:

, In: Model Management and Analytics for Large Scale Systems,

Abherve, Antonin ; Akesson, Benny ; Akşit, Mehmet... - p. ix-xi , 2020

Link: https://doi.org/10.1016/..

8

Reducing design time and promoting evolvability using Domai..:

, In: Model Management and Analytics for Large Scale Systems,

Akesson, Benny ; Hooman, Jozef ; Sleuters, Jack. - p. 245-272 , 2020

Link: https://doi.org/10.1016/..

9

Industrial Experience with the Migration of Legacy Models u..:

, In: Proceedings of the Real World Domain Specific Languages Workshop 2018,

Schuts, Mathijs ; Hooman, Jozef ; Tielemans, Paul - p. 1-10 , 2018

Link: https://dl.acm.org/doi/1..

10

Improving maintenance by creating a DSL for configuring a f..:

, In: Proceedings of the International Workshop on Domain-Specific Modeling,

Schuts, Mathijs ; Hooman, Jozef - p. 28-34 , 2016

Link: https://dl.acm.org/doi/1..

11

Industrial Application of Domain Specific Languages Combine..:

, In: Proceedings of the 1st International Workshop on Real World Domain Specific Languages,

Schuts, Mathijs ; Hooman, Jozef - p. 1-8 , 2016

Link: https://dl.acm.org/doi/1..

12

Evaluating the effect of a lightweight formal technique in ..:

Osaiweran, Ammar ; Schuts, Mathijs ; Hooman, Jozef..
International Journal on Software Tools for Technology Transfer. 18 (2015) 1 - p. 93-108 , 2015

Link: https://doi.org/10.1007/..

13

Experiences with incorporating formal techniques into indus..:

Osaiweran, Ammar ; Schuts, Mathijs ; Hooman, Jozef
Empirical Software Engineering. 19 (2013) 4 - p. 1169-1194 , 2013

Link: https://doi.org/10.1007/..

14

Incorporating Formal Techniques into Industrial Practice: a..:

Osaiweran, Ammar ; Schuts, Mathijs ; Hooman, Jozef.
Electronic Notes in Theoretical Computer Science. 295 (2013) - p. 49-63 , 2013

Link: https://doi.org/10.1016/..

15

Proving consistency of VDM models using HOL:

, In: Proceedings of the 2010 ACM Symposium on Applied Computing,

Vermolen, Sander D. ; Hooman, Jozef ; Larsen, Peter Gorm - p. 2503-2510 , 2010

Link: https://dl.acm.org/doi/1..