000 03788nam a22004215i 4500
001 294891
003 MX-SnUAN
005 20160429155204.0
007 cr nn 008mamaa
008 150903s2005 gw | o |||| 0|eng d
020 _a9783540318477
_99783540318477
024 7 _a10.1007/b106390
_2doi
035 _avtls000347976
039 9 _a201509031110
_bVLOAD
_c201405070457
_dVLOAD
_y201402071016
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA8.9-QA10.3
100 1 _aKreowski, Hans-Jörg.
_eeditor.
_9328873
245 1 0 _aFormal Methods in Software and Systems Modeling :
_bEssays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
_cedited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2005.
300 _axxvii, 413 páginas Also available online.
_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
490 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3393
500 _aSpringer eBooks
505 0 _aGraph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph Transformation to Software Engineering and Back -- Flexible Interconnection of Graph Transformation Modules -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes with Fusions: Concurrency by Colimits, Again -- Graph Transformation with Variables -- Graph Transformation in Molecular Biology -- Changing Labels in the Double-Pushout Approach Can Be Treated Categorically -- Algebraic Specification and Logic -- Modules, Brains and Schemas -- From Conditional Specifications to Interaction Charts -- Algebraic Properties of Interfaces -- ? T -Integration of Logics -- Functorial Semantics of Rewrite Theories -- Expander2 -- Relationships Between Equational and Inductive Data Types -- Cofree Coalgebras for Signature Morphisms -- Formal and Visual Modeling -- Nested Constraints and Application Conditions for High-Level Structures -- Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements -- Main Concepts of Networks of Transformation Units with Interlinking Semantics -- Embeddings and Contexts for Link Graphs -- Towards Architectural Connectors for UML -- Loose Semantics of Petri Nets -- A Formal Framework for the Development of Concurrent Object-Based Systems -- A Formal Description of the Basic Concepts of System Theory for Transportation.
520 _aBy presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aMontanari, Ugo.
_eeditor.
_9328874
700 1 _aOrejas, Fernando.
_eeditor.
_9328875
700 1 _aRozenberg, Grzegorz.
_eeditor.
_9328370
700 1 _aTaentzer, Gabriele.
_eeditor.
_9328876
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783540249368
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b106390
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c294891
_d294891