LEADER 01836nam  2200421z- 450 
001 9910493731003321
005 20231214133201.0
010   $a1000080522
035   $a(CKB)5590000000537512
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/71676
035   $a(EXLCZ)995590000000537512
100   $a20202108d2021      |y             0
101 0 $aeng
135   $aurmn|---annan
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aImplicit Incremental Model Analyses and Transformations
210   $aKarlsruhe$cKIT Scientific Publishing$d2021
215   $a1 electronic resource (498 p.)
225 1 $aThe Karlsruhe Series on Software Design and Quality
311   $a3-7315-0763-3 
330   $aWhen 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 implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC).
606   $aMaths for computer scientists$2bicssc
610   $aIncrementalization
610   $aModel Analysis
610   $aModel Transformation
610   $aSynchronization Blocks
610   $aInkrementalisierung
610   $aModellanalyse
610   $aModelltransformation
610   $aSynchronisierungsblöcke
615  7$aMaths for computer scientists
700   $aHinkel$b Georg$4auth$01322407
906   $aBOOK
912   $a9910493731003321
996   $aImplicit Incremental Model Analyses and Transformations$93034966
997   $aUNINA