Контакты/Адрес/Проезд   Доставка и Оплата
История
  +7(495) 980-12-10
  10:00-18:00 пн-сб
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Специальные предложения | Бестселлеры
 

Developing Safety-Critical Software, Rierson



Варианты приобретения
Цена: 7418р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 726 шт.  Склад Америка: 93 шт.  
При оформлении заказа до: 24 июл 2020
Ориентировочная дата поставки: середина - конец Августа

Добавить в корзину
в Мои желания

Автор: Rierson
Название:  Developing Safety-Critical Software   (Рерсон: Разработка ПО с особыми требованиями к безопасности)
Издательство: Taylor&Francis
Классификация:
Инженерная механика
Разработка программного обеспечения

ISBN: 143981368X
ISBN-13(EAN): 9781439813683
ISBN: 1-439-81368-X
ISBN-13(EAN): 978-1-439-81368-3
Обложка/Формат: Hardback
Страницы: 610
Вес: 1.032 кг.
Дата издания: 18.01.2013
Серия: Engineering
Язык: ENG
Иллюстрации: 44 tables, black and white; 24 illustrations, black and white
Размер: 239 x 160 x 38
Читательская аудитория: Postgraduate, research & scholarly
Ключевые слова: Software Engineering, COMPUTERS / Software Development & Engineering / General,TECHNOLOGY & ENGINEERING / Mechanical
Основная тема: Software Engineering & Systems Development
Подзаголовок: A practical guide for aviation software and do-178c compliance
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheaply, and the software is being used in more critical ways. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance equips you with the information you need to effectively and efficiently develop safety-critical, life-critical, and mission-critical software for aviation. The principles also apply to software for automotive, medical, nuclear, and other safety-critical domains. An international authority on safety-critical software, the author helped write DO-178C and the U.S. Federal Aviation Administration’s policy and guidance on safety-critical software. In this book, she draws on more than 20 years of experience as a certification authority, an avionics manufacturer, an aircraft integrator, and a software developer to present best practices, real-world examples, and concrete recommendations. The book includes: An overview of how software fits into the systems and safety processes Detailed examination of DO-178C and how to effectively apply the guidance Insight into the DO-178C-related documents on tool qualification (DO-330), model-based development (DO-331), object-oriented technology (DO-332), and formal methods (DO-333) Practical tips for the successful development of safety-critical software and certification Insightful coverage of some of the more challenging topics in safety-critical software development and verification, including real-time operating systems, partitioning, configuration data, software reuse, previously developed software, reverse engineering, and outsourcing and offshoring An invaluable reference for systems and software managers, developers, and quality assurance personnel, this book provides a wealth of information to help you develop, manage, and approve safety-critical software more confidently.
Дополнительное описание:




Software engineering project management

Автор: Thayer
Название: Software engineering project management
ISBN: 0818680008 ISBN-13(EAN): 9780818680007
Издательство: Wiley
Рейтинг:
Цена: 10084 р.
Наличие на складе: Поставка под заказ.

Описание: This text presents a framework for project management activities based on the planning, organizing, staffing, directing, and controlling model, providing information which should help the reader understand and perform the role of a project manager.

Design and Safety Assessment of Critical Systems

Автор: Bozzano
Название: Design and Safety Assessment of Critical Systems
ISBN: 1439803315 ISBN-13(EAN): 9781439803318
Издательство: Taylor&Francis
Рейтинг:
Цена: 10557 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Explaining how to improve safety-critical systems to reduce risks to people and the environment, this book introduces fundamental concepts and reviews issues related to the design, development, and assessment of safety-critical systems. The text covers the most well-known notations, techniques, and procedures, and supplies many in-depth examples from a  range of industrial sectors. It also provides access to a website with additional information and code for the examples presented.

Embedded Software Development for Safety-Critical Systems

Автор: Hobbs
Название: Embedded Software Development for Safety-Critical Systems
ISBN: 1498726704 ISBN-13(EAN): 9781498726702
Издательство: Taylor&Francis
Рейтинг:
Цена: 5851 р.
Наличие на складе: Поставка под заказ.

Описание: Safety-critical devices, whether medical, automotive, or industrial, are increasingly dependent on the correct operation of sophisticated software. Many standards have appeared in the last decade on how such systems should be designed and built. Developers, who previously only had to know how to program devices for their industry, must now understand remarkably esoteric development practices and be prepared to justify their work to external auditors. Embedded Software Development for Safety-Critical Systems discusses the development of safety-critical systems under the following standards: IEC 61508; ISO 26262; EN 50128; and IEC 62304. It details the advantages and disadvantages of many architectural and design practices recommended in the standards, ranging from replication and diversification, through anomaly detection to the so-called "safety bag" systems.Reviewing the use of open-source components in safety-critical systems, this book has evolved from a course text used by QNX Software Systems for a training module on building embedded software for safety-critical devices, including medical devices, railway systems, industrial systems, and driver assistance devices in cars. Although the book describes open-source tools for the most part, it also provides enough information for you to seek out commercial vendors if that’s the route you decide to pursue. All of the techniques described in this book may be further explored through hundreds of learned articles. In order to provide you with a way in, the author supplies references he has found helpful as a working software developer. Most of these references are available to download for free.

Developing and Securing the Cloud

Автор: Thuraisingham
Название: Developing and Securing the Cloud
ISBN: 1439862915 ISBN-13(EAN): 9781439862919
Издательство: Taylor&Francis
Рейтинг:
Цена: 7105 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Although the use of cloud computing platforms and applications has expanded rapidly, most books on the subject focus on high-level concepts. There has long been a need for a book that provides detailed guidance on how to develop secure clouds.Filling this void, Developing and Securing the Cloud provides a comprehensive overview of cloud computing technology. Supplying step-by-step instruction on how to develop and secure cloud computing platforms and web services, it includes an easy-to-understand, basic-level overview of cloud computing and its supporting technologies.Presenting a framework for secure cloud computing development, the book describes supporting technologies for the cloud such as web services and security. It details the various layers of the cloud computing framework, including the virtual machine monitor and hypervisor, cloud data storage, cloud data management, and virtual network monitor. It also provides several examples of cloud products and prototypes, including private, public, and U.S. government clouds.Reviewing recent developments in cloud computing, the book illustrates the essential concepts, issues, and challenges in developing and securing today’s cloud computing platforms and applications. It also examines prototypes built on experimental cloud computing systems that the author and her team have developed at the University of Texas at Dallas.This diverse reference is suitable for those in industry, government, and academia. Technologists will develop the understanding required to select the appropriate tools for particular cloud applications. Developers will discover alternative designs for cloud development, and managers will understand if it’s best to build their own clouds or contract them out.

Developing Statistical Software in Fortran 95

Автор: Lemmon
Название: Developing Statistical Software in Fortran 95
ISBN: 0387238174 ISBN-13(EAN): 9780387238173
Издательство: Springer
Рейтинг:
Цена: 13557 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Many books teach computational statistics. Until now, however, none has shown how to write a good program. This book gives statisticians, biostatisticians and methodologically-oriented researchers the tools they need to develop high-quality statistical software.Topics include how to:Program in Fortran 95 using a pseudo object-oriented style Write accurate and efficient computational procedures Create console applications Build dynamic-link libraries (DLLs) and Windows-based software components Develop graphical user interfaces (GUIs)Through detailed examples, readers are shown how to call Fortran procedures from packages including Excel, SAS, SPSS, S-PLUS, R, and MATLAB. They are even given a tutorial on creating GUIs for Fortran computational code using Visual Basic.NET. This book is for those who want to learn how to create statistical applications quickly and effectively. Prior experience with a programming language such as Basic, Fortran or C is helpful but not required. More experienced programmers will learn new strategies to harness the power of modern Fortran and the object-oriented paradigm. This may serve as a supplementary text for a graduate course on statistical computing. From the reviews:"This book should be read by all statisticians, engineers, and scientists who want to implement an algorithm as a computer program. The book is the best introduction to programming that I have ever read. I value it as one of my important reference books in my personal library." Melvin J. Hinich for Techonmetrics, November 2006"Overall, the book is well written and provides a reasonable introduction to the use of modern versions of Fortran for statistical computation. The real thrust of the book is building COM interfaces using Fortran, and it will no doubt be most useful to anyone who needs to build such interfaces." Journal of the American Statistical Association, June 2006"The book is well written and is divided into chapters and sections which are coherent...Overall the book seems like a good resource for someone that already knows some dialect of FORTRAN and wants to learn a bit about what is new in FORTRAN 95..." Robert Gentleman for the Journal of Statistical Software, December 2006

Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors

Автор: Debra S. Herrmann
Название: Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors
ISBN: 0769502997 ISBN-13(EAN): 9780769502991
Издательство: Wiley
Рейтинг:
Цена: 10293 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The role of soware has changed from simply generating financial or mechanical data to monitoring and controlling equipment that directly affects human life and safety. As a result, a more thorough understanding and familiarity with the specialized techniques used to achieve and assess the safety and reliability of software is needed in academia, industry, and government. This original text introduces the concepts, techniques, and approaches used to achieve and assess software safety and reliability. Debra Herrmann presents a cross-section of current safety and reliability standards that cross multiple industrial sectors while focusing on the additional required activities to achieve software safety and reliability. In organizing this text, the she has three objectives. The first is to raise the reader's awareness on the importance of software safety and reliability and on its role in mission critical systems by presenting many illustrative, ever day examples. The second objective is to provide practical information about the current methods used to achieve and assess software safety and reliability. The final objective is to improve the understanding and practice of software safety and reliability by consolidating the latest research so that it can be compared and analyzed for the future. The book is written for engineers, scientists, managers, regulators, and policy makers involved in the design, development, acquisition, and certification of safety-critical systems.

Lessons Learned in Software Testing: A Context-Driven Approach

Автор: Cem Kaner
Название: Lessons Learned in Software Testing: A Context-Driven Approach
ISBN: 0471081124 ISBN-13(EAN): 9780471081128
Издательство: Wiley
Рейтинг:
Цена: 3343 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Written by software testing experts, this book shows you how to avoid the common mistakes in testing software. It helps you through the testing phase of the software development project without the extensive trial and error. It is intended for software testers and developers at every level of expertise.

The Road to the Unified Software Development Process

Автор: Jacobson
Название: The Road to the Unified Software Development Process
ISBN: 0521787742 ISBN-13(EAN): 9780521787741
Издательство: Cambridge Academ
Рейтинг:
Цена: 5308 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Ivar Jacobson, one of the Three Amigos of Rational, follows his fellow amigos, Grady Booch and James Rumbaugh, with the publication of The Road to the Unified Software Development Process, his own collection of the best of his work. Together with Stefan Bylund, Dr Jacobson has gathered the best of his articles from Object Magazine, JOOP, and ROAD, and updated them to reflect current trends in the industry. This book not only presents the best of his work, but it also tracks the development of the new Unified Software Development Process. This book is an excellent reference for software professionals who are interested in analysis and design. It provides real-world experience in developing quality software through disciplined engineering.

Frameworks For Developing Efficient Information Systems

Автор: Krogstie
Название: Frameworks For Developing Efficient Information Systems
ISBN: 1466641614 ISBN-13(EAN): 9781466641617
Издательство: Eurospan
Рейтинг:
Цена: 22273 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: <em>Frameworks for Developing Efficient Information Systems: Models, Theory, and Practice</em> presents research and practices on the advancements in systems analysis and design. These theoretical frameworks and practical solutions are useful for researchers, practitioners, and academicians as this book aims to bridge the communication gap between business managers and system designers.

Communications: Wireless in Developing Countries and Networks of the Future

Автор: Pont
Название: Communications: Wireless in Developing Countries and Networks of the Future
ISBN: 3642154751 ISBN-13(EAN): 9783642154751
Издательство: Springer
Рейтинг:
Цена: 7293 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the Third IFIP TC 6 International Conference on Wireless Communications and Information Technology for Developing Countries, WCITD 2010 and the IFIP TC 6 International Network of the Future Conference, NF 2010, held as part of the 21st World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010.

E-Infrastructures and E-Services on Developing Countries

Автор: Adolfo Villafiorita; Saint-Paul Regis; Alessandro
Название: E-Infrastructures and E-Services on Developing Countries
ISBN: 3642127002 ISBN-13(EAN): 9783642127007
Издательство: Springer
Рейтинг:
Цена: 6544 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Developing Ambient Intelligence / Proceedings of the First International Conference on Ambient Intelligence Developments (AmID`06)

Автор: Mana Antonio, Lotz Volkmar
Название: Developing Ambient Intelligence / Proceedings of the First International Conference on Ambient Intelligence Developments (AmID`06)
ISBN: 2287474692 ISBN-13(EAN): 9782287474699
Издательство: Springer
Рейтинг:
Цена: 8134 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Held in Sophia Antipolis (France) from September the 20th to September the 22nd 2006, the first edition of the AmI.d conference tackled the latest research challenges within AmI ecosystems, presented AmI applications as well as security solutions. This volume gathers all the papers selected by the Program Committee. Authors from renowned universities and industry research centres contributed to draw a comprehensive state-of-the-art in AmI applications and security research.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия