Today's mankind increasingly relies on software when solving complex problems while the
number of high-cost software projects is growing rapidly. However, as statistics [1] shows …

Background: Agile techniques recently have received attention from the developers of safety-
critical systems. However, a lack of empirical knowledge of performing safety assurance …

Safety-critical software-intensive systems of systems require rigorous verification and
validation to ensure that they function as per requirements. Unlike verification, validation is …

Abstract [Context and motivation] Safety-critical systems in application domains such as
aerospace, automotive, healthcare, and railway are subject to assurance processes to …

This paper presents an expanded system for the online recognition of handwritten
mathematical formulas. Our target handwritten mathematical formulas are strokes drawn on …

The paper presents the development of agent-oriented information technology (AOIT) for
assessing the sufficiency of information at the initial stages of the software life cycle. This …

The paper is devoted to the developing the intelligent system for determining the sufficiency
of metric information in the software requirements specifications (SRS), which provides on …

As one can only reason about the safety of software within the system context in which the
software is executing, traditional independent validation and verification approaches which …

Current industrial automation systems are becoming more and more complex, and typically
involve different phases of engineering, such as design time and runtime. System …

As métricas de qualidade em sistemas críticos são medidas e indicadores usados para
avaliar e garantir a qualidade, segurança e confiabilidade desses sistemas. Em setores …