Responsive Computing

Sample

Pierpaolo Degano (ed

This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.

Sample

von Michael Richter, Markus D. Flückiger

Usability Engineering spielt überall dort eine Rolle, wo Benutzer mit technischen Systemen zu tun haben. Welche Faktoren bestimmen, ob wir mit einem Produkt sehr einfach, nur schwer oder gar nicht zum Ziel kommen? Welche Möglichkeiten bieten sich, diese Faktoren in der Entwicklung systematisch in den Griff zu bekommen? Dieses Buch vermittelt einen leicht verständlichen Einstieg in die Praxis und bietet Ihnen das Wichtigste übersichtlich zum Nachschlagen: Die wichtigsten Methoden Umsetzung im Entwicklungsprozess Usability und Requirements Engineering Strategie im Unternehmen Planung, Durchführung und Kontrolle Checklisten, Praxisbeispiele, Denkanstöße Fallstudien aus durchgeführten Projekten Die dritte Auflage wurde durchgehend überarbeitet und um die Themen Agile Software-Entwicklung und Mobile User Experience erweitert.

Sample

Mehdi Dastani, Jomi F. Hübner, Brian Logan

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Programming Multi-Agents Systems held in Valencia, Spain, in June 2012. The 10 revised full papers presented were carefully selected from 14 submissions covering a wide range of topics in multi-agent system programming languages, including language design and efficient implementation, agent communication, and robot programming. I addition to these regular papers, the volume includes six papers from the Multi-Agent programming Contest 2012 (MAPC).

Sample

Jean-Claude Geffroy, Gilles Motet

Today computing systems are more and more complex and they assume more and more responsibilities in all sectors of human activity. Unfortunately, many faults can harm the development or the use of these products. Destructive mechanisms transform faults into errors and finally failures altering the delivered service. For critical systems, the consequences of these failures can be catastrophic, but for most non-critical systems, failures are nowadays unacceptable. Hence, it is necessary to take dependability attributes into account, along the product lifecycle. This book aims at providing a general overview of the dependability of computing systems: impairments and protective means. Issues, concepts and techniques are considered from a system point of view, and are illustrated by both hardware and software technologies. An important pedagogical effort has been made: the explanations are illustrated by 370 figures, 80 examples, and 97 exercises with complete answers. A glossary of more than 500 entries defines the important terms.