The research is on software engineering in general, but with a strong focus on theory, methods and tools for maintaining consistency between models and code.
Model-driven software engineering. Generation of code from models.
Reconstruction of models from code. Analysis and transformation of models and code. Verified software engineering. Methods for consistent incremental development of specifications and code. Correctness by design. Static and dynamic assertion checking.
Wil je meer informatie over de inhoud van het dossier of in contact worden gebracht met de kennisaanbieder? Neem dan contact met ons op.