wyszukanych pozycji: 11
![]() |
Certifiable Software Applications 2: Support Processes
ISBN: 9781785481185 / Angielski / Twarda / 2016 / 282 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, skill management, data preparation, requirement management, software verification, and software validation. In addition, analysis of the impact of the use of COTS and pre-existing software on certifiable software is presented. Finally, the last support process concerns the management of commercial tools, the creation of a specific tools, and therefore the qualification of tools, which is based on their impact on the final... Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several majo... |
cena:
454,26 zł |
![]() |
Safety Management for Software-Based Equipment
ISBN: 9781848214521 / Angielski / Twarda / 2013 / 192 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the basis of safety objectives and how to identify objectives related to software programs. From software objectives, the authors present the different safety techniques (fault detection, redundancy and quality control). -Certifiable system- aspects are taken into account throughout the book. ...A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives... |
cena:
738,24 zł |
![]() |
Cenelec 50128 and Iec 62279 Standards
ISBN: 9781848216341 / Angielski / Twarda / 2015 / 378 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard and how it impacts on the activities to be undertaken, helping towards better a preparation for the independent evaluation phase, which is mandatory. CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standar... |
cena:
738,24 zł |
![]() |
Certifiable Software Applications 1: Main Processes
ISBN: 9781785481178 / Angielski / Twarda / 2016 / 308 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software application. In it, the author covers recent developments such as the module, component and product line approach. Applicable standards are presented and security principles are described and discussed. Finally, the requirements for mastering quality and configuration are explained. In this book the reader will find the fundamental practices from the field and an introduction to the concept of... Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establis... |
cena:
560,26 zł |
![]() |
Certifiable Software Applications 3: Downward Cycle
ISBN: 9781785481192 / Angielski / Twarda / 2018 / 356 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing the specification phases, architecture, design and coding, along with important concepts on modeling and implementation. For coding, code generation strategies and/or manual code production are explored. As the application is coded, a presentation of programming languages and their impact on certifiability is presented.
Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing the ... |
cena:
676,35 zł |
![]() |
Formal Methods Applied to Industrial Complex Systems
ISBN: 9781848216327 / Angielski / Twarda / 2014 / 480 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these -formal methods- (such as proof and model-checking) in industrial examples of complex systems.
It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the... A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such ...
|
cena:
881,70 zł |
![]() |
Maitriser la sécurité des systèmes programmables
ISBN: 9786131540622 / Francuski / Miękka / 2018 / 192 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. La sA(c)curitA(c) des systA]mes programmable repose sur une bonne architecture matA(c)rielle et sur un logiciel sAr. Les standards dA(c)diA(c)s aux domaines du transport recommande la mise en oeuvre de processus spA(c)cifique et une maitrise de la sA(c)curitA(c). Mais cette maitrise de la sA(c)curitA(c) peut aller jusqu'A la mise en place d'une A(c)valuation indA(c)pendante voir une certification. Ce livre permet de maitriser les diffA(c)rentes facettes rapidement, c'est ainsi un guide et un mA(c)mo A avoir sous la main.
La sA(c)curitA(c) des systA]mes programmable repose sur une bonne architecture matA(c)rielle et sur un logiciel sAr. Les standards dA(c)diA(c)s aux do...
|
cena:
455,14 zł |
![]() |
Halloween d'Habu Dhabi: Les aventures d'un chat
ISBN: 9781543147926 / Francuski / Miękka / 2017 / 150 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Mon cousin en poste a Abu d'Habi a offert a sa soeur resident a San Francisco, un magnifique chaton nomme Pacha, un beau cadeau Mais, quelle longue route pour ce petit voyageur. Mon autre cousine un jour insista pour que j'ecrive une histoire sur cet evenement banal et familial, c'etait un peu court pour un sujet d'aventure. Apres quelques mois de reflexion, pas tres emballee, ce petit chat a seme dans mon coeur et j'ai enfin trouve l'histoire du cadeau en ecrivant (grace a Pacha ) Halloween d'Abu d'Habi. J'espere qu'elle vous plaira
Mon cousin en poste a Abu d'Habi a offert a sa soeur resident a San Francisco, un magnifique chaton nomme Pacha, un beau cadeau Mais, quelle longue ...
|
cena:
42,78 zł |
![]() |
Aspects de l'Interdiction Dans La Lexicographie Française Contemporaine
ISBN: 9783484309135 / Francuski / Twarda / 1986 / 174 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
472,70 zł |
![]() |
Le nom propre dans l'espace dictionnairique général
ISBN: 9783484391055 / Francuski / Twarda / 2001 / 229 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Lexiographica. Series Maior features monographs and edited volumes on the topics of lexicography and meta-lexicography. Works from the broader domain of lexicology are also included, provided they strengthen the theoretical, methodological and empirical basis of lexicography and meta-lexicography. The almost 150 books published in the series since its founding in 1984 clearly reflect the main themes and developments of the field. Lexiographica. Series Maior features monographs and edited volumes on the topics of lexicography and meta-lexicography. Works from the bro... |
cena:
472,70 zł |
![]() |
Ewangelia na piasku. Duchowość Karola de Foucauld
ISBN: 9788381444927 / Polski / broszurowa / 2022 / 224 str. Termin realizacji zamówienia: ok. 6-8 dni roboczych. Błogosławiony Karol de Foucauld żyjący w pustelni w Tamanrasset na Saharze wśród Tuaregów zginął w grudniu 1916 roku z rąk bojowników z plemienia Senussów, zanim zdążył kogokolwiek nawrócić i założyć zgromadzenie, o którym marzył. Jego życie wydawało się przegrane. Ale Jezus pozostawił dyskretny znak: obok ciała brata Karola znaleziono na piasku Hostię wyrzuconą z tabernakulum oraz Pismo Święte. W ten sposób sam Mistrz z Nazaretu potwierdził jedność ze swoim uczniem w jego radykalnym ogołoceniu i ofierze z siebie. Wokół tego wydarzenia bp J.C. Boulanger...
Błogosławiony Karol de Foucauld żyjący w pustelni w Tamanrasset na Saharze wśród Tuaregów zginął w grudniu 1916 roku z rąk bojowników z ple...
|
30,40 zł |