Kniha momentálne nie je na sklade
Parametre
Viac o knihe
Model transformations play a key role in automated software development processes, where the modern trend is directed towards specification of software with an abstract model and its step-wise transformation into code. It is important that the code meets the initial specification. Therefore, the question for a model transformation is whether the transformed model fulfills the behavioural properties of the initial model. In this thesis, a method is presented for proving that a specified model transformation is semantically correct in the sense that it preserves all behavioural properties of a source model.
Nákup knihy
Full semantics preservation in model transformation, Maria Semenyak
- Jazyk
- Rok vydania
- 2012
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Full semantics preservation in model transformation
- Jazyk
- anglicky
- Autori
- Maria Semenyak
- Vydavateľ
- Verl.-Haus Monsenstein und Vannerdat
- Rok vydania
- 2012
- ISBN10
- 3869915897
- ISBN13
- 9783869915890
- Séria
- Edition Octopus
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- Model transformations play a key role in automated software development processes, where the modern trend is directed towards specification of software with an abstract model and its step-wise transformation into code. It is important that the code meets the initial specification. Therefore, the question for a model transformation is whether the transformed model fulfills the behavioural properties of the initial model. In this thesis, a method is presented for proving that a specified model transformation is semantically correct in the sense that it preserves all behavioural properties of a source model.