Buchumschlag

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оо....

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
Hauptverfasser:	Reznichenko, V.A., Proskudina, G.Yu., Ovdii, O.M.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2015
Schlagworte:	CERIF SPAR CIDOC CRM FRBR FRBRоо UDC 004.415
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/88
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Development of integrated system of scientific periodicals based on the OJS
von: Kudim, K.A., et al.
Veröffentlicht: (2017)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

Static method of consistency and completeness checking in formal model of distributed software systems
von: Kolchin, A.V., et al.
Veröffentlicht: (2025)

DS-theory. Scientific aspects and prospects for development
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

DS-theory. The research of P-data factors formating
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

On the possibility of a systematic study of the production management systems
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)

Theoretical and applied aspects of relations and operations for sequences of time intervals
von: Kudym, K.A., et al.
Veröffentlicht: (2025)

About one Approach for the Verification of Algebraic Computations
von: Lvov, M.S.
Veröffentlicht: (2025)

Regression testing: techniques and future research directions
von: Moroz, H.B., et al.
Veröffentlicht: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2025)

Functionality and Statistics of the use of the scientific digital library of periodical publications of the NAS of Ukraine
von: Andon, P.I., et al.
Veröffentlicht: (2018)

Equivalence of two parallel execution systems
von: Panchenko, T.V., et al.
Veröffentlicht: (2018)

An approach to behavioral software models refinement using design patterns
von: Chebanyuk, O.B.
Veröffentlicht: (2025)

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)

Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
von: Chebanyuk, E.V., et al.
Veröffentlicht: (2015)

ОСОБЛИВОСТІ ВИКОРИСТАННЯ ERP- І CRM- СИСТЕМ ДЛЯ АВТОМАТИЗАЦІЇ УПРАВЛІННЯ ПІДПРИЄМСТВОМ
von: Kovpaka, Anastasiya, et al.
Veröffentlicht: (2022)

VuFind: an open solution for integrating library collections
von: Proskudina, G.Yu., et al.
Veröffentlicht: (2023)

Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
von: Palagin, O.V., et al.
Veröffentlicht: (2025)

Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)

Formal semantics of aggregate operations of multiset table algebra
von: Glushko, I.M.
Veröffentlicht: (2025)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
von: Krivonos, Yu.G., et al.
Veröffentlicht: (2015)

About technologies of use of external data on creating and editing of encyclopedic texts
von: Proskudina, G.Yu., et al.
Veröffentlicht: (2018)

Overview of global open access resource aggregation services and their requirements for data providers
von: Proskudina, G.Yu., et al.
Veröffentlicht: (2025)

Global open access resource aggregation services and their requirements for data providers
von: Proskudina, G.Yu., et al.
Veröffentlicht: (2024)

Extracting structure from text documents based on machine learning
von: Kudim, K.A., et al.
Veröffentlicht: (2023)

On the peculiarities of using sparse matrices in problems of mathematical modeling
von: Khimich, O.M., et al.
Veröffentlicht: (2023)

Methods and tools for extracting personal data from theses abstracts
von: Kudim, K.A., et al.
Veröffentlicht: (2019)

Analysis of formal models and standards for structured electronic document in corporate informational system
von: Sharypanov, A.V., et al.
Veröffentlicht: (2018)

Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

The architecture and functionality of the multi-agent system Navigation
von: Yalovets, A.L.
Veröffentlicht: (2018)

A method for extracting data from semis-tructured documents
von: Kudim, K.A., et al.
Veröffentlicht: (2020)

On the issue of automating the workflow design based on algebra-algorithmic and ontological tools
von: Ovdii, O.M.
Veröffentlicht: (2019)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Decision support system for quality management in study process
von: Komleva, N.O., et al.
Veröffentlicht: (2020)

ЕКОНОМІЧНА СУТНІСТЬ ТА ФУНКЦІОНАЛЬНЕ ЗНАЧЕННЯ МАРКЕТИНГУ В МЕХАНІЗМІ УПРАВЛІННЯ ПІДПРИЄМСТВОМ
von: Kalinichenko, Olena
Veröffentlicht: (2025)