Formal and Practical Aspects of Domain-Specific Languages: Recent Developments

Formal and Practical Aspects of Domain-Specific Languages: Recent Developments PDF Author: Mernik, Marjan
Publisher: IGI Global
ISBN: 1466620935
Category : Computers
Languages : en
Pages : 678

Get Book Here

Book Description
"This book presents current research on all aspects of domain-specific language for scholars and practitioners in the software engineering fields, providing new results and answers to open problems in DSL research"--

Formal and Practical Aspects of Domain-Specific Languages: Recent Developments

Formal and Practical Aspects of Domain-Specific Languages: Recent Developments PDF Author: Mernik, Marjan
Publisher: IGI Global
ISBN: 1466620935
Category : Computers
Languages : en
Pages : 678

Get Book Here

Book Description
"This book presents current research on all aspects of domain-specific language for scholars and practitioners in the software engineering fields, providing new results and answers to open problems in DSL research"--

Formal and Practical Aspects of Domain-specific Languages

Formal and Practical Aspects of Domain-specific Languages PDF Author: Marjan Mernik
Publisher:
ISBN: 9781466620940
Category : Domain-specific programming languages
Languages : en
Pages : 351

Get Book Here

Book Description
"This book presents current research on all aspects of domain-specific language for scholars and practitioners in the software engineering fields, providing new results and answers to open problems in DSL research"--

Human-Computer Interaction. User Interface Design, Development and Multimodality

Human-Computer Interaction. User Interface Design, Development and Multimodality PDF Author: Masaaki Kurosu
Publisher: Springer
ISBN: 331958071X
Category : Computers
Languages : en
Pages : 747

Get Book Here

Book Description
The two-volume set LNCS 10271 and 10272 constitutes the refereed proceedings of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017. The total of 1228 papers presented at the 15 colocated HCII 2017 conferences was carefully reviewed and selected from 4340 submissions. The papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. They cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The papers included in this volume cover the following topics: HCI theory and education; HCI, innovation and technology acceptance; interaction design and evaluation methods; user interface development; methods, tools, and architectures; multimodal interaction; and emotions in HCI.

Information System Development

Information System Development PDF Author: María José Escalona
Publisher: Springer
ISBN: 3319072153
Category : Computers
Languages : en
Pages : 536

Get Book Here

Book Description
Information System Development—Improving Enterprise Communication are the collected proceedings of the 22nd International Conference on Information Systems Development: Improving Enterprise Communication—ISD 2013 Conference, held in Seville, Spain. It follows in the tradition of previous conferences in the series in exploring the connections between industry, research and education. These proceedings represent ongoing reflections within the academic community on established information systems topics and emerging concepts, approaches and ideas. It is hoped that the papers herein contribute towards disseminating research and improving practice. The conference tracks highlighted at the 22nd International Conference on Information Systems Development (ISD 2013) were: Applications Data and Ontologies End Users Enterprise Evolution Industrial cases in ISD Intelligent Business Process Management Model Driven Engineering in ISD New Technologies Process Management Quality

Domain-Specific Conceptual Modeling

Domain-Specific Conceptual Modeling PDF Author: Dimitris Karagiannis
Publisher: Springer Nature
ISBN: 3030935477
Category : Computers
Languages : en
Pages : 643

Get Book Here

Book Description
This book demonstrates the significance of domain-specific conceptual modeling through new research and development approaches that are manifested in each of the chapters. They include novel modelling methods and tools that emphasize the recent results accomplished and their adequacy to assess specific aspects of a domain. Each chapter offers detailed instructions on how to build models in a particular domain, such as product-service engineering, enterprise engineering, digital business ecosystems, and enterprise modelling and capability management. All chapters are enriched with case studies, related information, and tool implementations. The tools are based on the ADOxx metamodelling platform and are provided free of charge via OMiLAB. Furthermore, the book emphasizes possible future developments and potential research directions. The collection of works presented here will benefit experts and practitioners from academia and industry alike, including members of the conceptual modeling community as well as lecturers and students.

Handbook of Research on Innovations in Systems and Software Engineering

Handbook of Research on Innovations in Systems and Software Engineering PDF Author: Díaz, Vicente García
Publisher: IGI Global
ISBN: 146666360X
Category : Computers
Languages : en
Pages : 853

Get Book Here

Book Description
Professionals in the interdisciplinary field of computer science focus on the design, operation, and maintenance of computational systems and software. Methodologies and tools of engineering are utilized alongside the technological advancements of computer applications to develop efficient and precise databases of information. The Handbook of Research on Innovations in Systems and Software Engineering combines relevant research from all facets of computer programming to provide a comprehensive look at the challenges and changes in the field. With information spanning topics such as design models, cloud computing, and security, this handbook is an essential reference source for academicians, researchers, practitioners, and students interested in the development and design of improved and effective technologies.

Using Technology Tools to Innovate Assessment, Reporting, and Teaching Practices in Engineering Education

Using Technology Tools to Innovate Assessment, Reporting, and Teaching Practices in Engineering Education PDF Author: Alam, Firoz
Publisher: IGI Global
ISBN: 1466650125
Category : Education
Languages : en
Pages : 409

Get Book Here

Book Description
Many can now conclude that utilizing educational technologies can be considered the primary tools to inspire students to learn. Combining these technologies with the best teaching and learning practices can engage in creativity and imagination in the engineering field. Using Technology Tools to Innovate Assessment, Reporting, and Teaching Practices in Engineering Education highlights the lack of understanding of teaching and learning with technology in higher education engineering programs while emphasizing the important use of this technology. This book aims to be essential for professors, graduate, and undergraduate students in the engineering programs interested learning the appropriate use of technological tools.

Model-Driven Engineering Languages and Systems

Model-Driven Engineering Languages and Systems PDF Author: Juergen Dingel
Publisher: Springer
ISBN: 3319116533
Category : Computers
Languages : en
Pages : 712

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web computing, model transformation behavioral modeling, MDE: past, present, future, formal semantics, specification, and verification, models at runtime, feature and variability modeling, composition and adaptation, practices and experience, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems PDF Author: Jorge A. Pérez
Publisher: Springer
ISBN: 3030217590
Category : Computers
Languages : en
Pages : 308

Get Book Here

Book Description
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems PDF Author: Susanne Graf
Publisher: Springer
ISBN: 3319191950
Category : Computers
Languages : en
Pages : 250

Get Book Here

Book Description
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.