Author: Martina Seidl
Publisher: Springer
ISBN: 3319747304
Category : Computers
Languages : en
Pages : 435
Book Description
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions. The events whose papers are included in this volume are: BigMDE 2017: 5th International Workshop on Scalable Model Driven Engineering GCM 2017: 8th International Workshop on Graph Computation Models GRAND 2017: 1st International Workshop on Grand Challenges in Modeling MORSE 2017: 4th International Workshop on Model-driven Robot Software Engineering OCL 2017: 17th International Workshop in OCL and Textual Modeling STAF Projects Showcase 2017: 3rd event dedicated to international and national project dissemination and cooperation
Software Technologies: Applications and Foundations
Author: Martina Seidl
Publisher: Springer
ISBN: 3319747304
Category : Computers
Languages : en
Pages : 435
Book Description
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions. The events whose papers are included in this volume are: BigMDE 2017: 5th International Workshop on Scalable Model Driven Engineering GCM 2017: 8th International Workshop on Graph Computation Models GRAND 2017: 1st International Workshop on Grand Challenges in Modeling MORSE 2017: 4th International Workshop on Model-driven Robot Software Engineering OCL 2017: 17th International Workshop in OCL and Textual Modeling STAF Projects Showcase 2017: 3rd event dedicated to international and national project dissemination and cooperation
Publisher: Springer
ISBN: 3319747304
Category : Computers
Languages : en
Pages : 435
Book Description
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions. The events whose papers are included in this volume are: BigMDE 2017: 5th International Workshop on Scalable Model Driven Engineering GCM 2017: 8th International Workshop on Graph Computation Models GRAND 2017: 1st International Workshop on Grand Challenges in Modeling MORSE 2017: 4th International Workshop on Model-driven Robot Software Engineering OCL 2017: 17th International Workshop in OCL and Textual Modeling STAF Projects Showcase 2017: 3rd event dedicated to international and national project dissemination and cooperation
Software Technologies: Applications and Foundations
Author: Manuel Mazzara
Publisher: Springer
ISBN: 3030047717
Category : Computers
Languages : en
Pages : 669
Book Description
This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and selected from 120 submissions. The events whose papers are included in this volume are: CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical Systems DataMod 2018: 7th International Symposium From Data to Models and Back FMIS 2018: 7th International Workshop on Formal Methods for Interactive Systems FOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative Systems GCM 2018: 9th International Workshop on Graph Computation Models MDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems MSE 2018: 3rd International Workshop on Microservices: Science and Engineering SecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering
Publisher: Springer
ISBN: 3030047717
Category : Computers
Languages : en
Pages : 669
Book Description
This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and selected from 120 submissions. The events whose papers are included in this volume are: CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical Systems DataMod 2018: 7th International Symposium From Data to Models and Back FMIS 2018: 7th International Workshop on Formal Methods for Interactive Systems FOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative Systems GCM 2018: 9th International Workshop on Graph Computation Models MDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems MSE 2018: 3rd International Workshop on Microservices: Science and Engineering SecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering
Software Technologies: Applications and Foundations
Author: Paolo Milazzo
Publisher: Springer
ISBN: 3319502301
Category : Computers
Languages : en
Pages : 491
Book Description
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.
Publisher: Springer
ISBN: 3319502301
Category : Computers
Languages : en
Pages : 491
Book Description
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.
Software Technologies
Author: Pascal Lorenz
Publisher: Springer
ISBN: 331930142X
Category : Computers
Languages : en
Pages : 441
Book Description
This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015. The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; software engineering methods and techniques; distributed and mobile software systems.
Publisher: Springer
ISBN: 331930142X
Category : Computers
Languages : en
Pages : 441
Book Description
This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015. The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; software engineering methods and techniques; distributed and mobile software systems.
Tests and Proofs
Author: Wolfgang Ahrendt
Publisher: Springer Nature
ISBN: 3030509958
Category : Computers
Languages : en
Pages : 190
Book Description
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Publisher: Springer Nature
ISBN: 3030509958
Category : Computers
Languages : en
Pages : 190
Book Description
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Graph Transformation
Author: Maribel Fernández
Publisher: Springer Nature
ISBN: 303136709X
Category : Computers
Languages : en
Pages : 308
Book Description
This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023. The 14 full papers and 2 short papers presented in this book were carefully reviewed and selected from 29 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph transformation as well as tool presentation papers that demonstrate main new features and functionalities of graph-based tools.
Publisher: Springer Nature
ISBN: 303136709X
Category : Computers
Languages : en
Pages : 308
Book Description
This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023. The 14 full papers and 2 short papers presented in this book were carefully reviewed and selected from 29 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph transformation as well as tool presentation papers that demonstrate main new features and functionalities of graph-based tools.
Graph Transformation
Author: Fabio Gadducci
Publisher: Springer Nature
ISBN: 3030789462
Category : Computers
Languages : en
Pages : 311
Book Description
This book constitutes the refereed proceedings of the 14th International Conference on Graph Transformation, ICGT 2021, which took place virtually during June 24-25, 2021. The 14 full papers and 2 tool papers presented in this book were carefully reviewed and selected from 26 submissions. They deal with the following topics: theoretical advances; application domains; and tool presentations.
Publisher: Springer Nature
ISBN: 3030789462
Category : Computers
Languages : en
Pages : 311
Book Description
This book constitutes the refereed proceedings of the 14th International Conference on Graph Transformation, ICGT 2021, which took place virtually during June 24-25, 2021. The 14 full papers and 2 tool papers presented in this book were carefully reviewed and selected from 26 submissions. They deal with the following topics: theoretical advances; application domains; and tool presentations.
A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach
Author: Tassilo Horn
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832542914
Category : Computers
Languages : en
Pages : 475
Book Description
This thesis is about a new model querying and transformation approach called FunnyQT which is realized as a set of APIs and embedded domain-specific languages (DSLs) in the JVM-based functional Lisp-dialect Clojure. Founded on a powerful model management API, FunnyQT provides querying services such as comprehensions, quantified expressions, regular path expressions, logic-based, relational model querying, and pattern matching. On the transformation side, it supports the definition of unidirectional model-to-model transformations, of in-place transformations, it supports defining bidirectional transformations, and it supports a new kind of co-evolution transformations that allow for evolving a model together with its metamodel simultaneously. Several properties make FunnyQT unique. Foremost, it is just a Clojure library, thus, FunnyQT queries and transformations are Clojure programs. However, most higher-level services are provided as task-oriented embedded DSLs which use Clojure's powerful macro-system to support the user with tailor-made language constructs important for the task at hand. Since queries and transformations are just Clojure programs, they may use any Clojure or Java library for their own purpose, e.g., they may use some templating library for defining model-to-text transformations. Conversely, like every Clojure program, FunnyQT queries and transformations compile to normal JVM byte-code and can easily be called from other JVM languages. Furthermore, FunnyQT is platform-independent and designed with extensibility in mind. By default, it supports the Eclipse Modeling Framework and JGraLab, and support for other modeling frameworks can be added with minimal effort and without having to modify the respective framework's classes or FunnyQT itself. Lastly, because FunnyQT is embedded in a functional language, it has a functional emphasis itself. Every query and every transformation compiles to a function which can be passed around, given to higher-order functions, or be parametrized with other functions.
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832542914
Category : Computers
Languages : en
Pages : 475
Book Description
This thesis is about a new model querying and transformation approach called FunnyQT which is realized as a set of APIs and embedded domain-specific languages (DSLs) in the JVM-based functional Lisp-dialect Clojure. Founded on a powerful model management API, FunnyQT provides querying services such as comprehensions, quantified expressions, regular path expressions, logic-based, relational model querying, and pattern matching. On the transformation side, it supports the definition of unidirectional model-to-model transformations, of in-place transformations, it supports defining bidirectional transformations, and it supports a new kind of co-evolution transformations that allow for evolving a model together with its metamodel simultaneously. Several properties make FunnyQT unique. Foremost, it is just a Clojure library, thus, FunnyQT queries and transformations are Clojure programs. However, most higher-level services are provided as task-oriented embedded DSLs which use Clojure's powerful macro-system to support the user with tailor-made language constructs important for the task at hand. Since queries and transformations are just Clojure programs, they may use any Clojure or Java library for their own purpose, e.g., they may use some templating library for defining model-to-text transformations. Conversely, like every Clojure program, FunnyQT queries and transformations compile to normal JVM byte-code and can easily be called from other JVM languages. Furthermore, FunnyQT is platform-independent and designed with extensibility in mind. By default, it supports the Eclipse Modeling Framework and JGraLab, and support for other modeling frameworks can be added with minimal effort and without having to modify the respective framework's classes or FunnyQT itself. Lastly, because FunnyQT is embedded in a functional language, it has a functional emphasis itself. Every query and every transformation compiles to a function which can be passed around, given to higher-order functions, or be parametrized with other functions.
Tests and Proofs
Author: Virgile Prevosto
Publisher: Springer Nature
ISBN: 3031388283
Category : Philosophy
Languages : en
Pages : 202
Book Description
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.
Publisher: Springer Nature
ISBN: 3031388283
Category : Philosophy
Languages : en
Pages : 202
Book Description
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.
Tests and Proofs
Author: Jasmin Christian Blanchette
Publisher: Springer
ISBN: 331921215X
Category : Computers
Languages : en
Pages : 225
Book Description
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.
Publisher: Springer
ISBN: 331921215X
Category : Computers
Languages : en
Pages : 225
Book Description
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.