Login / Signup
Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules.
Dominic Steinhöfel
Published in:
Denert Award (2020)
Keyphrases
</>
transformation rules
metamodel
software systems
rewrite rules
development process
software architecture
design patterns
model driven
software development
recursive programs
structured data
life cycle
program synthesis
artificial intelligence
source code
object oriented
relational databases
database systems