[Context and motivation] Requirements form the foundation of software systems. The quality of the requirements influences the quality of the developed software. [Question/problem] One of the main requirement issues is inconsistency, particularly onerous when the requirements concern temporal constraints. Manual checking whether temporal requirements are consistent is tedious and error prone and...

A diffuse reflectance infrared Fourier-transform (DRIFT) study has been conducted at 373 K and 1 bar on an industrial Cr/Ti/SiO2 Phillips-type catalyst modified with, and without, triethylaluminium (TEAl) as co-catalyst. The reaction rate of the polymerization of ethylene, as monitored by the increase in the methylene stretching band of the growing polyethylene (PE), has been investigated as a ...

[Context and motivation] Validating natural language requirements is an important but difficult task. Although there are techniques available for validating formalized requirements, the gap between natural language requirements and formalism is huge. [Question/problem] As part of a larger piece of work on temporal requirements consistency checking, we developed a front end to semi-automatically...

Purpose: The primary purpose is to present the state of development Teal organizations in age Industry 4.0. article assumes that (1) so-called soft management factors have a significant influence on organizations, and (2) companies operating under changing conditions must adapt these operate successfully. Design/Methodology/Approach: In course research following work was carried out: desk resea...

We report the first complete genome sequence of a strain that presents some pathogenicity and that belongs to a recently characterized genotype of avian paramyxovirus type 1 (APMV-1). This virus, isolated from the common teal, presents the most divergent genome within class I of APMV-1.