Анализ и систематизация правовых дефиниций в учебном процессе юридического вуза: методология и технология реализации
Because of rapid mobile technologies expansion, there is a gap between the complexity of mobile applications and the complexity of employed testing techniques. This paper is aimed at reducing the gap from the theoretical point of view. The paper comprises an analysis of mobile applications testing processes, mobile applications testing metrics, along with the full test coverage criterion. It also contains an integral criterion of the testing processes optimization which is based on the idea of summing the corresponding sub-processes times. The presented criterion leads to an assumption of the tests generation approach efficiency. Therefore a partial criterion of the tests generation process is proposed. The mathematical model of this partial criterion is based on the properties of different algebraic expressions. The numerical results section includes processes comparison and some estimates.
The author of this paper aims at summing up the key elements of legal doctrine developed by the Austrian legal thinker Hans Kelsen. Kelsen’s theory is multifaceted and it admits not only formally juridical but also sociological, philosophical, cultural, political understandings of law. Although, this thinker draws an exaggerated distinction between different scientific disciplines – drawing this distinction served as the main reason for criticizing his conception of law. The juridical ideas introduced by Kelsen were in accordance with the need of science of law in deideologization of legal science and in abandoning essentialism when explaining law and state. For that époque these ideas served as valuable instruments which gave way to further philosophical discussions about law in the 20th century. Reassessing Kelsen’s theory in the perspective of the contemporary social sciences, one can conclude that the approach to law advocated by Kelsen is fairly compatible with the non-classical scientific paradigm.
Because of rapid mobile technologies expansion, there is a gap between the complexity of mobile applications and the complexity of employed testing techniques. This paper is aimed at reducing the gap from the practical point of view. Tests generation techniques are widely spread, but none of them are optimized for mobile applications. This paper proposes an analytical model of tests generation process, which is based on prototypes and takes mobile specificity into consideration. Along with this an analysis of existing tests generation approaches has beenmade. The flowchart of the proposed model has been submitted with the model. The efficiency of the model has been described in the numerical results section.
In the book consider the history and modern trends of analytic legal philosophy