Tool support.- Dependability.- Comprehensibility.- Testing.- Evolution.- Verification.- Product lines.- Semantics.- Domain-specific modeling languages.- Design and architecture.- Model transformation.- Model analysis.- System synthesis.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.