Wyniki wyszukiwania:

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.
The publications focus on aspects of lexicography such as micro- and macrostructure, typology, history of the discipline, and application-oriented...

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.

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 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.

• Describes the descending phase of the creation of a software application, detailing specification phases,...

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...

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.