Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport, theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, and documentation. The ICFEM series of conferences aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to...

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 behavior of critical systems. This thesis uses the theory of Communicating Sequential Processes to show how a real-time system (a system that maintains a continuous interaction with its environment) may be specified. Included is a case study in which a local area network protocol is described at two...

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM 99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These...

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.

This book provides a detailed analysis, within an EU setting, of what we may mean by the phrase 'consumer citizen'. It examines the characterizations of the consumer in EU law and policy and argues the case for a limited conflation of the hitherto distinct concepts of the consumer and the citizen. As a basis for the model of consumer citizenship practice introduced in this book, ideas of the politicized consumer are discussed in parallel with legal and theoretical concepts of citizenship. The author's discussion then moves on to examine ideas of territorial and membership dimensions of...

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...