Formal model of scientific publication
The paper concerns resource conceptual model creation for research and digital libraries information systems, particularly the publication model as one of main resources of a research environment. Also well-known connected projects are discussed such as ЕНИП, CERIF, SPAR, CIDOC CRM, FRBR, FRBRоо....
Збережено в:
| Дата: | 2015 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2015
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/88 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Development of integrated system of scientific periodicals based on the OJS
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
DS-theory. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
Theoretical and applied aspects of relations and operations for sequences of time intervals
за авторством: Kudym, K.A., та інші
Опубліковано: (2025)
за авторством: Kudym, K.A., та інші
Опубліковано: (2025)
DS-theory. Scientific aspects and prospects for development
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)
за авторством: Lvov, M.S.
Опубліковано: (2025)
Regression testing: techniques and future research directions
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)
за авторством: Guba, A.A.
Опубліковано: (2025)
DS-theory. The research of P-data factors formating
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
On the possibility of a systematic study of the production management systems
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)
за авторством: Kolchin, A.V.
Опубліковано: (2018)
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
Functionality and Statistics of the use of the scientific digital library of periodical publications of the NAS of Ukraine
за авторством: Andon, P.I., та інші
Опубліковано: (2018)
за авторством: Andon, P.I., та інші
Опубліковано: (2018)
An approach to behavioral software models refinement using design patterns
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)
Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)
Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
за авторством: Chebanyuk, E.V., та інші
Опубліковано: (2015)
за авторством: Chebanyuk, E.V., та інші
Опубліковано: (2015)
Formal semantics of aggregate operations of multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2025)
за авторством: Glushko, I.M.
Опубліковано: (2025)
Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)
за авторством: Panchuk, B.O.
Опубліковано: (2024)
Formalization for sign units creation based on 3d human model for Ukrainian sign language
за авторством: Krivonos, Yu.G., та інші
Опубліковано: (2015)
за авторством: Krivonos, Yu.G., та інші
Опубліковано: (2015)
Formal foundations for software model to model transformation operation
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)
Equivalence of two parallel execution systems
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)
VuFind: an open solution for integrating library collections
за авторством: Proskudina, G.Yu., та інші
Опубліковано: (2023)
за авторством: Proskudina, G.Yu., та інші
Опубліковано: (2023)
Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020)
за авторством: Kolchin, A., та інші
Опубліковано: (2020)
About technologies of use of external data on creating and editing of encyclopedic texts
за авторством: Proskudina, G.Yu., та інші
Опубліковано: (2018)
за авторством: Proskudina, G.Yu., та інші
Опубліковано: (2018)
Managing scientific workflows in grid systems
за авторством: Tverdokhlib, E.M., та інші
Опубліковано: (2025)
за авторством: Tverdokhlib, E.M., та інші
Опубліковано: (2025)
Overview of global open access resource aggregation services and their requirements for data providers
за авторством: Proskudina, G.Yu., та інші
Опубліковано: (2025)
за авторством: Proskudina, G.Yu., та інші
Опубліковано: (2025)
Extracting structure from text documents based on machine learning
за авторством: Kudim, K.A., та інші
Опубліковано: (2023)
за авторством: Kudim, K.A., та інші
Опубліковано: (2023)
Global open access resource aggregation services and their requirements for data providers
за авторством: Proskudina, G.Yu., та інші
Опубліковано: (2024)
за авторством: Proskudina, G.Yu., та інші
Опубліковано: (2024)
Перечитывая приписку Сильвестра 1116 г.
за авторством: Толочко, А.
Опубліковано: (2008)
за авторством: Толочко, А.
Опубліковано: (2008)
Редакция Повести временных лет игумена Сильвестра: историческая реальность или ученая фикция?
за авторством: Толочко, П.
Опубліковано: (2008)
за авторством: Толочко, П.
Опубліковано: (2008)
Об одном возможном источнике предисловия к Начальному своду
за авторством: Фоллин, С.
Опубліковано: (2008)
за авторством: Фоллин, С.
Опубліковано: (2008)
ОСОБЛИВОСТІ ВИКОРИСТАННЯ ERP- І CRM- СИСТЕМ ДЛЯ АВТОМАТИЗАЦІЇ УПРАВЛІННЯ ПІДПРИЄМСТВОМ
за авторством: Kovpaka, Anastasiya, та інші
Опубліковано: (2022)
за авторством: Kovpaka, Anastasiya, та інші
Опубліковано: (2022)
Analysis of formal models and standards for structured electronic document in corporate informational system
за авторством: Sharypanov, A.V., та інші
Опубліковано: (2018)
за авторством: Sharypanov, A.V., та інші
Опубліковано: (2018)
Specialized search engine system of scientific materials in Ukrainian language with social aspects
за авторством: Glybovets, A.M.
Опубліковано: (2025)
за авторством: Glybovets, A.M.
Опубліковано: (2025)
Constraint programming in insertion modeling system
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)
Partial evaluation in insertion modeling system
за авторством: Peschanenko, V.S.
Опубліковано: (2025)
за авторством: Peschanenko, V.S.
Опубліковано: (2025)
Methods and tools for extracting personal data from theses abstracts
за авторством: Kudim, K.A., та інші
Опубліковано: (2019)
за авторством: Kudim, K.A., та інші
Опубліковано: (2019)
Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)