Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Graph and model transformation : general framework and applications / / by Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
| Graph and model transformation : general framework and applications / / by Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann |
| Autore | Ehrig Hartmut |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (468 p.) |
| Disciplina | 511.5 |
| Collana | Monographs in Theoretical Computer Science. An EATCS Series |
| Soggetto topico |
Computers
Software engineering Categories (Mathematics) Algebra, Homological Theory of Computation Software Engineering/Programming and Operating Systems Category Theory, Homological Algebra |
| ISBN | 3-662-47980-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General Introduction -- Graph Transformation -- Model Transformation -- Adhesive and M-adhesive Categories -- M-adhesive Transformation Systems -- Multi-amalgamated Transformations -- Model Transformation and Model Integration -- Analysis of Model Transformations -- Model Synchronisation -- Modelling and Static Analysis of Self-adaptive Systems by Graph Transformation -- Enterprise Modelling and Model Integration -- Tool Support -- App. A, Basic Notions of Category Theory -- App. B, Proofs and Additional Properties -- References -- Index. |
| Record Nr. | UNINA-9910298961203321 |
Ehrig Hartmut
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
VL/HCC 2015 : 2015 IEEE Symposium on Visual Languages and Human-Centric Computing : proceedings : October 18-22, 2015 Atlanta, USA / / edited by Zhen Li, Claudia Ermel, Scott D. Fleming ; sponsored by IEEE
| VL/HCC 2015 : 2015 IEEE Symposium on Visual Languages and Human-Centric Computing : proceedings : October 18-22, 2015 Atlanta, USA / / edited by Zhen Li, Claudia Ermel, Scott D. Fleming ; sponsored by IEEE |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2015 |
| Descrizione fisica | 1 online resource (141 pages) |
| Disciplina | 004.019 |
| Soggetto topico |
Human-computer interaction
Visual programming languages (Computer science) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4673-7457-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280041403316 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
VL/HCC 2015 : 2015 IEEE Symposium on Visual Languages and Human-Centric Computing : proceedings : October 18-22, 2015 Atlanta, USA / / edited by Zhen Li, Claudia Ermel, Scott D. Fleming ; sponsored by IEEE
| VL/HCC 2015 : 2015 IEEE Symposium on Visual Languages and Human-Centric Computing : proceedings : October 18-22, 2015 Atlanta, USA / / edited by Zhen Li, Claudia Ermel, Scott D. Fleming ; sponsored by IEEE |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2015 |
| Descrizione fisica | 1 online resource (141 pages) |
| Disciplina | 004.019 |
| Soggetto topico |
Human-computer interaction
Visual programming languages (Computer science) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4673-7457-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910137406803321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||