|
Showing 1 - 13 of
13 matches in All Departments
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 Bjorner, 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.
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.
|
VDM '87. VDM - A Formal Method at Work - VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Paperback, 1987 ed.)
Dines Bjorner, Cliff Jones, Michael Mac An Airchinnigh, Erich J Neuhold
|
R1,643
Discovery Miles 16 430
|
Ships in 10 - 15 working days
|
System developers, stakeholders, decision makers, policymakers
and academics will find this book a one-stop resource highlighting
the core issues for all those involved in dependability in a
complex computer-based environment.
Many software systems have reached a level of complication,
mainly because of their size, heterogeneity and distribution, which
results in faults appearing that cannot be traced back easily to
the code. Some of these "faults" could also be unexpected program
behavior that appears as a result of interactions between different
parts of the program; this is commonly known as complexity. New
methods, approaches, tools and techniques are needed to cope with
the increasing complexity in software systems; amongst them,
fault-tolerance techniques and formal methods, supported by the
corresponding tools, are promising solutions. This book brings
together papers focusing on the application of rigorous design
techniques to the development of fault-tolerant, software-based
systems.
This volume is an outcome of the REFT 2005 Workshop on Rigorous
Engineering of Fault-Tolerant Systems held in conjunction with the
Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July
2005. The authors of the best workshop papers were asked to enhance
and expand their work and a number of well-established researchers
working in the area contributed invited chapters. From the 19
refereed and revised papers presented, 12 are versions reworked
from the workshop; 9 of them are totally new. The book is rounded
off by two provocatively different position on the role of
programming languages.
Beyond Blogging is a practical case study of 15 A-List blogging
all-stars designed to help you understand and replicate the history
of some of the most successful bloggers in the industry. Following
the case studies is a detailed 5-step blueprint, based on a
detailed analysis of all 15 bloggers, which can help you take your
game to the next level.
Living in Lanzarote is the hilarious story of a family's move from
suburban Cheshire to the idyllic holiday island of Lanzarote. It
covers their decision to make the move, how they settled into life
and business on the island, and how they eventually became
integrated into their new home.
|
|