You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Published in association with ELIG, the aim of this new book series is to focus on key trends and innovations - pedagogic, technological, and commercial - which are either impacting, or have the potential to impactm the ways in which digital learning and education is understood, developed and delivered within academic, public and private sectors.
This book constitutes the refereed proceedings of the 12th International IFIP WG 2.13 International Conference on Open Source Systems, OSS 2016, held in Gothenburg, Sweden, in May/June 2016. The 13 revised full papers presented were carefully reviewed and selected from 38 submissions. The papers cover a wide range of topics related to free, libre, and open source software, including: organizational aspects of communities; organizational adoption; participation of women; software maintenance and evolution; open standards and open data; collaboration; hybrid communities; code reviews; and certification.
Provides cost effective and sustainable learning procedures vital to ensuring long term success for both teacher and student; covers the latest research and findings in relation to best practice examples and case studies.
This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software Certification, held in Thessaloniki, Greece, in October 2012. The total of 14 regular papers and 7 short papers included in this volume were carefully reviewed and selected from 35 submissions. The papers cover the topics related to the use of Information and Communication Technology (ICT) and Open Source Software (OSS) as tools to foster and support Education, Innovation and Sustainability.
Welcome to the 5th International Conference on Open Source Systems! It is quite an achievement to reach the five-year mark – that’s the sign of a successful enterprise. This annual conference is now being recognized as the primary event for the open source research community, attracting not only high-quality papers, but also building a community around a technical program, a collection of workshops, and (starting this year) a Doctoral Consortium. Reaching this milestone reflects the efforts of many people, including the conference founders, as well as the organizers and participants in the previous conferences. My task has been easy, and has been greatly aided by the hard work of Kevin C...
Inhaltsangabe:Abstract: Language learning software has been available on the market for a couple of years. So far the most common form of delivering the product is a CD-Rom. The Internet offers not only the possibility to deliver this product in an immaterial way, but also to add new features to it. The goal of the thesis is to find out, which additional features an online offered language learning software must possess, to satisfy the needs of the customer. This task is part of the so called new product development process. It is a very complex process and refers to all departments of a company, even though, for a long time it has been considered to be only the job of the R & D department. ...
This book constitutes the refereed proceedings of the 8th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2012, held in Hammamet, Tunisia, in September 2012. The 15 revised full papers presented together with 17 lightning talks, 2 tool demonstration papers, 6 short industry papers, 5 posters and 2 workshop papers were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on collaboration and forks in OSS projects, community issues, open education and peer-production models, integration and architecture, business ecosystems, adoption and evolution of OSS, OSS quality, OSS in different domains, product development, and industrial experiences.
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.
Covers Wireless Technologies for the Extended Enterprise; E-Service Environments: Aspect-Oriented Techniques and Mobile Devices; and AutoMoCo: Autonomic Computing and Mobile Commerce.