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.
Current Trends in Web Engineering [[electronic resource] ] : ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers / / edited by Irene Garrigós, Manuel Wimmer
| Current Trends in Web Engineering [[electronic resource] ] : ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers / / edited by Irene Garrigós, Manuel Wimmer |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIII, 274 p. 70 illus.) |
| Disciplina | 004.678 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Database management Artificial intelligence Mathematical logic Information Systems Applications (incl. Internet) Database Management Computer Appl. in Social and Behavioral Sciences Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-319-74433-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Joint Workshop on Engineering the Web of Things and Liquid Multi-Device Software -- International Workshop on The Practice Of The Open Web -- Third International Workshop on Natural Language Processing for Informal Text -- Third International Workshop on Mining the Social Web -- ICWE 2017 Tutorials. |
| Record Nr. | UNISA-996465478003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Current Trends in Web Engineering : ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers / / edited by Irene Garrigós, Manuel Wimmer
| Current Trends in Web Engineering : ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers / / edited by Irene Garrigós, Manuel Wimmer |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIII, 274 p. 70 illus.) |
| Disciplina | 004.678 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Database management Artificial intelligence Mathematical logic Information Systems Applications (incl. Internet) Database Management Computer Appl. in Social and Behavioral Sciences Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-319-74433-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Joint Workshop on Engineering the Web of Things and Liquid Multi-Device Software -- International Workshop on The Practice Of The Open Web -- Third International Workshop on Natural Language Processing for Informal Text -- Third International Workshop on Mining the Social Web -- ICWE 2017 Tutorials. |
| Record Nr. | UNINA-9910349260803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Current Trends in Web Engineering [[electronic resource] ] : ICWE 2012 International Workshops MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers / / edited by Michael Grossniklaus, Manuel Wimmer
| Current Trends in Web Engineering [[electronic resource] ] : ICWE 2012 International Workshops MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers / / edited by Michael Grossniklaus, Manuel Wimmer |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XXII, 245 p. 95 illus.) |
| Disciplina | 004.678 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Computer communication systems Computers Software engineering Management information systems Computer science Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Information Systems and Communication Service Software Engineering Management of Computing and Information Systems |
| ISBN | 3-642-35623-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 8th International Workshop on Model-Driven and Agile Engineering for the Web (MDWE) -- An Agile Model-Based Framework for Service Innovation for the Future Internet (Invited Paper).- Engineering for Cloud Computing (Web Engineering Forecast: Cloudy with a Chance of Opportunities).- Developing Semantic Rich Internet Applications with the Sm4RIA Extension for OIDE.- A Model-Based Approach for Supporting Aspect-Oriented Development of Personal Information Management Systems.- Model-Driven Development of Social Network Enabled Applications with WebML and Social Primitives.- Model Driven Extraction of the Navigational Concern of Legacy Web Applications.- Model-Driven Testing for Web Applications Using Abstract State Machines.- 4th International Workshop on Lightweight Integration on theWeb (ComposableWeb) -- Understanding Web Augmentation (Invited Paper).- UML2 Profile and Model-Driven Approach for Supporting System Integration and Adaptation of Web Data Mashups.- Extending Web Standards-Based Widgets towards Inter-Widget Communication.- A Mashup Construction Approach for Cooperation of Mobile Devices.- EnglishMash: Usability Design for a Natural Mashup Composition Environment.- visualRSS: A Platform to Mine and Visualise Social Data from RSS Feeds.- Extracting Models from Web API Documentation.- Third Workshop on the Web and Requirements Engineering (WeRE) -- Identifying and Modelling Complex Workflow Requirements in Web Applications.- Requirements Models as First Class Entities in Model-Driven Web Engineering.- How the Web of Things Challenges Requirements Engineering.- Automatic Test Case Generation from Functional Requirements in NDT.- Third International Workshop on Quality in Web Engineering (QWE) -- Reasoning about Knowledge from the Web (Extended Abstract).- Toward the Improvement of a Measurement and Evaluation Strategy from a Comparative Study.- Evaluation and Comparison of Three Open Courseware Based on Quality Criteria.- ICWE 2012 Doctoral Consortium -- Maintenance of Human and Machine Metadata over the Web Content.- End-User-Development and Evolution of Web Applications: The WebComposition EUD Approach.- A Description-Based Mashup for Cooperation of Mobile Devices.- Model Based Simulation and Evaluation of Mobile and Web 2.0 Applications for Users with Special Needs.- Decision Support for Off-the-Shelf Software Selection in Web Development Projects. An Agile Model-Based Framework for Service Innovation for the Future Internet (Invited Paper).- Engineering for Cloud Computing (Web Engineering Forecast: Cloudy with a Chance of Opportunities).- Developing Semantic Rich Internet Applications with the Sm4RIA Extension for OIDE.- A Model-Based Approach for Supporting Aspect-Oriented Development of Personal Information Management Systems.- Model-Driven Development of Social Network Enabled Applications with WebML and Social Primitives.- Model Driven Extraction of the Navigational Concern of Legacy Web Applications.- Model-Driven Testing for Web Applications Using Abstract State Machines.- 4th International Workshop on Lightweight Integration on theWeb (ComposableWeb) -- Understanding Web Augmentation (Invited Paper).- UML2 Profile and Model-Driven Approach for Supporting System Integration and Adaptation of Web Data Mashups.- Extending Web Standards-Based Widgets towards Inter-Widget Communication.- A Mashup Construction Approach for Cooperation of Mobile Devices.- EnglishMash: Usability Design for a Natural Mashup Composition Environment.- visualRSS: A Platform to Mine and Visualise Social Data from RSS Feeds.- Extracting Models from Web API Documentation.- Third Workshop on the Web and Requirements Engineering (WeRE) -- Identifying and Modelling Complex Workflow Requirements in Web Applications.- Requirements Models as First Class Entities in Model-Driven Web Engineering.- How the Web of Things Challenges Requirements Engineering.- Automatic Test Case Generation from Functional Requirements in NDT.- Third International Workshop on Quality in Web Engineering (QWE) -- Reasoning about Knowledge from the Web (Extended Abstract).- Toward the Improvement of a Measurement and Evaluation Strategy from a Comparative Study.- Evaluation and Comparison of Three Open Courseware Based on Quality Criteria.- ICWE 2012 Doctoral Consortium -- Maintenance of Human and Machine Metadata over the Web Content.- End-User-Development and Evolution of Web Applications: The WebComposition EUD Approach.- A Description-Based Mashup for Cooperation of Mobile Devices.- Model Based Simulation and Evaluation of Mobile and Web 2.0 Applications for Users with Special Needs.- Decision Support for Off-the-Shelf Software Selection in Web Development Projects. . |
| Record Nr. | UNISA-996465933403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Digital transformation : core technologies and emerging topics from a computer science perspective / / edited by Birgit Vogel-Heuser and Manuel Wimmer
| Digital transformation : core technologies and emerging topics from a computer science perspective / / edited by Birgit Vogel-Heuser and Manuel Wimmer |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer Vieweg, , [2023] |
| Descrizione fisica | 1 online resource (522 pages) |
| Disciplina | 004.6782 |
| Soggetto topico |
Production engineering - Data processing
Cloud computing |
| ISBN | 3-662-65004-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I - Digital Representation: Engineering Digital Twins and Digital Shadows as Key Enablers for Industry 4.0 -- Designing Strongly-decoupled Industry 4.0 applications across the stack: a use case -- Variability in Products and Production -- Part II - Digital Infrastructures: Reference Architectures for closing the IT/OT gap -- Edge Computing: Use Cases and Research Challenges -- Dynamic Access Control in Industry 4.0 Systems -- Challenges in OT-Security and their Impacts on Safety-related Cyber-Physical Production Systems -- Runtime Monitoring for Systems of System -- Blockchain technologies in the design and operation of cyber-physical systems -- Part III - Data Management: Big Data Integration for Industry 4.0 -- Tons of data - is data quality still an issue? -- Coupling of Top Floor Internal and External Data Exchange Matters -- Part IV - Data Analytics: Conceptualizing Analytics: An Overview of Business Intelligence and Analytics from a Conceptual Modeling Perspective -- Discovering Actionable Knowledge for Industry 4.0: From Data Mining to Predictive and Prescriptive Analytics -- Process Mining - Discovery, Conformance, and Enhancement of Manufacturing Processes -- Symbolic artificial intelligence methods for prescriptive analytics -- Machine Learning for Cyber-Physical Systems -- Visual Data Science for Industrial Applications -- Part V - Digital Transformation towards Industry 5.0: Self-Adaptive Digital Assistance Systems for Work 4.0 -- Digital Transformation - Towards flexible human-centric enterprises. |
| Record Nr. | UNINA-9910647779903321 |
| Berlin, Germany : , : Springer Vieweg, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Digital transformation : core technologies and emerging topics from a computer science perspective / / edited by Birgit Vogel-Heuser and Manuel Wimmer
| Digital transformation : core technologies and emerging topics from a computer science perspective / / edited by Birgit Vogel-Heuser and Manuel Wimmer |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer Vieweg, , [2023] |
| Descrizione fisica | 1 online resource (522 pages) |
| Disciplina | 004.6782 |
| Soggetto topico |
Production engineering - Data processing
Cloud computing |
| ISBN | 3-662-65004-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I - Digital Representation: Engineering Digital Twins and Digital Shadows as Key Enablers for Industry 4.0 -- Designing Strongly-decoupled Industry 4.0 applications across the stack: a use case -- Variability in Products and Production -- Part II - Digital Infrastructures: Reference Architectures for closing the IT/OT gap -- Edge Computing: Use Cases and Research Challenges -- Dynamic Access Control in Industry 4.0 Systems -- Challenges in OT-Security and their Impacts on Safety-related Cyber-Physical Production Systems -- Runtime Monitoring for Systems of System -- Blockchain technologies in the design and operation of cyber-physical systems -- Part III - Data Management: Big Data Integration for Industry 4.0 -- Tons of data - is data quality still an issue? -- Coupling of Top Floor Internal and External Data Exchange Matters -- Part IV - Data Analytics: Conceptualizing Analytics: An Overview of Business Intelligence and Analytics from a Conceptual Modeling Perspective -- Discovering Actionable Knowledge for Industry 4.0: From Data Mining to Predictive and Prescriptive Analytics -- Process Mining - Discovery, Conformance, and Enhancement of Manufacturing Processes -- Symbolic artificial intelligence methods for prescriptive analytics -- Machine Learning for Cyber-Physical Systems -- Visual Data Science for Industrial Applications -- Part V - Digital Transformation towards Industry 5.0: Self-Adaptive Digital Assistance Systems for Work 4.0 -- Digital Transformation - Towards flexible human-centric enterprises. |
| Record Nr. | UNISA-996546828603316 |
| Berlin, Germany : , : Springer Vieweg, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer
| Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer |
| Autore | Johnsen Einar Broch |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xiv, 347 pages) : illustrations |
| Altri autori (Persone) |
JohnsenEinar Broch
WimmerManuel |
| Collana | Lecture notes in computer science |
| Soggetto topico | Software engineering |
| Soggetto non controllato |
architecture verification and validation
distributed computer systems embedded systems empirical software validation formal methods model checking model-driven software engineering object-oriented programming program analysis software performance software quality software testing and debugging |
| ISBN | 3-030-99429-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464553503316 |
Johnsen Einar Broch
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer
| Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer |
| Autore | Johnsen Einar Broch |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xiv, 347 pages) : illustrations |
| Altri autori (Persone) |
JohnsenEinar Broch
WimmerManuel |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Software engineering
Enginyeria de programari |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| Soggetto non controllato |
architecture verification and validation
distributed computer systems embedded systems empirical software validation formal methods model checking model-driven software engineering object-oriented programming program analysis software performance software quality software testing and debugging |
| ISBN | 3-030-99429-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910555236603321 |
|
Johnsen Einar Broch
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-driven software engineering in practice / / Marco Brambilla, Jordi Cabot, Manuel Wimmer
| Model-driven software engineering in practice / / Marco Brambilla, Jordi Cabot, Manuel Wimmer |
| Autore | Brambilla Marco |
| Pubbl/distr/stampa | San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA), : Morgan & Claypool, c2012 |
| Descrizione fisica | 1 online resource (184 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
CabotJordi
WimmerManuel |
| Collana | Synthesis lectures on software engineering |
| Soggetto topico |
Software engineering
Computer programming - Computer simulation Model-integrated computing |
| ISBN | 1-60845-883-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
1. Introduction -- 1.1 Purpose and use of models -- 1.2 Modeling for software development -- 1.3 How to read this book --
2. MDSE principles -- 2.1 MDSE basics -- 2.2 Lost in acronyms: the MD* jungle -- 2.3 Overview of the MDSE methodology -- 2.4 MDSE adoption in industry -- 2.5 Tool support -- 2.6 Criticisms of MDSE -- 3. MDSE use cases -- 3.1 Automating software development -- 3.2 System interoperability -- 3.3 Reverse engineering -- 4. Model-driven architecture (MDA) -- 4.1 MDA definitions and assumptions -- 4.2 The modeling levels: CIM, PIM, PSM -- 4.3 Mappings -- 4.4 General-purpose and domain-specific languages in MDA -- 4.5 Architecture-driven modernization -- 5. Integration of MDSE in your development process -- 5.1 Introducing MDSE in your software development process -- 5.2 Traditional development processes and MDSE -- 5.3 Agile and MDSE -- 5.4 Domain-driven design and MDSE -- 5.5 Test-driven development and MDSE -- 6. Modeling languages at a glance -- 6.1 Anatomy of modeling languages -- 6.2 General-purpose vs. domain-specific modeling languages -- 6.3 General-purpose modeling: the case of UML -- 6.4 UML extensibility: the middle way between GPL and DSL -- 6.5 Overview on DSLs -- 6.6 Defining modeling constraints (OCL) -- 7. Developing your own modeling language -- 7.1 Metamodel-centric language design -- 7.2 Example DSML: sWML -- 7.3 Abstract syntax development -- 7.4 Concrete syntax development -- 8. Model-to-model transformations -- 8.1 Model transformations and their classification -- 8.2 Exogenous, out-place transformations -- 8.3 Endogenous, in-place transformations -- 8.4 Mastering model transformations -- 9. Model-to-text transformations -- 9.1 Basics of model-driven code generation -- 9.2 Code generation through programming languages -- 9.3 Code generation through M2T transformation languages -- 9.4 Mastering code generation -- 9.5 Excursus: code generation through M2M transformations and TCS -- 10. Managing models -- 10.1 Model interchange -- 10.2 Model persistence -- 10.3 Model comparison -- 10.4 Model versioning -- 10.5 Model co-evolution -- 10.6 Global model management -- 10.7 Model quality -- 10.7.1 Verifying models -- 11. Summary -- Bibliography -- Authors' biographies. |
| Record Nr. | UNINA-9910149552903321 |
|
Brambilla Marco
|
||
| San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA), : Morgan & Claypool, c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Technologies: Applications and Foundations [[electronic resource] ] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer
| Software Technologies: Applications and Foundations [[electronic resource] ] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXXII, 472 p. 185 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Artificial intelligence Application software Mathematical logic Computer communication systems Software Engineering Logics and Meanings of Programs Artificial Intelligence Information Systems Applications (incl. Internet) Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-319-50230-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Practical and foundational advances in software technology -- Formal foundations of software technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven engineering, and tools. |
| Record Nr. | UNISA-996465490103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer
| Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXXII, 472 p. 185 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Artificial intelligence Application software Mathematical logic Computer communication systems Software Engineering Logics and Meanings of Programs Artificial Intelligence Information Systems Applications (incl. Internet) Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-319-50230-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Practical and foundational advances in software technology -- Formal foundations of software technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven engineering, and tools. |
| Record Nr. | UNINA-9910484291203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
