Download or read book On the Automated Derivation of Domain Specific UML Profiles written by Alexander Kraas and published by University of Bamberg Press. This book was released on 2019-07-15 with total page 381 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Testing of Software and Communicating Systems written by Kenji Suzuki and published by Springer. This book was released on 2008-06-06 with total page 313 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.

Download or read book Blended learning environments to foster self directed learning written by Christo van der Westhuizen and published by AOSIS. This book was released on 2023-03-31 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book on blended learning environments to foster self-directed learning highlights the focus on research conducted in several teaching and learning contexts where blended learning had been implemented and focused on the fostering of self-directed learning. Several authors have contributed to the book, and each chapter provides a unique perspective on blended learning and self-directed learning research. From each chapter, it becomes evident that coherence on the topics mentioned is established. One of the main aspects drawn in this book, and addressed by several authors in the book, is the use of the Community of Inquiry (CoI) framework when implementing teaching and learning strategies in blended learning environments to foster self-directed learning. This notion of focusing on the CoI framework is particularly evident in both theoretical and empirical dissemination presented in this book. What makes this book unique is the fact that researchers and peers in varied fields would benefit from the findings presented by each chapter, albeit theoretical, methodological or empirical in nature – this, in turn, provides opportunities for future research endeavours to further the narrative of how blended learning environments can be used to foster self-directed learning.

Download or read book Embedded Systems Design Analysis and Verification written by Gunar Schirner and published by Springer. This book was released on 2013-06-13 with total page 368 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non-functional aspects of embedded systems; verification; performance analysis; real-time systems; embedded system applications; and real-time aspects in distributed systems. The book also includes a special chapter dedicated to the BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.

Download or read book Trends in Computer Science Engineering and Information Technology written by Dhinaharan Nagamalai and published by Springer. This book was released on 2011-10-13 with total page 753 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the First International Conference on Computer Science, Engineering and Information Technology, CCSEIT 2011, held in Tirunelveli, India, in September 2011. The 73 revised full papers were carefully reviewed and selected from more than 400 initial submissions. The papers feature significant contributions to all major fields of the Computer Science and Information Technology in theoretical and practical aspects.

Download or read book Problem based learning and pedagogies of play written by Marietjie Havenga and published by AOSIS. This book was released on 2023-08-22 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt: The focus of this book is original research regarding the implementation of problem-based learning and pedagogies of play as active approaches to foster self-directed learning. With the Fourth Industrial Revolution (4IR) in mind, educational institutions need to rethink teaching and learning for the future. As such, active engagement can be encouraged, as evident in this book, where problem-based learning drives learning through real-world problems, while pedagogy of play focuses on innovative environments where the action of play and learning are integrated with the aim of developing SDL. The following are addressed in the chapters: an overview of problem-based learning and pedagogy of play, metaliteracy, playful problem-based learning tasks, computational thinking in game-based tasks and geometry, solving puzzles, applying LEGO®, using drama as the pedagogy of play and implementing educational robotics. The empirical research findings disseminated in this book aim to inspire academics in the research focus area of self-directed learning with active learning approaches in the school and tertiary classroom that hold affordances to enhance 21st-century skills. Active learning is an umbrella term for pedagogies that mainstream student engagement, such as problem-based learning, cooperative learning, gamification, role-play and drama. This scholarly book highlights various engaging pedagogies.

Download or read book Topics in Language Resources for Translation and Localisation written by Elia Yuste Rodrigo and published by John Benjamins Publishing. This book was released on 2008-11-12 with total page 237 pages. Available in PDF, EPUB and Kindle. Book excerpt: Language Resources (LRs) are sets of language data and descriptions in machine readable form, such as written and spoken language corpora, terminological databases, computational lexica and dictionaries, and linguistic software tools. Over the past few decades, mainly within research environments, LRs have been specifically used to create, optimise or evaluate natural language processing (NLP) and human language technologies (HLT) applications, including translation-related technologies. Gradually the infrastructures and exploitation tools of LRs are being perceived as core resources in the language services industries and in localisation production settings. However, some efforts ought yet to be made to raise further awareness about LRs in general, and LRs for translation and localisation in particular to a wider audience in all corners of the world. Topics in Language Resources for Translation and Localisation sets out to establish the state of the art of this ever expanding field and underscores the usefulness that LRs can potentially have in the process of creating, adapting, managing, standardising and leveraging content for more than one language and culture from various perspectives.

Download or read book Routledge Encyclopedia of Translation Technology written by Chan Sin-wai and published by Taylor & Francis. This book was released on 2023-04-26 with total page 877 pages. Available in PDF, EPUB and Kindle. Book excerpt: Routledge Encyclopedia of Translation Technology, second edition, provides a state-of-the-art survey of the field of computer-assisted translation. It is the first definitive reference to provide a comprehensive overview of the general, regional, and topical aspects of this increasingly significant area of study. The Encyclopedia is divided into three parts: Part 1 presents general issues in translation technology, such as its history and development, translator training, and various aspects of machine translation, including a valuable case study of its teaching at a major university; Part 2 discusses national and regional developments in translation technology, offering contributions covering the crucial territories of China, Canada, France, Hong Kong, Japan, South Africa, Taiwan, the Netherlands and Belgium, the United Kingdom, and the United States; Part 3 evaluates specific matters in translation technology, with entries focused on subjects such as alignment, concordancing, localization, online translation, and translation memory. The new edition has five additional chapters, with many chapters updated and revised, drawing on the expertise of over 50 contributors from around the world and an international panel of consultant editors to provide a selection of chapters on the most pertinent topics in the discipline. All the chapters are self-contained, extensively cross-referenced, and include useful and up-to-date references and information for further reading. It will be an invaluable reference work for anyone with a professional or academic interest in the subject.

Download or read book SDL 2013 Model Driven Dependability Engineering written by Ferhat Khendek and published by Springer. This book was released on 2013-06-12 with total page 302 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.

Download or read book The Routledge International Handbook of Posttraumatic Growth written by Roni Berger and published by Taylor & Francis. This book was released on 2023-12-08 with total page 544 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Routledge International Handbook of Posttraumatic Growth offers a rich covering of approaches to different traumatic and stressful experiences in relation to posttraumatic growth (PTG). This handbook explores the benefits that individuals, couples, families, organizations, and communities can experience following the struggle with highly stressful and potentially traumatic events. Split into seven parts and written by a diverse international team of multidisciplinary contributors who provide a comprehensive overview of PTG, topics include religious and spiritual aspects of PTG, gender in PTG, PTG in LGBTQ+, perinatal bereavement, and more. The Routledge International Handbook of Posttraumatic Growth represents an essential resource for students, researchers, and professionals, including social workers, psychologists, nurses, mental health counselors, and psychiatrists. Chapter 1 of this book is freely available as a downloadable Open Access PDF at http://www.taylorfrancis.com under a Creative Commons [Attribution-Non Commercial-No Derivatives (CC-BY-NC-ND)] 4.0 license

Download or read book Domain Specific Languages in Practice written by Antonio Bucchiarone and published by Springer Nature. This book was released on 2021-06-24 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book covers several topics related to domain-specific language (DSL) engineering in general and how they can be handled by means of the JetBrains Meta Programming System (MPS), an open source language workbench developed by JetBrains over the last 15 years. The book begins with an overview of the domain of language workbenches, which provides perspectives and motivations underpinning the creation of MPS. Moreover, technical details of the language underneath MPS together with the definition of the tool’s main features are discussed. The remaining ten chapters are then organized in three parts, each dedicated to a specific aspect of the topic. Part I “MPS in Industrial Applications” deals with the challenges and inadequacies of general-purpose languages used in companies, as opposed to the reasons why DSLs are essential, together with their benefits and efficiency, and summarizes lessons learnt by using MPS. Part II about “MPS in Research Projects” covers the benefits of text-based languages, the design and development of gamification applications, and research fields with generally low expertise in language engineering. Eventually, Part III focuses on “Teaching and Learning with MPS” by discussing the organization of both commercial and academic courses on MPS. MPS is used to implement languages for real-world use. Its distinguishing feature is projectional editing, which supports practically unlimited language extension and composition possibilities as well as a flexible mix of a wide range of textual, tabular, mathematical and graphical notations. The number and diversity of the presented use-cases demonstrate the strength and malleability of the DSLs defined using MPS. The selected contributions represent the current state of the art and practice in using JetBrains MPS to implement languages for real-world applications.

Download or read book Report on Currency and Finance written by Reserve Bank of India and published by . This book was released on 1992 with total page 756 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Software Engineering and Computer Systems Part I written by Jasni Mohamad Zain and published by Springer. This book was released on 2011-06-28 with total page 789 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Three-Volume-Set constitutes the refereed proceedings of the Second International Conference on Software Engineering and Computer Systems, ICSECS 2011, held in Kuantan, Malaysia, in June 2011. The 190 revised full papers presented together with invited papers in the three volumes were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on software engineering; network; bioinformatics and e-health; biometrics technologies; Web engineering; neural network; parallel and distributed; e-learning; ontology; image processing; information and data management; engineering; software security; graphics and multimedia; databases; algorithms; signal processing; software design/testing; e- technology; ad hoc networks; social networks; software process modeling; miscellaneous topics in software engineering and computer systems.

Download or read book Advanced Information Systems Engineering written by Camille Salinesi and published by Springer. This book was released on 2013-06-20 with total page 735 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 25th International Conference on Advanced Information Systems Engineering, CAiSE 2013, held in Valencia, Spain, in June 2013. The 44 revised full papers were carefully reviewed and selected from 162 submissions. The contributions have been grouped into the following topical sections: services; awareness; business process execution; products; business process modelling; modelling languages and meta models; requirements engineering 1; enterprise architecture; information systems evolution; mining and predicting; data warehouses and business intelligence; requirements engineering 2; knowledge and know-how; information systems quality; and human factors.

Download or read book Self Directed Learning for the 21st Century Implications for Higher Education written by Elsa Mentz and published by AOSIS. This book was released on 2019-12-12 with total page 274 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is devoted to scholarship in the field of self-directed learning in the 21st century, with specific reference to higher education. The target audience of the book includes scholars in the field of self-directed learning and higher education. The book contributes to the discourse on the quality of education in the 21st century and adds to the body of scholarship in terms of self-directed learning, and specifically its role in higher education. Although all the chapters in the book directly address self-directed learning, the different foci and viewpoints raised make the book a rich knowledge bank of work on self-directed learning.

Download or read book Formal Languages for Computer Simulation Transdisciplinary Models and Applications written by Fonseca i Casas, Pau and published by IGI Global. This book was released on 2013-07-31 with total page 458 pages. Available in PDF, EPUB and Kindle. Book excerpt: Models and simulations are an important first step in developing computer applications to solve real-world problems. However, in order to be truly effective, computer programmers must use formal modeling languages to evaluate these simulations. Formal Languages for Computer Simulation: Transdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation. This book will explore different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems.

Download or read book Technological Challenges written by Carolina Machado and published by Springer Nature. This book was released on 2022-04-27 with total page 194 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book discusses and exchanges information on principles, strategies, models, techniques, methodologies and applications of technological challenges in a digital era. It helps the reader to develop the skills required in the digital age and to acquire the knowledge and know-how necessary to drive their organizations to success. This book presents contributions that are exceptional in terms of theory and/or practice in the area of human resources management, technological management, digital age, creativity, technological innovation, organizational innovation, business analytics and flexibility.