Visual Languages and Applications


Book Description

Visual languages have long been a pursuit of effective communication between human and machine. With rapid advances of the Internet and Web technology, human-human communication through the Web or electronic mobile devices is becoming more and more prevalent. Visual Languages and Applications is a comprehensive introduction to diagrammatical visual languages. This book discusses what visual programming languages are, and how such languages and their underlying foundations can be usefully applied to other fields in computer science. It also covers a broad range of contents from the underlying theory of graph grammars to the applications in various domains. Pointers to related topics and further readings are provided as well. Visual Languages and Applications is designed as a secondary text book for upper-undergraduate-level students and graduate-level students in computer science and engineering. This volume is also suitable for practitioners and researchers in industry as a professional book.




Foundation and Applications of Visual Languages


Book Description

With the facility for spatial specifications, the SGG is used to analyze Web pages and derive a hierarchical structure about the composition of multimedia objects in a Web page. Based on the extracted structure, the original Web page is partitioned to fit both spatially and semantically for displaying on mobile devices. The SGG also serves as a foundation for a grammatical approach to authoring and presenting adaptive structure-directed layouts, emphasizing on the style adaptation.




Visual Language Theory


Book Description

A broad-ranging survey of our current understanding of visual languages and their theoretical foundations. Its main focus is the definition, specification, and structural analysis of visual languages by grammars, logic, and algebraic methods and the use of these techniques in visual language implementation. Researchers in formal language theory, HCI, artificial intelligence, and computational linguistics will all find this an invaluable guide to the current state of research in the field.




Modelling Foundations and Applications


Book Description

This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 19 papers presented in this volume were carefully reviewed and selected from 45 submissions. The cover topics such as (bidirectional and unidirectional) model transformations, model management, re-engineering, modelling environments, verification and validation, and domain-specific modelling w.r.t. business processes, automotive software, and safety-critical software.




Modelling Foundations and Applications


Book Description

This book constitutes the proceedings of the 6th European Conference on Modelling Foundations and Applications, held in Paris, France, in June 2010.




Visual Languages and Applications


Book Description

The interface between the user of a computer-based information system and the system itself has been evolving at a rapid rate. The use of a video screen, with its color and graphics capabilities, has been one factor in this evolution. The development of light pens, mice, and other screen image manipulation devices has been another. With these capabilities has come a natural desire to find more effective ways to make use of them. In particular, much work has gone into the development of interface systems that add visual elements such as icons and graphics to text. The desire to use these visual elements effectively in communication between the user and the system has resulted in a healthy competition of ideas and discussion of the principles governing the development and use of such elements. The present volume chronicles some of the more significant ideas that have recently been presented. The first volume in this series on the subject [Visual Languages (Chang, Ichikawa, and Ligomenides, eds. ), Plenum, 1986] covered work done in the early days of the field of visual languages. Here we represent ideas that have grown out of that early work, arranged in six sections: Theory, Design Systems, Visual Programming, Algorithm Animation, Simulation Animation, and Applications. I THEORY Fundamental to the concept of visual languages is the convIctIOn that diagrams and other visual representations can aid understanding and communication of ideas. We begin this volume with a chapter by Fanya S.







Formal Methods: Foundations and Applications


Book Description

This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area




Model Driven Architecture - Foundations and Applications


Book Description

The fourth edition of the European Conference on Model-Driven Architecture – Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology. MDA is an initiative proposed by the - ject Management Group (OMG) for platform-generic software development. It promotes the use of models in the speci?cation, design, analysis, synthesis, - ployment, and evolution of complex software systems. ECMDA-FA 2008 focused on engaging key European and international - searchers and practitioners in a dialogue which will result in a stronger, more e?cientindustry,producingmorereliablesoftwareonthebasisofstate-of-the-art research results. ECMDA-FA is a forum for exchanging information, discussing the latest results and arguing about future developments of MDA. It is a pleasure to be able to introduce the proceedings of ECMDA-FA 2008. ECMDA-FA addresses various MDA areas including model management, e- cutable models, concrete syntaxes, aspects and concerns, validation and te- ing, model-based systems engineering, model-driven development and servi- oriented architectures, and the application of model-driven development. Therearesomanypeople whodeservewarmthanksandgratitude.The fru- ful collaboration of the Organization, Steering and Program Committee m- bersandthevibrantcommunityledtoasuccessfulconference:ECMDA-FA2008 obtainedexcellentresultsintermsofsubmissions,programsize,andattendance. The Program Committee accepted, with the help of additional reviewers, research papers and industry papers for ECMDA-FA 2008: We received 87 s- missions. Of these, a total of 31 were accepted including 21 research papers and 10 industry papers. We thank them for the thorough and high-quality selection process.




Formal Methods: Foundations and Applications


Book Description

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.