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