Implicit Incremental Model Analyses and Transformations

When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implic...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Yazar: Hinkel, Georg (auth)
Materyal Türü: Elektronik Kitap Bölümü
Dil:İngilizce
Baskı/Yayın Bilgisi: Karlsruhe KIT Scientific Publishing 2021
Seri Bilgileri:The Karlsruhe Series on Software Design and Quality
Konular:
Online Erişim:DOAB: download the publication
DOAB: description of the publication
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!