Graph transformations and model-driven engineering : essays dedicated to Manfred Nagl on the occasion of his 65th birthday /
This festschrift volume, published in honor of Manfred Nagl on the occasion of his 65th birthday, contains 30 refereed contributions, edited by five of his academic descendants. The types of papers vary significantly, including classic research papers in the style of journal articles, surveys of foc...
Saved in:
Other Authors: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlin :
Springer,
2010
|
Series: | LNCS sublibrary Programming and software engineering.
Lecture notes in computer science ; 5765 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 07835nam a2200985Ia 4500 | ||
---|---|---|---|
001 | d7327a20-46fb-4bb3-831c-eda182b90db6 | ||
005 | 20240811000000.0 | ||
008 | 101110s2010 gw a ob 011 0 eng d | ||
010 | |a 2010939155 | ||
015 | |a 10, N43 |2 dnb | ||
015 | |a 10,N43 |2 dnb | ||
016 | 7 | |a 015717488 |2 Uk | |
016 | 7 | |a 100777746X |2 DE-101 | |
019 | |a 693780122 |a 769767984 |a 864794605 |a 874229039 |a 964932721 | ||
020 | |a 1280390514 | ||
020 | |a 3642173217 | ||
020 | |a 3642173225 | ||
020 | |a 6613568430 | ||
020 | |a 9781280390517 | ||
020 | |a 9783642173219 | ||
020 | |a 9783642173226 | ||
020 | |a 9786613568434 | ||
024 | 7 | |a 10.1007/978-3-642-17322-6 |2 doi | |
035 | |a (OCoLC)680328519 |z (OCoLC)693780122 |z (OCoLC)769767984 |z (OCoLC)864794605 |z (OCoLC)874229039 |z (OCoLC)964932721 |z (OCoLC)993766756 |z (OCoLC)1005763691 |z (OCoLC)1006391007 |z (OCoLC)1009250443 |z (OCoLC)1012878147 |z (OCoLC)1014447318 |z (OCoLC)1020026684 |z (OCoLC)1027372064 |z (OCoLC)1036767573 |z (OCoLC)1038496027 |z (OCoLC)1039692867 |z (OCoLC)1058086985 |z (OCoLC)1066527770 |z (OCoLC)1066607560 |z (OCoLC)1067086735 |z (OCoLC)1081221956 |z (OCoLC)1086447476 |z (OCoLC)1087360568 |z (OCoLC)1097274837 |z (OCoLC)1102538557 |z (OCoLC)1110775646 |z (OCoLC)1119437156 |z (OCoLC)1132584494 |z (OCoLC)1162749784 |z (OCoLC)1204006528 |z (OCoLC)1262675952 | ||
035 | |a (OCoLC)680328519 |z (OCoLC)693780122 |z (OCoLC)769767984 |z (OCoLC)864794605 |z (OCoLC)874229039 |z (OCoLC)964932721 | ||
037 | |a 978-3-642-17321-9 |b Springer |n http://www.springerlink.com | ||
040 | |a CUS |b eng |e pn |c CUS |d GW5XE |d OUN |d E7B |d CEF |d OCLCQ |d OCLCO |d OCLCQ |d KIJ |d BEDGE |d DKDLA |d OCLCQ |d YDXCP |d NUI |d EBLCP |d OCLCQ |d VT2 |d MYUML |d OCLCF |d OCLCO |d ESU |d OCLCQ |d IOG |d OCLCO |d TFW |d U3W |d AU@ |d OCLCO |d WYU |d OCLCQ |d CNTRU |d OL$ |d OCLCQ |d OCLCO |d LEAUB |d OCLCQ |d DCT |d OCLCQ |d CSt | ||
040 | |a CUS |b eng |e pn |c CUS |d GW5XE |d OUN |d E7B |d CEF |d OCLCQ |d OCLCO |d OCLCQ |d KIJ |d BEDGE |d DKDLA |d OCLCQ |d YDXCP |d NUI |d EBLCP |d OCLCQ |d VT2 |d MYUML |d OCLCF |d OCLCO | ||
049 | |a MAIN | ||
050 | 4 | |a QA267.3 | |
072 | 7 | |a COM051230 |2 bisacsh | |
072 | 7 | |a QA |2 lcco | |
072 | 7 | |a UMZ |2 bicssc | |
082 | 0 | 4 | |a 005.1028 |2 22 |
245 | 0 | 0 | |a Graph transformations and model-driven engineering : |b essays dedicated to Manfred Nagl on the occasion of his 65th birthday / |c Gregor Engels [and others] (eds.) |
260 | |a Berlin : |b Springer, |c 2010 | ||
300 | |a 1 online resource (xiii, 768 pages) : |b illustrations | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file | ||
347 | |b PDF | ||
490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering | |
490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 5765 | |
504 | |a Includes bibliographical references and index | ||
505 | 0 | |a Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- The Edge of Graph Transformation -- Graphs for Behavioural Specification -- Graph Transformation by Computational Category Theory -- On GS-Monoidal Theories for Graphs with Nesting -- Stochastic Modelling and Simulation of Mobile Systems -- Autonomous Units and Their Semantics -- The Concurrent Case -- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation -- Extended Triple Graph Grammars with Efficient and Compatible Graph Translators -- Controlling Reuse in Pattern-Based Model-to-Model Transformations -- Lessons Learned from Building a Graph Transformation System -- Workflow-Driven Tool Integration Using Model Transformations -- The Architecture Description Language MoDeL -- Towards Managing Software Architectures with Ontologies -- Using Role-Play Diagrams to Improve Scenario Role-Play -- Reverse Engineering Using Graph Queries -- Graph-Based Structural Analysis for Telecommunication Systems -- Do We Really Know How to Support Processes? Considerations and Reconstruction -- A Meta-Method for Defining Software Engineering Methods -- Techniques for Merging Views of Software Processes -- Model Checking Programmable Router Configurations -- Architectural Issues of Adaptive Pervasive Systems -- Using Graph Grammars for Modeling Wiring Harnesses -- An Experience Report -- Model-Driven Development with Mechatronic UML -- Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent -- Multi-view Modeling to Support Embedded Systems Engineering in SysML -- Requirements Engineering in Complex Domains -- Tool Support for Dynamic Development Processes -- An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries -- Integration Tools for Consistency Management between Design Documents in Development Processes -- Towards Semantic Navigation in Mobile Robotics -- Model Driven Engineering in Operative Industrial Process Control Environments -- Overview | |
520 | |a This festschrift volume, published in honor of Manfred Nagl on the occasion of his 65th birthday, contains 30 refereed contributions, edited by five of his academic descendants. The types of papers vary significantly, including classic research papers in the style of journal articles, surveys of focused research areas, essays reflecting on certain research topics, and papers summarizing long-term work conducted by Manfred Nagl. The volume is structured in five parts: graph transformations, software architectures and reengineering, process support, embedded systems engineering as well as engineering design applications | ||
546 | |a English | ||
596 | |a 22 | ||
600 | 1 | 0 | |a Nagl, Manfred, |d 1944- |1 http://viaf.org/viaf/33357461 |
600 | 1 | 0 | |a Nagl, Manfred, |d 1944- |
600 | 1 | 7 | |a Nagl, Manfred, |d 1944- |2 fast |1 http://viaf.org/viaf/33357461 |
600 | 1 | 7 | |a Nagl, Manfred, |d 1944- |2 fast |
650 | 0 | |a Computer software |x Development | |
650 | 0 | |a Graph grammars | |
650 | 0 | |a Rewriting systems (Computer science) | |
650 | 7 | |a Computer software |x Development |2 fast | |
650 | 7 | |a Eingebettetes System |2 gnd | |
650 | 7 | |a Graph grammars |2 fast | |
650 | 7 | |a Graphersetzungssystem |2 gnd | |
650 | 7 | |a Informatique |2 eclas | |
650 | 7 | |a Modellgetriebene Entwicklung |2 gnd | |
650 | 7 | |a Prozessmanagement |2 gnd | |
650 | 7 | |a Reengineering |2 gnd | |
650 | 7 | |a Requirements engineering |2 gnd | |
650 | 7 | |a Rewriting systems (Computer science) |2 fast | |
650 | 7 | |a Software Engineering |2 gnd | |
650 | 7 | |a Softwarearchitektur |2 gnd | |
650 | 1 | 4 | |a Computer Science |
650 | 2 | 4 | |a Logics and Meanings of Programs |
650 | 2 | 4 | |a Mathematical Logic and Formal Languages |
650 | 2 | 4 | |a Programming Languages, Compilers, Interpreters |
650 | 2 | 4 | |a Programming Techniques |
650 | 2 | 4 | |a Software Engineering |
655 | 4 | |a Electronic books | |
700 | 1 | |a Engels, G |1 http://viaf.org/viaf/266310312 | |
700 | 1 | |a Engels, G | |
773 | 0 | |t Springer eBooks | |
776 | 0 | 8 | |i Print version: |t Graph transformations and model-driven engineering |d Berlin : Springer, 2010 |z 9783642173219 |w (DLC) 2010939155 |
776 | 0 | 8 | |i Print version: |t Graph transformations and model-driven engineering. |d Berlin : Springer, 2010 |z 9783642173219 |w (DLC) 2010939155 |
830 | 0 | |a LNCS sublibrary |n SL 2, |p Programming and software engineering. | |
830 | 0 | |a Lecture notes in computer science ; |v 5765 |x 0302-9743 | |
999 | 1 | 0 | |i d7327a20-46fb-4bb3-831c-eda182b90db6 |l a9114991 |s US-CST |m graph_transformations_and_model_driven_engineeringessays_dedicated_to______2010_______sprina___________________________________________________________________________e |
999 | 1 | 0 | |i d7327a20-46fb-4bb3-831c-eda182b90db6 |l 11075025 |s US-ICU |m graph_transformations_and_model_driven_engineeringessays_dedicated_to______2010_______sprina___________________________________________________________________________e |
999 | 1 | 1 | |l a9114991 |s ISIL:US-CST |t BKS |a SUL INTERNET |b 9114991-1001 |c INTERNET RESOURCE |d ASIS |x SUL |y 9114991-1001 |p UNLOANABLE |