Author: Jan Janech
Publisher: Springer
ISBN: 331946535X
Category : Technology & Engineering
Languages : en
Pages : 401
Book Description
This book presents the proceedings of the International Conference SDOT which was organized at the University in Žilina, Faculty of Management Sciences and Informatics, Slovak Republic in November 19, 2015. The conference was truly international both in terms of the amount of foreign contributions and in terms of composition of steering and scientific committees. The book and the conference serves as a platform of professional exchange of knowledge and experience for the latest trends in software development and object-oriented technologies (theory and practice). This proceedings present information on the latest developments and mediate the exchange of experience between practitioners and academia.
Proceedings of the 2015 Federated Conference on Software Development and Object Technologies
Author: Jan Janech
Publisher: Springer
ISBN: 331946535X
Category : Technology & Engineering
Languages : en
Pages : 401
Book Description
This book presents the proceedings of the International Conference SDOT which was organized at the University in Žilina, Faculty of Management Sciences and Informatics, Slovak Republic in November 19, 2015. The conference was truly international both in terms of the amount of foreign contributions and in terms of composition of steering and scientific committees. The book and the conference serves as a platform of professional exchange of knowledge and experience for the latest trends in software development and object-oriented technologies (theory and practice). This proceedings present information on the latest developments and mediate the exchange of experience between practitioners and academia.
Publisher: Springer
ISBN: 331946535X
Category : Technology & Engineering
Languages : en
Pages : 401
Book Description
This book presents the proceedings of the International Conference SDOT which was organized at the University in Žilina, Faculty of Management Sciences and Informatics, Slovak Republic in November 19, 2015. The conference was truly international both in terms of the amount of foreign contributions and in terms of composition of steering and scientific committees. The book and the conference serves as a platform of professional exchange of knowledge and experience for the latest trends in software development and object-oriented technologies (theory and practice). This proceedings present information on the latest developments and mediate the exchange of experience between practitioners and academia.
Implicit Incremental Model Analyses and Transformations
Author: Hinkel, Georg
Publisher: KIT Scientific Publishing
ISBN: 3731507633
Category : Computers
Languages : en
Pages : 498
Book Description
When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC).
Publisher: KIT Scientific Publishing
ISBN: 3731507633
Category : Computers
Languages : en
Pages : 498
Book Description
When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC).
Information and Software Technologies
Author: Giedre Dregvaite
Publisher: Springer
ISBN: 3319462547
Category : Computers
Languages : en
Pages : 771
Book Description
This book constitutes the refereed proceedings of the 22nd International Conference on Information and Software Technologies, ICIST 2016, held in Druskininkai, Lithuania, in October 2016. The 61 papers presented were carefully reviewed and selected from 158 submissions. The papers are organized in topical sections on information systems; business intelligence for information and software systems; software engineering; information technology applications.
Publisher: Springer
ISBN: 3319462547
Category : Computers
Languages : en
Pages : 771
Book Description
This book constitutes the refereed proceedings of the 22nd International Conference on Information and Software Technologies, ICIST 2016, held in Druskininkai, Lithuania, in October 2016. The 61 papers presented were carefully reviewed and selected from 158 submissions. The papers are organized in topical sections on information systems; business intelligence for information and software systems; software engineering; information technology applications.
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.
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.
High-Level Models of Unconventional Computations
Author: Andrew Schumann
Publisher: Springer
ISBN: 3319917730
Category : Technology & Engineering
Languages : en
Pages : 184
Book Description
This book shows that the plasmodium of Physarum polycephalum can be considered a natural labelled transition system, and based on this, it proposes high-level programming models for controlling the plasmodium behaviour. The presented programming is a form of pure behaviourism: the authors consider the possibility of simulating all basic stimulus–reaction relations. As plasmodium is a good experimental medium for behaviouristic models, the book applies the programming tools for modelling plasmodia as unconventional computers in different behavioural sciences based on studying the stimulus–reaction relations. The authors examine these relations within the framework of a bio-inspired game theory on plasmodia they have developed i.e. within an experimental game theory, where, on the one hand, all basic definitions are verified in experiments with Physarum polycephalum and Badhamia utricularis and, on the other hand, all basic algorithms are implemented in the object-oriented language for simulations of plasmodia. The results allow the authors to propose that the plasmodium can be a model for concurrent games and context-based games.
Publisher: Springer
ISBN: 3319917730
Category : Technology & Engineering
Languages : en
Pages : 184
Book Description
This book shows that the plasmodium of Physarum polycephalum can be considered a natural labelled transition system, and based on this, it proposes high-level programming models for controlling the plasmodium behaviour. The presented programming is a form of pure behaviourism: the authors consider the possibility of simulating all basic stimulus–reaction relations. As plasmodium is a good experimental medium for behaviouristic models, the book applies the programming tools for modelling plasmodia as unconventional computers in different behavioural sciences based on studying the stimulus–reaction relations. The authors examine these relations within the framework of a bio-inspired game theory on plasmodia they have developed i.e. within an experimental game theory, where, on the one hand, all basic definitions are verified in experiments with Physarum polycephalum and Badhamia utricularis and, on the other hand, all basic algorithms are implemented in the object-oriented language for simulations of plasmodia. The results allow the authors to propose that the plasmodium can be a model for concurrent games and context-based games.
Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery
Author: Stanisław Kozielski
Publisher: Springer
ISBN: 3319340999
Category : Computers
Languages : en
Pages : 744
Book Description
This book constitutes the refereed proceedings of the 12th International Conference entitled Beyond Databases, Architectures and Structures, BDAS 2016, held in Ustroń, Poland, in May/June 2016. It consists of 57 carefully reviewed papers selected from 152 submissions. The papers are organized in topical sections, namely artificial intelligence, data mining and knowledge discovery; architectures, structures and algorithms for efficient data processing; data warehousing and OLAP; natural language processing, ontologies and semantic Web; bioinformatics and biomedical data analysis; data processing tools; novel applications of database systems.
Publisher: Springer
ISBN: 3319340999
Category : Computers
Languages : en
Pages : 744
Book Description
This book constitutes the refereed proceedings of the 12th International Conference entitled Beyond Databases, Architectures and Structures, BDAS 2016, held in Ustroń, Poland, in May/June 2016. It consists of 57 carefully reviewed papers selected from 152 submissions. The papers are organized in topical sections, namely artificial intelligence, data mining and knowledge discovery; architectures, structures and algorithms for efficient data processing; data warehousing and OLAP; natural language processing, ontologies and semantic Web; bioinformatics and biomedical data analysis; data processing tools; novel applications of database systems.
Information Technology for Management: New Ideas and Real Solutions
Author: Ewa Ziemba
Publisher: Springer
ISBN: 3319530763
Category : Computers
Languages : en
Pages : 251
Book Description
This book constitutes revised selected papers from the 14th Conference on Advanced Information Technologies for Management, AITM 2016, and the 11th Conference on Information Systems Management, ISM 2016, held as part of the Federated Conference on Computer Science and Information Systems, FedCSIS, which took place in Gdansk, Poland, in September 2016. The 13 papers presented in this volume were carefully reviewed and selected from 51 submissions. They were organized in topical sections named: information technology and systems for knowledge management; information technology and systems for business transformation; and implementation and evaluation of information systems.
Publisher: Springer
ISBN: 3319530763
Category : Computers
Languages : en
Pages : 251
Book Description
This book constitutes revised selected papers from the 14th Conference on Advanced Information Technologies for Management, AITM 2016, and the 11th Conference on Information Systems Management, ISM 2016, held as part of the Federated Conference on Computer Science and Information Systems, FedCSIS, which took place in Gdansk, Poland, in September 2016. The 13 papers presented in this volume were carefully reviewed and selected from 51 submissions. They were organized in topical sections named: information technology and systems for knowledge management; information technology and systems for business transformation; and implementation and evaluation of information systems.
Proceeding of the International Science and Technology Conference "FarEastСon 2019"
Author: Denis B. Solovev
Publisher: Springer Nature
ISBN: 9811522448
Category : Technology & Engineering
Languages : en
Pages : 1010
Book Description
This book presents the proceedings of the International Science and Technology Conference “FarEastCon 2019,” which took place on October 1–4, 2019, in Vladivostok, Russian Federation. The conference provided a platform for gathering expert opinions on projects and initiatives aimed at the implementation of far-sighted scientific research and development, and allowed current theoretical and practical advances to be shared with the broader research community. Featuring selected papers from the conference, this book will be of interest to experts in various fields whose work involves developing innovative solutions and increasing the efficiency of economic activities.
Publisher: Springer Nature
ISBN: 9811522448
Category : Technology & Engineering
Languages : en
Pages : 1010
Book Description
This book presents the proceedings of the International Science and Technology Conference “FarEastCon 2019,” which took place on October 1–4, 2019, in Vladivostok, Russian Federation. The conference provided a platform for gathering expert opinions on projects and initiatives aimed at the implementation of far-sighted scientific research and development, and allowed current theoretical and practical advances to be shared with the broader research community. Featuring selected papers from the conference, this book will be of interest to experts in various fields whose work involves developing innovative solutions and increasing the efficiency of economic activities.
Current Trends in Communication and Information Technologies
Author: Petro Vorobiyenko
Publisher: Springer Nature
ISBN: 3030763439
Category : Technology & Engineering
Languages : en
Pages : 451
Book Description
This book highlights the most important research areas in Information and Communication Technologies as well as research in fields of telecommunication system characteristics at the physical level, deep discussion of telecommunication traffic and its performance indicators, studying of information systems technological parameters, review of public and special applications of information technologies. The book includes strictly selected results of the most interesting scientific research presented at the 10th International Conference “Infocommunications – Present and Future” (IPF’2020) that was held in Odesa, Ukraine. The respective chapters share in-depth and extended results in these areas with a view to resolving practically relevant and challenging issues including: 1. research of telecommunication system characteristics at the physical level: the discussion of various aspects of the signal transmission quality indicators analysis for solving practically important issues in telecommunication systems; 2. research of telecommunication traffic and its performance indicators: the significant aspects of research for forecasting of services characteristics of telecommunication systems; 3.research of information systems technological parameters: the discission of some effective technological solutions that can be used for the implementation of novel systems; 4. research of public and special applications of information technologies: the discussion of the various aspects of scientific and educational applications, etc. These results can be used in the implementation of novel systems and to promote the exchange of information in e-societies. Given its scope, the book offers a valuable resource for scientists, lecturers, specialists working at enterprises, graduate and undergraduate students who engage with problems in Information and Communication Technologies as well as Radio Electronics.
Publisher: Springer Nature
ISBN: 3030763439
Category : Technology & Engineering
Languages : en
Pages : 451
Book Description
This book highlights the most important research areas in Information and Communication Technologies as well as research in fields of telecommunication system characteristics at the physical level, deep discussion of telecommunication traffic and its performance indicators, studying of information systems technological parameters, review of public and special applications of information technologies. The book includes strictly selected results of the most interesting scientific research presented at the 10th International Conference “Infocommunications – Present and Future” (IPF’2020) that was held in Odesa, Ukraine. The respective chapters share in-depth and extended results in these areas with a view to resolving practically relevant and challenging issues including: 1. research of telecommunication system characteristics at the physical level: the discussion of various aspects of the signal transmission quality indicators analysis for solving practically important issues in telecommunication systems; 2. research of telecommunication traffic and its performance indicators: the significant aspects of research for forecasting of services characteristics of telecommunication systems; 3.research of information systems technological parameters: the discission of some effective technological solutions that can be used for the implementation of novel systems; 4. research of public and special applications of information technologies: the discussion of the various aspects of scientific and educational applications, etc. These results can be used in the implementation of novel systems and to promote the exchange of information in e-societies. Given its scope, the book offers a valuable resource for scientists, lecturers, specialists working at enterprises, graduate and undergraduate students who engage with problems in Information and Communication Technologies as well as Radio Electronics.