This manuscript presents a technique that allows Equation-based object-oriented Modelling Tools (EOOMT) to exploit Dynamic Decoupling (DD) for partitioning a complex model into "weakly coupled" submodels. Th...
详细信息
The technology of automated construction of the subject domain ontology, based on information extracted from the comments of the TATNEFT oil company relational databases, is considered. The technology is based on buil...
详细信息
In recent years, programming-language support for static memory safety has developed significantly. In particular, borrowing and ownership systems, such as the one pioneered by the Rust language, require the programme...
详细信息
Scala is an open-source programming language created by Martin Odersky in 2001 and released under the BSD or Berkeley Software Distribution license. The language consolidates object-oriented and functional programming...
详细信息
The results of this work have originally been published in [Ru18]. Refactorings constitute an effective means to improve quality and maintainability of evolving object-oriented programs. Search-based techniques have s...
详细信息
Many modern applications of description logics (DLs, for short), such as biomedical ontologies and semantic web policies, provide compelling motivations for extending DLs with an overriding mechanism analogous to the ...
详细信息
Software is the infrastructure of information society, and the construction and application of software energy becomes a core competitiveness. The software development method condenses the systematic software construc...
详细信息
According to the subjective opinions of many industry experts, object immutability is a virtue in object-orientedprogramming, since it leads to side-effect-free design, cleaner code, better concurrency, and many othe...
详细信息
Remote Application programming Interfaces (APIs), as for instance offered in microservices architectures, are used in almost any distributed system today and are thus enablers for many digitalization efforts. It is ha...
详细信息
The paper considers the topical issue of formal description of data structures. Data structures are widely used in modern object-orientedprogramming to solve various practical problems. The paper introduces functions...
详细信息
暂无评论