Jim Davies – författare

This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given.

This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given.

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004.The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains.

This book constitutes, together with its compagnion LNCS 1709, the refereed proceedings of the World Congress on Formal Methods in the Development of Computing Systems, FM'99, held in Toulouse, France in September 1999.The 92 revised full papers presented in the two volumes were carefully reviewed and selected from a total of 259 paper submissions from 35 different countries. Also included are 15 abstracts describing work in progress and industrial applications. The papers are organized in topical sections. Besides five invited papers this volume contains the following sections: integration into the development process; software architecture; European Association for Theoretical Computer Science (EATCS); model checking; the B method; composition and synthesis; telecommunications; security; object-orientation; testing.

This book constitutes, together with its compagnion LNCS 1708, the refereed proceedings of the World Congress on Formal Methods in the Development of Computing Systems, FM'99, held in Toulouse, France in September 1999. The 92 revised full papers presented in the two volumes were carefully reviewed and selected from a total of 259 paper submissions from 35 different countries. Also included are 15 abstracts describing work in progress and industrial applications. The papers are organized in topical sections. This volume contains the following sections: foundations of system specification (IFIP WG 1.3); European Theory and Practice of Software (ETAPS); program verification; integration of notation and techniques; formal description of programming concepts (IFIP WG 2.2); open information systems; co-design; refinement; safety; OBJ/Cafe OBJ/Maude; Abstract State Machines (ASM) and Algebraic Methods in Software Technology (AMAST); avionics; works-in-progress; industrial experience.

This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.

This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains.

To be effective, data-intensive systems require extensive ongoing customisation to reflect changing user requirements, organisational policies, and the structure and interpretation of the data they hold. Manual customisation is expensive, time-consuming, and error-prone. In large complex systems, the value of the data can be such that exhaustive testing is necessary before any new feature can be added to the existing design. In most cases, the precise details of requirements, policies and data will change during the lifetime of the system, forcing a choice between expensive modification and continued operation with an inefficient design.Engineering Agile Big-Data Systems outlines an approach to dealing with these problems in software and data engineering, describing a methodology for aligning these processes throughout product lifecycles. It discusses tools which can be used to achieve these goals, and, in a number of case studies, shows how the tools and methodology have been used to improve a variety of academic and business systems.

To be effective, data-intensive systems require extensive ongoing customisation to reflect changing user requirements, organisational policies, and the structure and interpretation of the data they hold. Manual customisation is expensive, time-consuming, and error-prone. In large complex systems, the value of the data can be such that exhaustive testing is necessary before any new feature can be added to the existing design. In most cases, the precise details of requirements, policies and data will change during the lifetime of the system, forcing a choice between expensive modification and continued operation with an inefficient design.Engineering Agile Big-Data Systems outlines an approach to dealing with these problems in software and data engineering, describing a methodology for aligning these processes throughout product lifecycles. It discusses tools which can be used to achieve these goals, and, in a number of case studies, shows how the tools and methodology have been used to improve a variety of academic and business systems.

This is the third book in the series Legal Issues of Services of General Interest. The book focuses upon a set of research questions on the recent developments in the emergence of services of general interest (SGIs) as a distinct EU concept. This includes, inter alia, the emergence of universal service obligations and the way they are regulated in the EU in primary and secondary law, the range of soft law communications adopted by the Commission to create a distinctive EU concept of SGIs, the residual role of hard law in the Treaty on the Functioning of the European Union (TFEU), the special problems created by Social Services of General Economic Interest and the interaction of procurement and state aid law with SGIs. A new perspective is offered in this book: some of the issues faced by the EU in accommodating SGIs into a regulatory framework are found also in the policy of the WTO and in least developed countries (LDCs).

The third volume in the series Legal Issues of Services of General Interest, this book examines and analyzes a set of research questions on the most recent developments in the emergence of services of general interest as a distinct European Union concept.

The first-ever book on the science of imagination, which sheds light on both the complex inner-workings of our mind and the ways in which we can channel imagination for a better life. We don’t think of imagination the way that we should. The word is often only associated with children, artists and daydreamers, but in reality, imagination is an integral part of almost every action and decision that we make. Simply put, imagination is a person’s ability to create scenarios in his or her head: this can include everything from planning a grocery list, to honing a golf swing, and even to having religious hallucinations.  And while imagination has positive connotations, it can also lead to more pernicious outcomes including decreased productivity and cooperation, and much worse, the continuous reliving of past trauma. The human brain is remarkable in its ability to imagine—to create worlds and situations outside of its reality. We can imagine complex possible futures, fantasy worlds, and jars of peanut butter. We can use our imaginations to make us relaxed or anxious, and the most impressive feat of human imagination may be our ability to use it in creative endeavors. Sitting in a chair, with our eyes closed, we can imagine what the world might be, and construct elaborate plans. With such power, we have an obligation to use it for good?to make things better for ourselves, and for the world.  People have been fascinated with the machination of the human brain and its ability to imagine for centuries, but until now, there have been no popular science books that are dedicated to imagination. There are books on creativity, dreams, memory, and the mind in general, but how exactly do we create those scenes in our head? With chapters ranging from hallucination and imaginary friends to how imagination can make you happier and more productive, Jim Davies' Imagination will help us explore the full potential of our own mind.