Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design.   The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to provide an ecosystem of better tools, documentation and support to help others to select and introduce rigorous systems engineering methods. The contributing authors report on these projects and the lessons learned. For the academic and research partners and the tool vendors, the project identified improvements required in the methods and supporting tools, while the industrial partners learned about the value of formal methods in general. A particular feature of the book is the frank assessment of the managerial and organisational challenges, the weaknesses in some current methods and supporting tools, and the ways in which they can be successfully overcome.   The book will be of value to academic researchers, systems and software engineers developing critical systems, industrial managers, policymakers, and regulators.

Computer science. --- Industrial engineering. --- Software engineering. --- Systems engineering. --- Systems engineering --- Engineering & Applied Sciences --- Computer Science --- Management engineering --- Simplification in industry --- Computer software engineering --- Engineering systems --- System engineering --- Design and construction --- Mathematical logic. --- Production engineering. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Mathematical Logic and Formal Languages. --- Industrial and Production Engineering. --- Engineering --- Value analysis (Cost control) --- Manufacturing engineering --- Process engineering --- Industrial engineering --- Mechanical engineering --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- System analysis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Cardiac catheterization and coronary angiography remain the key tools in the management of patients with coronary heart disease. Interventional cardiology is now routinely performed outside of major cardiac centres, often in small district hospitals. General training in cardiology rarely offers more than the opportunity to assist a more senior operator to perform angioplasty procedures, so a textbook for the non-specialist has become essential reading. Oxford Textbook of Interventional Cardiology is a definitive text spanning the whole spectrum of interventional cardiology procedures, including management of patients with coronary artery disease, one of the leading killers in western society. Written by an expert faculty of international authors, it offers guidance on all aspects of interventional cardiology according to the European curriculum and guidelines for practice, and covers the very latest techniques and devices to provide practical, evidence-based guidance on treating a full range of coronary lesions. The book also covers structural heart disease and new developments in heart valve disease, which were previously in the realm of cardiac surgeons but are now being treated by cardiologists using less invasive methods"--Provided by publisher.

Angioplasty. --- Cardiac catheterization. --- Cardiovascular Diseases --- Cardiovascular Surgical Procedures. --- Coronary heart disease --- Surgery.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer software --- Software engineering. --- Systems software --- Reliability. --- Reliability.