Formal Methods for Computer/Communications Protocols and Software Год выпуска: 2012Автор: Hazem El-GendyИздательство: LAP Lambert Academic PublishingСтраниц: 172ISBN: 9783659118357Описание This book starts by introducing the different definitions/theorems for semantic equivalence and analysis them proving problems in them all. Then, it develops a sound definition and theory for semantic equivalence that is congrunt and develops a formal method to prove the equivalence. It then develops formal methods for automated derivation of testing sequences. These cover both control flow and data flow. These methods are proven to have the widest applicability and coverage in terms of discovering errors if there are. Then, we develop formal methods to transform formal specifications given by ISO Formal Description Techniques (FDTs). This has applications in building common semantic model for the various FDTs as well as in automated derivation of test sequences, and in automated derivation of conforming implementations. All these have been demonstrated by applying them to real standards. These are applicable to computer/communications protocols, distributed systems, and...
Похожие книги
OECD Organisation for Economic Co-operation and Development. Towards New Arrangements for State Ownership in the Middle East and North Africa. – М.: , 2012. – 175 с. OECD Organisation for Economic Co-operation and Development. International Drivers of Corruption: A Tool for Analysis. – М.: , 2012. – 108 с. OECD Organisation for Economic Co-operation and Development. OECD Fiscal Federalism Studies Reforming Fiscal Federalism and Local Government: Beyond the Zero-Sum Game. – М.: , 2012. – 136 с. NATO Advanced Research Workshop on Science for Reduction of Risk and s, Alik Ismail-Zadeh. Risk Science and Sustainability: Science for Reduction of Risk and Sustainable Development for Society (NATO SCIENCE SERIES II MATHEMATICS, PHYSICS AND CHEMISTRY). – М.: , 0. – 0 с. Jeffrey A. McNeely, International Union for Conservation of Nature and Natural Resources, Ve World Congress on National Parks and Protected Areas 1992 Caracas. Expanding Partnerships in Conservation. – М.: , 0. – 0 с. Environmental Action Programme for Central and Eastern Europe, Richard Ackermann, Ministerial Conference "Environment for Europe, World Bank, Organisation for Economic Co-Operation and Development. Environmental Action Programme for Central and Eastern Europe: Setting Priorities : Abridged Version of the Document Endorsed by the Ministerial Conference, Lucerne, Switzerland, 28-30 April, 1993. – М.: , 0. – 0 с. Organisation for Economic Co-Operation and Development. Trade And Migration: Building Bridges For Global Labour Mobility. – М.: , 2005. – 162 с. OECD Organisation for Economic Co-operation and Development. Structural and Demographic Business Statistics 2009. – М.: , 2010. – 400 с. OECD Organisation for Economic Co-operation and Development. OECD Reviews of Regional Innovation: Catalonia, Spain 2010: Edition 2010 (United Nations Office on Drugs and Crime - Boletin De Estupefacientes). – М.: , 2010. – 270 с. OECD Organisation for Economic Co-operation and Development. OECD Rural Policy Reviews Strategies to Improve Rural Service Delivery. – М.: , 2010. – 124 с. OECD Organisation for Economic Co-operation and Development. Educational Research and Innovation Are the New Millennium Learners Making the Grade?: Technology Use and Educational Performance in PISA 2006. – М.: , 2010. – 216 с. OECD Organisation for Economic Co-operation and Development. Taxing Wages 2009. – М.: , 2010. – 516 с. OECD Organisation for Economic Co-operation and Development. Conflict and Fragility Transition Financing: Building a Better Response. – М.: , 2010. – 136 с. OECD Organisation for Economic Co-operation and Development. The Future for Interurban Passenger Transport: Bringing Citizens Closer Together. – М.: , 2010. – 556 с. OECD Organisation for Economic Co-operation and Development. Effective Transport Policies for Corporate Mobility Management (International Transport Forum). – М.: , 2010. – 108 с. Berkeley High School Communication Arts and Sciences. Berkeley High School Slang Dictionary. – М.: , 2004. – 100 с. Inc. KT Solutions, KT Solutions has focused on what it takes to create efficient, professional multimedia training t KT Solutions specializes in the development of interactive multimedia training products for computer applications. Over the past decade. Advanced Word for Office 97 (Microsoft Word 97). – М.: , . – с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Елена Огромное Вам спасибо за адресок. Там проконсультировали мою тему и это здорово. Я уже отчаялась найти кого-нибудь - все отказывались
