Software Certification, B. de Neumann

Автор: Adzic Gojko
Название: Impact Mapping: Making a Big Impact with Software Products and Projects
ISBN: 0955683645 ISBN-13(EAN): 9780955683640
Издательство: Неизвестно
Цена: 39230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: System science and engineering is a field that covers a wide spectrum of modern technology. A system can be seen as a collection of entities and their interrelationships, which forms a whole greater than the sum of the entities and interacts with people, organizations, cultures and activities and the interrelationships among them. Systems composed of autonomous subsystems are not new, but the increased complexity of modern technology demands ever more reliable, intelligent, robust and adaptable systems to meet evolving needs. This book presents papers delivered at the International Conference on System Science and Engineering ICSSE2015,

Автор: Van Veenendaal, Erik (improve Quality Services B.v.) Graham, Dorothy (software Testing Consultant) Black, Rex (president, Rex Black Consulting Service
Название: Foundations of software testing istqb certification, 4th edition
ISBN: 1473764793 ISBN-13(EAN): 9781473764798
Издательство: Cengage Learning
Рейтинг:
Цена: 49620.00 T
Наличие на складе: Невозможна поставка.
Описание: Published in 1996, this original collection of critical essays on key issues of eighteenth and nineteenth century rural life, popular politics and belief brings together fifteen contributors closely associated with the influential figure of J.F.C. Harrison, who share an interest in the importance of the intimately personal in history, as opposed to the history of impersonal institutions.

Автор: Bratton Benjamin H.
Название: The Stack: On Software and Sovereignty
ISBN: 026202957X ISBN-13(EAN): 9780262029575
Издательство: MIT Press
Рейтинг:
Цена: 45480.00 T
Наличие на складе: Невозможна поставка.
Описание:

A comprehensive political and design theory of planetary-scale computation proposing that The Stack -- an accidental megastructure -- is both a technological apparatus and a model for a new geopolitical architecture.

What has planetary-scale computation done to our geopolitical realities? It takes different forms at different scales -- from energy and mineral sourcing and subterranean cloud infrastructure to urban software and massive universal addressing systems; from interfaces drawn by the augmentation of the hand and eye to users identified by self -- quantification and the arrival of legions of sensors, algorithms, and robots. Together, how do these distort and deform modern political geographies and produce new territories in their own image?

In The Stack, Benjamin Bratton proposes that these different genres of computation -- smart grids, cloud platforms, mobile apps, smart cities, the Internet of Things, automation -- can be seen not as so many species evolving on their own, but as forming a coherent whole: an accidental megastructure called The Stack that is both a computational apparatus and a new governing architecture. We are inside The Stack and it is inside of us.

In an account that is both theoretical and technical, drawing on political philosophy, architectural theory, and software studies, Bratton explores six layers of The Stack: Earth, Cloud, City, Address, Interface, User. Each is mapped on its own terms and understood as a component within the larger whole built from hard and soft systems intermingling -- not only computational forms but also social, human, and physical forces. This model, informed by the logic of the multilayered structure of protocol "stacks," in which network technologies operate within a modular and vertical order, offers a comprehensive image of our emerging infrastructure and a platform for its ongoing reinvention.

The Stack is an interdisciplinary design brief for a new geopolitics that works with and for planetary-scale computation. Interweaving the continental, urban, and perceptual scales, it shows how we can better build, dwell within, communicate with, and govern our worlds.

thestack.org

Автор: Lecomte
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3319339508 ISBN-13(EAN): 9783319339504
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.

Автор: Alessandro Fantechi; Thierry Lecomte; Alexander Ro
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3319684981 ISBN-13(EAN): 9783319684987
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. They are organized in topical sections named: communication challenges in railway systems;

Автор: Ernesto Damiani; Claudio Agostino Ardagna; Nabil E
Название: Open Source Systems Security Certification
ISBN: 1441945903 ISBN-13(EAN): 9781441945907
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book discusses Security Certification Standards and establishes the need to certify open source tools and applications. This includes the international standard for the certification of IT products Common Criteria (ISO/IEC 15408) (CC 2006).

Автор: Copeland, Lee (Author)
Название: A Practitioner`s Guide to Software Test Design
ISBN: 158053791X ISBN-13(EAN): 9781580537919
Издательство: Artech House
Рейтинг:
Цена: 81310.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive, up-to-date and practical introduction to software test design. This book presents all the important test design techniques in a single place and in a consistent and easy-to-digest format.

Автор: Oliveira, Suely (University of Iowa) Stewart, David E. (University of Iowa)
Название: Название: Writing Scientific Software A Guide to Good Style
ISBN: 0521675952 ISBN-13(EAN): 9780521675956
Издательство: Cambridge Academ
Рейтинг:
Цена: 50680.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This manual of scientific computing style will prove to be an essential addition to the bookshelf and lab of everyone who writes numerical software. Scientists, engineers and computer scientists who follow its advice will learn how to write good software, and how to test it for bugs, accuracy and performance.

Автор: Coplien, James
Название: Lean architecture
ISBN: 0470684208 ISBN-13(EAN): 9780470684207
Издательство: Wiley
Рейтинг:
Цена: 31670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: More and more Agile projects are seeking architectural roots as they struggle with complexity and scale - and they`re seeking lightweight ways to do it. This book helps you to find your own path.

Название: Empirical Research for Software Security
ISBN: 1498776418 ISBN-13(EAN): 9781498776417
Издательство: Taylor&Francis
Рейтинг:
Цена: 127600.00 T
Наличие на складе: Невозможна поставка.
Описание: This book introduces the reader to the fundamentals of empirical research methods, and demonstrates how these methods can be used to hone a secure software development lifecycle based on empirical data and published best practices.

Автор: Capers Jones
Название: Software Methodologies
ISBN: 1138033081 ISBN-13(EAN): 9781138033085
Издательство: Taylor&Francis
Рейтинг:
Цена: 117390.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

This comprehensive reference uses a formal and standard evaluation technique to show the strengths and weakness of more than 60 software development methodologies such as agile, DevOps, RUP, Waterfall, TSP, XP and many more. Each methodology is applied to an application of 1000 function points using the Java language. Each methodology produces a characteristic set of results for development schedules, productivity, costs, and quality. The intent of the book is to show readers the optimum kinds of methodologies for the projects they are concerned with and to warn them about counter indications and possible harm from unsuitable methodologies.

Автор: Allen B. Tucker
Название: Client-Centered Software Development: The CO-FOSS Approach
ISBN: 1138583847 ISBN-13(EAN): 9781138583849
Издательство: Taylor&Francis
Рейтинг:
Цена: 84710.00 T
Наличие на складе: Нет в наличии.
Описание: This book will present the CO-FOSS approach to teaching software development. It will be both a textbook and a reference book for instructors, students, and software developers who are interested in the CO-FOSS approach.