Matches in SemOpenAlex for { <https://semopenalex.org/work/W1835132979> ?p ?o ?g. }
Showing items 1 to 41 of
41
with 100 items per page.
- W1835132979 abstract "Аннотация. Рассматриваются задачи полной и инкрементальной верификации объектно-ориентированных данных. На основе теории графов строится формальный аппарат, а также описываются разработанные методы инкрементальной верификации, использующие статический анализ спецификации ограничений и позволяющие локализовать область потенциальных нарушений при изменении данных. Методы предоставляют весомую альтернативу полной верификации прикладных данных при локальных изменениях, преобладающих в многопользовательских графических приложениях. Постановка задачи и методы описываются применительно к языку EXPRESS, предоставляющему универсальную нотацию для спецификации объектноориентированных моделей данных и ограничений на них." @default.
- W1835132979 created "2016-06-24" @default.
- W1835132979 creator A5019381269 @default.
- W1835132979 creator A5033397136 @default.
- W1835132979 creator A5041079280 @default.
- W1835132979 date "2004-01-01" @default.
- W1835132979 modified "2023-10-18" @default.
- W1835132979 title "Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений." @default.
- W1835132979 cites W1495380017 @default.
- W1835132979 cites W1502870524 @default.
- W1835132979 cites W1529888378 @default.
- W1835132979 cites W1574837706 @default.
- W1835132979 cites W2123859812 @default.
- W1835132979 cites W2131510732 @default.
- W1835132979 hasPublicationYear "2004" @default.
- W1835132979 type Work @default.
- W1835132979 sameAs 1835132979 @default.
- W1835132979 citedByCount "0" @default.
- W1835132979 crossrefType "journal-article" @default.
- W1835132979 hasAuthorship W1835132979A5019381269 @default.
- W1835132979 hasAuthorship W1835132979A5033397136 @default.
- W1835132979 hasAuthorship W1835132979A5041079280 @default.
- W1835132979 hasConcept C41008148 @default.
- W1835132979 hasConceptScore W1835132979C41008148 @default.
- W1835132979 hasLocation W18351329791 @default.
- W1835132979 hasOpenAccess W1835132979 @default.
- W1835132979 hasPrimaryLocation W18351329791 @default.
- W1835132979 hasRelatedWork W2093578348 @default.
- W1835132979 hasRelatedWork W2096946506 @default.
- W1835132979 hasRelatedWork W2350741829 @default.
- W1835132979 hasRelatedWork W2358668433 @default.
- W1835132979 hasRelatedWork W2376932109 @default.
- W1835132979 hasRelatedWork W2382290278 @default.
- W1835132979 hasRelatedWork W2390279801 @default.
- W1835132979 hasRelatedWork W2748952813 @default.
- W1835132979 hasRelatedWork W2766271392 @default.
- W1835132979 hasRelatedWork W2899084033 @default.
- W1835132979 isParatext "false" @default.
- W1835132979 isRetracted "false" @default.
- W1835132979 magId "1835132979" @default.
- W1835132979 workType "article" @default.