Abstract
A wide range of issues of theory and practice in the development of large-scale software and hybrid software intensive systems, including operating systems, is considered. Issues of configuration management, modeling and verification of such systems, construction of ontological models of subject areas related to application and system software are touched upon. Such multilateral consideration is necessary to ensure reliability, security and elastic development during the multi-year period of operation of infrastructural and mission-critical systems. The paper is based on the materials of studies carried out within the two RFBR projects. In addition to recent results, the authors pay attention to the history of the development of research in the relevant areas in the Soviet Union.
Highlights
construction of ontological models of subject areas related to application and system software are touched upon
The paper is based on the materials of studies carried out
Areas of interest: formal methods of software engineering, testing of software and hardware, formal specification of requirements
Summary
Программирование прошло долгий путь с 50-х годов XX века до наших дней; в результате накоплен опыт создлания разнообразных системных и прикладных программ, в частности: операционных систем, библиотек математических методов решения физико-технических, прикладных и предметных задач для прикладных областей (физика, биология, медицина, химии, генетики и др.). Широкое применение получили функциональные компоненты многоразового использования (КПИ) в разных областях знаний и метод конвейерной сборки технических средств (устройств, приборов) и робототехнических изделий в биотехнике, медицине, химии и др. Одним из средств концептуализации знаний Semantic Web является онтологический аппарат представления знаний в научных, технических, физических, математических, биологических областях. Одним из путей решения таких задач является технология производства программных продуктов (ПП), удовлетворяющая определенным экономическим критериям по организации моделирования, разработки и изготовления продуктов высокого качества и производительности с использованием готовых ресурсов, КПИ со стандартными или унифицированными интерфейсами (CALL, RPC, RMI, IDL, WSDL, API, ABI), способствующих проведению формализованной сборки ресурсов в ЯП 4 поколения (C++, Java, Python, Ruby и др.) на различных программных платформах
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Proceedings of the Institute for System Programming of the RAS
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
