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žené v:
Podrobná bibliografia
Vydané v:2015 IEEE 13th International Scientific Conference on Informatics s. 189 - 194
Hlavní autori: Ovsyak, Volodymyr, Ovsyak, Oleksandr, Bui, Dmytro, Petruszka, Julia
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.11.2015
Predmet:
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 prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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