| 000 | 02294nam a22003495i 4500 | ||
|---|---|---|---|
| 001 | 309075 | ||
| 003 | MX-SnUAN | ||
| 005 | 20160429160244.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150903s2011 gw | o |||| 0|eng d | ||
| 020 |
_a9783834899347 _99783834899347 |
||
| 024 | 7 |
_a10.1007/9783834899347 _2doi |
|
| 035 | _avtls000363364 | ||
| 039 | 9 |
_a201509030637 _bVLOAD _c201405070343 _dVLOAD _y201402211145 _zstaff |
|
| 040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
| 050 | 4 | _aQA75.5-76.95 | |
| 100 | 1 |
_aGolas, Ulrike. _eautor _9349212 |
|
| 245 | 1 | 0 |
_aAnalysis and Correctness of Algebraic Graph and Model Transformations / _cby Ulrike Golas. |
| 264 | 1 |
_aWiesbaden : _bVieweg+Teubner, _c2011. |
|
| 300 |
_axvI, 226 páginas 59 ilustraciones _brecurso en línea. |
||
| 336 |
_atexto _btxt _2rdacontent |
||
| 337 |
_acomputadora _bc _2rdamedia |
||
| 338 |
_arecurso en línea _bcr _2rdacarrier |
||
| 347 |
_aarchivo de texto _bPDF _2rda |
||
| 500 | _aSpringer eBooks | ||
| 520 | _aGraph and model transformations play a central role for visual modeling and model-driven software development. Within the last decade, a mathematical theory of algebraic graph and model transformations has been developed for modeling, analysis, and to show the correctness of transformations. Ulrike Golas extends this theory for more sophisticated applications like the specification of syntax, semantics, and model transformations of complex models. Based on M-adhesive transformation systems, model transformations are successfully analyzed regarding syntactical correctness, completeness, functional behavior, and semantical simulation and correctness. The developed methods and results are applied to the non-trivial problem of the specification of syntax and operational semantics for UML statecharts and a model transformation from statecharts to Petri nets preserving the semantics. | ||
| 590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
| 710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
| 776 | 0 | 8 |
_iEdición impresa: _z9783834814937 |
| 856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-8348-9934-7 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
| 942 | _c14 | ||
| 999 |
_c309075 _d309075 |
||