Peter Lindsay

Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. The mural project (a joint Alvey-funded project between Manchester University and Rutherford Appleton Laboratories) has developed a software support system to help the user of formal methods. mural has created a user-friendly software environment (with extensive use of windows) that makes best use of human talents to produce computer systems that are proved to be correctly designed. Professor Cliff Jones is internationally known as the developer of the VDM system of formal notation (Vienna Development Method). This book describes the requirements, concepts, and realisation of the mural system. The authors present systematically and completely the results of this substantial research project, from the basic theoretical level to its effective implementation. The book will be of equal interest to academics working on formal methods at research level (and perhaps to graduate research students), and to practitioners and software engineers who are using - or who will have to use for defence contracts, etc. - formal methods.

What does university teaching – as a craft – look like? What changes does a craft perspective suggest for higher education? The Craft of University Teaching addresses these questions in both a general sense – What does the act of teaching become when treated as a craft? What changes to a professor’s educational philosophy does it require? – and with respect to the practical, everyday tasks of university professors, such as the use and misuse of technology, the handling of academic dishonesty, the assignment of course reading, and the instilling of enthusiasm for learning. Intended for professors of all academic disciplines who either enjoy teaching or wish to enjoy it more, The Craft of University Teaching is a provocative and accessible book containing practical advice gleaned from the academic literature on pedagogy. In an era of increased bureaucratic oversight, rapidly diminishing budgets, and waves of technological distraction, The Craft of University Teaching provokes reflection on matters of pedagogy that are too often taken as settled. In so doing, it seeks to reclaim teaching as the intellectually vibrant and intrinsically rewarding endeavor that it is.

The 10 essential skills to transform the way you lead The Leadership Habit provides the framework for patterns of behavior that will transform the way you lead. By articulating a clear, well-defined standard of what it means to be a leader, this book condenses volumes of advice and opinion into 10 key areas and teaches leaders how they can create daily habits surrounding these centers of excellence. Leaders who can commit to creating change will develop more productive teams and will build long-term growth for their organization. This book is your invaluable guide to being one of the greats, with proven advice and a concrete framework for leading well. Through expert discussion and deep dissection of these critical areas, you’ll discover how to drive for results, build the best team, execute on vision, foster innovation, and more. Learn how to: Transform your habits across 30 specific skill areasModel personal growth, focus, and positivityAccelerate productivity and maintain your organization’s competitive advantage As a leader, your team's performance and your organization's outlook are direct reflections of you. Discover how to become a catalyst for driving performance and results by transforming your actions every day.

Care of adults with intellectual disability in the UK has relocated from long-stay hospitals to small community homes and family placements. This has led to GPs' increasing responsibility for the care of a group with particularly high rates of morbidity and mortality. This key book is the first in the UK to describe and advise on the medical care of adults with intellectual disability in primary care and in the community. It is a practical handbook, written by clinicians with regular involvement in the care of adults with intellectual disability, and is based on current practice and international evidence bases. Numerous conditions - from autism spectrum disorders to Williams syndrome - are explored, the complex problems they can present examined, and the need to offer annual health checks and implement practices to comply with QOF requirements addressed. A glossary and a list of useful electronic resources is also included. The book's content reflects the RCGP curriculum, and the Curriculum Guardian has been responsible for much of the editing. It will be informative reading for GPs, practice nurses, GP registrars, medical students, district nurses, physiotherapists and occupational therapists, as well as for the families and friends of adults with intellectual disability.