Inventory

Antwerp Systems and software Modelling (AnSyMo)

University

University of Antwerp

department

Department of Computer Science

Research Field(s)

Applied mathematics in specific fields,Programming languages,Theoretical computer science

Key Words

FORMAL METHODS,FORMAL SEMANTICS,MODEL DRIVEN ENGINEERING,MODEL TRANSFORMATION,REENGINEERING,REFACTORING,REVERSE ENGINEERING,SOFTWARE EVOLUTION,TESTING

Contact Name(s)

Vangheluwe Hans

Contact Email(s)

Link(s)

https://www.uantwerpen.be/en/rg/ansymo/