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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2015 IEEE 13th International Scientific Conference on Informatics s. 189 - 194
Hlavní autoři: Ovsyak, Volodymyr, Ovsyak, Oleksandr, Bui, Dmytro, Petruszka, Julia
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.11.2015
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
ISBN:9781467398671
1467398675
DOI:10.1109/Informatics.2015.7377831