Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book reports on a novel and comprehensive approach to the uptake of ICT in Schools. It focuses on key questions, pedagogically sound ways of introducing ICT, new technical artifacts supporting the approach, the evaluation in a large-scale validator, and future work. While many innovations in Technology Enhanced Learning (TEL) have emerged over the last two decades, the uptake of these innovations has not always been very successful, particularly in schools. The transition from proof of concept to integration into learning activities has been recognized as a bottleneck for quite some time. This major problem, which is affecting many TEL stakeholders, is the focus of this book which focuses on developing a more effective and efficient approach based on more than 2500 pilots in European classrooms.Teachers, head teachers, and policy makers may benefit from reading how novel learning scenarios can be elaborated, adapted to a local context, and implemented in the classroom; how new technologies can support this process for teachers and their national/regional communities; how teachers and other stakeholders can be educated in such a re-engineering process; how the approach can be scaled up through MOOCs, ambassador schemes, and train-the-trainer programs; how future classroom labs can inspire teachers, head teachers, and policy makers; how teachers and, above all, learners can become more engaged in learning through the adoption of the iTEC approach.Readers with a more technical focus may also be interested in the discussion of recommender systems, the flexible provision of resources and services, the deployment of the cloud in schools, and systems for composing technological support for lesson plans.

Information Systems and Communication Service --- Education, general

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions and their stakeholders as complex adaptive systems and argues that traditional risk analyses cannot predict all future incidents with major impacts. To avoid unacceptable events, it is necessary to establish and operate anti-fragile ICT systems that limit the impact of all incidents, and which learn from small-impact incidents how to function increasingly well in changing environments.The book applies four design principles and one operational principle to achieve anti-fragility for different classes of incidents. It discusses how systems can achieve high availability, prevent malware epidemics, and detect anomalies. Analyses of Netflix’s media streaming solution, Norwegian telecom infrastructures, e-government platforms, and Numenta’s anomaly detection software show that cloud computing is essential to achieving anti-fragility for classes of events with negative impacts.

Computer Systems Organization and Communication Networks --- Information Systems and Communication Service --- Artificial Intelligence (incl. Robotics) --- Simulation and Modeling --- anomaly detection, anti-fragility, cloud computing, complex adaptive systems, DevOps (Development and Operation), diversity, loose coupling

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.

Software Engineering --- Special Purpose and Application-Based Systems --- Control Structures and Microprogramming --- Computer System Implementation --- Information Systems and Communication Service --- Artificial Intelligence --- open access --- software engineering --- requirements engineering --- model-based design --- software analysis --- testing --- software architectures --- security --- model transformations --- software evolution --- software product lines --- architecting --- artificial intelligence --- computer programming --- computer systems --- embedded systems --- mathematics --- software architecture --- software design --- Expert systems / knowledge-based systems --- Algorithms & data structures --- Systems analysis & design --- Computer networking & communications --- Artificial intelligence

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Programming Languages, Compilers, Interpreters --- Computer Systems Organization and Communication Networks --- Control Structures and Microprogramming --- Information Systems and Communication Service --- Natural Language Processing (NLP) --- Theory of Computation --- artificial intelligence --- computer networks --- computer programming --- computer security --- distributed computer systems --- embedded systems --- formal languages --- formal logic --- linguistics --- mathematics --- model checking --- object-oriented programming --- parallel processing systems --- program compilers --- semantics --- software architecture --- software design --- software engineering --- software quality --- verification and validation --- Programming & scripting languages: general --- Compilers & interpreters --- Computer networking & communications --- Algorithms & data structures --- Natural language & machine translation --- Computer science --- Mathematical theory of computation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of the common challenges faced by research infrastructures and how a ‘reference model guided’ engineering approach can be used to achieve greater interoperability among such infrastructures in the environmental and earth sciences. The 20 contributions in this book are structured in 5 parts on the design, development, deployment, operation and use of research infrastructures. Part one provides an overview of the state of the art of research infrastructure and relevant e-Infrastructure technologies, part two discusses the reference model guided engineering approach, the third part presents the software and tools developed for common data management challenges, the fourth part demonstrates the software via several use cases, and the last part discusses the sustainability and future directions.

Computer Applications --- Environment, general --- Special Purpose and Application-Based Systems --- Information Systems and Communication Service --- Software Engineering/Programming and Operating Systems --- Geography, general --- Computer and Information Systems Applications --- Environmental Sciences --- Database Management System --- Software Engineering --- Geography --- cloud computing --- cloud providers --- cloud services --- computer networks --- computing resource --- data communication systems --- databases --- distributed computer systems --- distributed systems --- engineering --- grid computing --- internet --- network protocols --- open access --- parallel processing systems --- signal processing --- telecommunication networks --- wireless telecommunication systems --- Information technology: general issues --- The environment --- Expert systems / knowledge-based systems --- Computer networking & communications --- Operating systems