Bøger af Daniel Le Metayer

Privacy Risk Analysis fills a gap in the existing literature by providing an introduction to the basic notions, requirements, and main steps of conducting a privacy risk analysis.The deployment of new information technologies can lead to significant privacy risks and a privacy impact assessment should be conducted before designing a product or system that processes personal data. However, if existing privacy impact assessment frameworks and guidelines provide a good deal of details on organizational aspects (including budget allocation, resource allocation, stakeholder consultation, etc.), they are much vaguer on the technical part, in particular on the actual risk assessment task. For privacy impact assessments to keep up their promises and really play a decisive role in enhancing privacy protection, they should be more precise with regard to these technical aspects.This book is an excellent resource for anyone developing and/or currently running a risk analysis as it defines the notions of personal data, stakeholders, risk sources, feared events, and privacy harms all while showing how these notions are used in the risk analysis process. It includes a running smart grids example to illustrate all the notions discussed in the book.

This book constitutes the refereed proceedings of the Second International Conference on Coordination Models and Languages, COORDINATION '97, held in Berlin, Germany, in September 1997.The 22 revised full papers and 6 posters presented in the book were carefully reviewed and selected from a total of 69 submissions. Also included are three invited papers. The papers are devoted to an emerging class of languages and models, which have been variously termed coordination languages, configuration languages, and architectural description languages. These formalisms provide a clean separation between software components and their interaction in the overall software organization, which is particularly important for large-scale applications and open systems.

This volume contains most of the papers presented at theworkshop on research directions in high-level parallelprogramming languages, held at Mont Saint-Michel, France, inJune 1991. The motivation for organizing this workshop camefrom the emergence of a new class of formalisms fordescribing parallel computations in the last few years.Linda, Unity, Gamma, and the Cham are the most significantrepresentatives of this new class. Formalisms of this familypromote simple but powerful language features for describingdata and programs. These proposals appeared in differentcontexts and were applied in different domains, and the goalof the workshop was to review the status of this new fieldand compare experiences. The workshop was organized intofour main sessions: Unity, Linda, Gamma, and ParallelProgram Design. The corresponding parts ofthe volume areintroduced respectively by J. Misra, D. Gelernter, D. LeMtayer, and J.-P. Ban tre.

The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and program transformation are presented and applied to practical problems.