Algebraic models of application of computer systems and information technologies

The mathematical models of diagrams of using cases of computer systems and information technologies (for Microsoft Visual Studio.NET platform) are built in the forms of Glushkov's algorithmic algebra systems, Zeitlin-Pogorilyi's modified algorithmic algebra systems, modified algorithmic al...

Full description

Saved in:
Bibliographic Details
Published in:2015 IEEE 13th International Scientific Conference on Informatics pp. 189 - 194
Main Authors: Ovsyak, Volodymyr, Ovsyak, Oleksandr, Bui, Dmytro, Petruszka, Julia
Format: Conference Proceeding
Language:English
Published: IEEE 01.11.2015
Subjects:
Algebra
branching
composite type program algebras
Computational modeling
Computers
Information technology
instrumental tools of Microsoft Visual Studio.NET platform
Mathematical model
modified algorithmic algebras systems
modified algorithms algebras
primitive program algebras
The model of use cases
Unified modeling language
Visualization
ISBN:9781467398671, 1467398675
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract The mathematical models of diagrams of using cases of computer systems and information technologies (for Microsoft Visual Studio.NET platform) are built in the forms of Glushkov's algorithmic algebra systems, Zeitlin-Pogorilyi's modified algorithmic algebra systems, modified algorithmic algebras and primitive program algebras (PPA), which is an example of programing algebra class of composite type. Property of monotonicity and continuity is established for the branching operation of PPA as the corollary of the representation of branching operation in terms of set-theoretic constructions of function restriction over set using the properties of monotonicity and distributivity of function restriction and whole image of set with respect to binary relation.
AbstractList The mathematical models of diagrams of using cases of computer systems and information technologies (for Microsoft Visual Studio.NET platform) are built in the forms of Glushkov's algorithmic algebra systems, Zeitlin-Pogorilyi's modified algorithmic algebra systems, modified algorithmic algebras and primitive program algebras (PPA), which is an example of programing algebra class of composite type. Property of monotonicity and continuity is established for the branching operation of PPA as the corollary of the representation of branching operation in terms of set-theoretic constructions of function restriction over set using the properties of monotonicity and distributivity of function restriction and whole image of set with respect to binary relation.
Author Petruszka, Julia
Ovsyak, Volodymyr
Ovsyak, Oleksandr
Bui, Dmytro
Author_xml – sequence: 1
  givenname: Volodymyr
  surname: Ovsyak
  fullname: Ovsyak, Volodymyr
  email: ovsyak@rambler.ru
  organization: Dept. Applic. of Inf., Kielce Univ. of Technol., Kielce, Poland
– sequence: 2
  givenname: Oleksandr
  surname: Ovsyak
  fullname: Ovsyak, Oleksandr
  email: ovsjak@ukr.net
  organization: Dept. Kino & Arts, Nat. Univ. of Culture & Arts, L'viv, Ukraine
– sequence: 3
  givenname: Dmytro
  surname: Bui
  fullname: Bui, Dmytro
  email: buy@unicyb.kiev.ua
  organization: Dept. of Theor. & Technol. of Program., Taras Shevchenko Nat. Univ. of Kyiv, Kiev, Ukraine
– sequence: 4
  givenname: Julia
  surname: Petruszka
  fullname: Petruszka, Julia
  email: julja-petrushka@rambler.ru
  organization: Dept. Autom. & Inf. Technol., Ukrainian Univ. of Printing, L'viv, Ukraine
BookMark eNpVj71OwzAUhY2AAUqfgMUv0OAbx7E9VhU_lSrBAHN17VwXS4kdxWHo21NEGZiOPunoOzq37CrlRIxxEBWAsA_bFPI04Bx9qWoBqtJSayPhgi2tNtC0WlrTGnP5jzXcsLd1fyA3YfR8yB31hefAcRz76E-6nH7Q52H8mmni5VhmGgrH1PH4N3nqzOQ_U-7zIVK5Y9cB-0LLcy7Yx9Pj--ZltXt93m7Wu1WEWs4rIBdqH7TwwcjWaIWaHKFTopYGCL0VulMWa6s8WqFki7IhE1yrgmvAygW7__VGItqPUxxwOu7Pv-U3z0ZUDA
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/Informatics.2015.7377831
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EISBN 9781467398688
1467398683
EndPage 194
ExternalDocumentID 7377831
Genre orig-research
GroupedDBID 6IE
6IL
CBEJK
RIE
RIL
ID FETCH-LOGICAL-i123t-1ebf2cf70cf836875a7ebeab502381eac907d59a295ca90536a34e8fb65fb4193
IEDL.DBID RIE
ISBN 9781467398671
1467398675
IngestDate Wed Jun 26 19:25:04 EDT 2024
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i123t-1ebf2cf70cf836875a7ebeab502381eac907d59a295ca90536a34e8fb65fb4193
PageCount 6
ParticipantIDs ieee_primary_7377831
PublicationCentury 2000
PublicationDate 20151101
PublicationDateYYYYMMDD 2015-11-01
PublicationDate_xml – month: 11
  year: 2015
  text: 20151101
  day: 01
PublicationDecade 2010
PublicationTitle 2015 IEEE 13th International Scientific Conference on Informatics
PublicationTitleAbbrev Informatics
PublicationYear 2015
Publisher IEEE
Publisher_xml – name: IEEE
Score 1.5822469
Snippet The mathematical models of diagrams of using cases of computer systems and information technologies (for Microsoft Visual Studio.NET platform) are built in the...
SourceID ieee
SourceType Publisher
StartPage 189
SubjectTerms Algebra
branching
composite type program algebras
Computational modeling
Computers
Information technology
instrumental tools of Microsoft Visual Studio.NET platform
Mathematical model
modified algorithmic algebras systems
modified algorithms algebras
primitive program algebras
The model of use cases
Unified modeling language
Visualization
Title Algebraic models of application of computer systems and information technologies
URI https://ieeexplore.ieee.org/document/7377831
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwED2VioEJUIv4lgdG0sZN4nNGhKgYUNUBpG6VfbFRJJSiNuX3YztJKRILWy5DFJ1l353fvXsAd8bGqY19XxilReSRvUgjLyLLJ6hjYVwVElRLXnA2k4tFPu_B_Y4LY4wJzWdm5B8Dll-saOuvysaYIEpPmj5AFHtcLYFJLl3m241wam3ede7E-bgl9_jRx76fKxu13_olqhJiyvT4f39zAsMfch6b78LOKfRMNYD5w8e7h4BLYkHbZsNWlu2B096kVsCBNdObN0xVBSurHX2R1d01u6ueh_A2fXp9fI5asYSodMGnjrjRdkIWY7IyEa4KUejWR-ksBGV3vLoquMhyNckzUrnbekIlqZFWi8zq1KVxZ9CvVpU5B2Ytl1Jxlyp4DA5RkaSEFMUaU8s1XcDAe2P52czDWLaOuPz79RUceYc3_L1r6NfrrbmBQ_qqy836NiziN6SKneg
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEB1KFfSk0orf5uDRbTfdj2SPIpaKtfRQobeSzCayIFtpt_5-M-m2VvDibWcPyzIhmZm8efMA7owNYxtSXxjGeUDIXqAFzwPLe0KHqXFViFctGYrRSE6n2bgB91sujDHGN5-ZDj16LD-f44quyroiEkISaXqPlLN22VqpiDLpct_NEKfa5pvenTDr1vQeGn5MHV1Jp_7aL1kVH1X6R__7n2No_9Dz2HgbeE6gYcoWjB8-3gkELpB5dZslm1u2A0-TibWEA1vPb14yVeasKLcERlZtLtpd_dyGt_7T5HEQ1HIJQeHCTxVwo20PrQjRyih1dYgSboWUTnxYdgesq4PzJFO9LEGVuc2Xqig20uo0sTp2idwpNMt5ac6AWculVNwlC4TCCaFQYoQKQy1iyzWeQ4u8MftcT8SY1Y64-Pv1LRwMJq_D2fB59HIJh-T8NZvvCprVYmWuYR-_qmK5uPEL-g0NvaEx
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2015+IEEE+13th+International+Scientific+Conference+on+Informatics&rft.atitle=Algebraic+models+of+application+of+computer+systems+and+information+technologies&rft.au=Ovsyak%2C+Volodymyr&rft.au=Ovsyak%2C+Oleksandr&rft.au=Bui%2C+Dmytro&rft.au=Petruszka%2C+Julia&rft.date=2015-11-01&rft.pub=IEEE&rft.isbn=9781467398671&rft.spage=189&rft.epage=194&rft_id=info:doi/10.1109%2FInformatics.2015.7377831&rft.externalDocID=7377831
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781467398671/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781467398671/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781467398671/sc.gif&client=summon&freeimage=true