Cliff Jones – författare

The Living History Anthology brings together twenty-six practical essays on the craft of establishing and running living history museums. Contributions cover all aspects of developing and running a living history site. Including contributions on strategic planning, human resource management, research programs, collection policies, and engagement with varied audiences, including indigenous groups, the book demonstrates how to approach such tasks from a living history perspective. Topics unique to the sector, such as re-enactment, historic trade crafts, and working with machinery and livestock, are also covered. Each essay is briefly introduced and contextualized by the editors, while the collection is bookended by a new foreword and afterword from Debra A. Reid, and an introduction from the editors.Representing the collective wisdom of the Association for Living History, Farm and Agricultural Museums (ALHFAM) members across the decades, The Living History Anthology provides a valuable resource for all living history practitioners. It should also be of interest to students and scholars studying living history.

The Living History Anthology brings together twenty-six practical essays on the craft of establishing and running living history museums. Contributions cover all aspects of developing and running a living history site. Including contributions on strategic planning, human resource management, research programs, collection policies, and engagement with varied audiences, including indigenous groups, the book demonstrates how to approach such tasks from a living history perspective. Topics unique to the sector, such as re-enactment, historic trade crafts, and working with machinery and livestock, are also covered. Each essay is briefly introduced and contextualized by the editors, while the collection is bookended by a new foreword and afterword from Debra A. Reid, and an introduction from the editors.Representing the collective wisdom of the Association for Living History, Farm and Agricultural Museums (ALHFAM) members across the decades, The Living History Anthology provides a valuable resource for all living history practitioners. It should also be of interest to students and scholars studying living history.

Computer-based systems are now essential to everyday life. They involve both tech- cal (hardware/software) components and human beings as active participants. Wh- ever we ?y aboard an aircraft or withdraw money from a cash point, a combination of humans, machines and software is supporting the delivery of the service. These systems and many others bene?t from the miniaturisation and cost reduction of the hardware which has made it possible for computers to be embedded everywhere. An equally remarkable development is the software involved: today, systems are built which were literally unthinkable twenty or thirty years ago. Measured in terms of their function, the productivity of their creation has also advanced enormously (largely - cause of the software infrastructure). Even the dependability of the best of todays so- ware is praiseworthy when one considers the complexity of the functionality provided. Solid engineering and the increasing adoption of methods based on ?rmly established theory are to be thanked here. However, in large and complex systems, there remain major challenges to achieving dependability when complex interactions exist between technical and human components. Large and complex things are understood as assemblages of simpler components: the way these components ?t together is the structure of the system. Structure can be real and physical, or a subjective mental tool for analysis.

This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic Programming, Concurrency, Quantum Computing, Domain Engineering, Real-time and Hybrid Systems, and Cloud Computing. Chaochen Zhou is internationally recognized for his own contributions and for the wide influence that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare, Lyngby (Denmark) where he worked with Professor Dines Bjørner, UNU-IIST (Macau) where he moved from being Principal Research Fellow to his appointed as Director of the Institute, as well as in Beijing. His book on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about real-time systems. Chaochen Zhou’s contributions have been marked by his election as a member of the Chinese Academy of Sciences.

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.