Martin Wirsing

Robert Cori

This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed algorithms, geometrical algorithms, trace languages, semantics of parallelism.

5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings

STACS 88

Justin Reich

Mauro Calise

Carlos Delgado Kloos

Jose A. Ruiperez-Valiente

This book constitutes the proceedings of the 6th European Conference on Massive Open Online Courses, EMOOCs 2019, held in Naples, Italy, in May 2019. The 15 full and 6 short papers presented in this volume were carefully reviewed and selected from 42 submissions. Massive Open Online Courses (MOOCs) have marked a milestone in the use of technology for education. The reach, potential, and possibilities of EMOOCs are immense. But they are not only restricted to global outreach: the same technology can be used to improve teaching on campus and training inside companies and institutions. The chapter 'Goal Setting and Striving in MOOCs. A Peek inside the Black Box of Learner Behaviour' is open access under a CC BY 4.0 license at link.springer.com.

6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings

Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge

John N. Crossley

Iman Poernomo

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.

The Curry--Howard Protocol

Adapting Proofs-as-Programs

M. Nivat

Content Description #Includes bibliographical references and index.

5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

Algebraic Methodology and Software Technology

Dirk Pattinson

Germany) Wadt 200 (2002 Frauenchiemsee

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002. The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.

16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Recent Trends in Algebraic Development Techniques

Axel Rauschmayer

Martin Hofmann

Global computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource usage, security policies and mechanisms, etc., with particular regard to explo- ing their universal scale and the programmability of their services. As the scope and computational power of such global infrastructures continue to grow, it - comes more and more important to develop methods, theories and techniques for trustworthy systems running on global computers. This book constitutes the thoroughly refereed proceedings of the ?fth e- tion of the International Symposium on Trustworthy Global Computing (TGC 2010)thatwasheldinMunich,Germany,February24-26,2010.TheSymposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorouslyabout their behavior and properties. The related models of computation incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.

5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthy Global Computing

Dang Van Hung

This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17–21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. We believe that this will help developing countries to strengthen their research, teaching and development in computer science and engineering, improve the links between developing countries and developed countries, and establish collaboration in research and education. By providingavenueforthediscussionofcommonproblemsandtheirsolutions,and for the exchangeof experiencesand ideas,this colloquiumsupportsresearchand development in computer science and software technology. ICTAC is attracting more and more attention from more and more countries.

Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Theoretical Aspects of Computing - ICTAC 2005

Simonetta Balsamo

RISSEF 2002

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002, held in Venice, Italy, in October 2002. The 24 revised full papers presented were carefully reviewed and selected from the 36 invited workshop presentations. The authors evaluate all major paradigms and conceptual issues in software and systems design and analysis, especially regarding their potential for modifications to cope with future needs.

9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

Radical Innovations of Software and Systems Engineering in the Future

Jan A. Bergstra

Algebraic Methods: Theory, Tools and Applications

Songmao Zhang

Zili Zhang

This book constitutes the refereed proceedings of the 8th International Conference on Knowledge Science, Engineering and Management, KSEM 2015, held in Chongqing, China, in October 2015. The 57 revised full papers presented together with 22 short papers and 5 keynotes were carefully selected and reviewed from 247 submissions. The papers are organized in topical sections on formal reasoning and ontologies; knowledge management and concept analysis; knowledge discovery and recognition methods; text mining and analysis; recommendation algorithms and systems; machine learning algorithms; detection methods and analysis; classification and clustering; mobile data analytics and knowledge management; bioinformatics and computational biology; and evidence theory and its application.

8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

Knowledge Science, Engineering and Management

Nora Koch

Matthias Hölzl

Philip Mayer

A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known as ensembles. To ensure correct behavior of ensembles it is necessary to support their development through appropriate methods and tools which can guarantee that an autonomic system lives up to its intended purpose; this includes respecting important constraints of the environment. This State-of-the-Art Survey addresses the engineering of such systems by presenting the methods, tools and theories developed within the ASCENS project. ASCENS was an integrated project funded in the period 2010-2015 by the 7th Framework Programme (FP7) of the European Commission as part of the Future Emerging Technologies Proactive Initiative (FET Proactive). The 17 contributions included in this book are organized in four parts corresponding to the research areas of the project and their concrete applications: (I) language and verification for self-awareness and self-expression, (II) modeling and theory of self-aware and adaptive systems, (III) engineering techniques for collective autonomic systems, and last but not least, (IV) challenges and feedback provided by the case studies of the project in the areas of swarm robotics, cloud computing and e-mobility.

The ASCENS Approach

Software Engineering for Collective Autonomic Systems

Piero Fraternali

Web engineering is a new discipline that addresses the pressing need for syst- atic and tool-supported approaches for the development, maintenance and te- ing of Web applications. Web engineering builds upon well-known and succe- ful software engineering principles and practices, adapting them to the special characteristics of Web applications. Even more relevant is the enrichment with methods and techniques stemming from related areas like hypertext authoring, human-computer interaction, content management, and usability engineering. The goal of the 4th International Conference on Web Engineering (ICWE 2004), inlinewiththepreviousICWEconferences,wastoworktowardsabetterund- standing of the issues related to Web application development. Special attention was paid to emerging trends, technologies and future visions, to help the a- demic and industrial communities identify the most challenging tasks for their research and projects. Following a number of successful workshops on Web engineering since 1997 at well-known conferences, such as ICSE and WWW, the ?rst conference on Web engineering was held in C ́ aceres, Spain in 2001. It was followed by ICWE 2002 in Santa Fe, Argentina and ICWE 2003 in Oviedo, Spain. In 2004 ICWE moved to the center of Europe and was held in Munich, Germany from July 26 to 30. ICWE 2004 was organized by the Institute for Informatics of the Ludwig- Maximilians-Universit ̈ at (LMU) Munich. The ICWE 2004 edition received a total of 204 submissions, out of which 25 paperswereselectedbytheProgramCommitteeasfullpapers(12%acceptance).

4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings

Web Engineering

Jan Maluszynski

PLILP

This volume contains invited and selected papers presented at the symposium PLILP '91. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages.

3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

Programming Language Implementation and Logic Programming

Martin Wirsing

Books

Your next favorite book is out there