Notice: Undefined index: linkPowrot in C:\wwwroot\wwwroot\publikacje\publikacje.php on line 1275
Strona główna > Publikacje
Publikacje
Pomoc (F2)
[25940] Artykuł:

Algebraic models of application of computer systems and information technologies

Czasopismo: Proceedings 13th International Scietific Conference on Informatics. INFORMATICS 2015. November 18-20, 2015, Poprad, Slovakia   Strony: 189-194
ISBN:  978-1-4673-9868-8
Wydawca:  IEEE, 345 E 47TH ST, NEW YORK, NY 10017 USA
Opublikowano: Listopad 2015
 
  Autorzy / Redaktorzy / Twórcy
Imię i nazwisko Wydział Katedra Procent
udziału		 Liczba
punktów
Volodymyr Ovsyak orcid logoWEAiIKatedra Systemów Informatycznych *2515.00  
Dmytro Bui25.00  
Oleksandr Ovsyak25.00  
Julia Petruszka25.00  

Grupa MNiSW:  Materiały z konferencji międzynarodowej (zarejestrowane w Web of Science)
Punkty MNiSW: 15
Klasyfikacja Web of Science: Proceedings Paper

Pełny tekstPełny tekst     Web of Science Logo Web of Science    
Keywords:

The model of use cases  instrumental tools of Microsoft VisualStudio.NET platform  modified algorithmic algebras systems  modified algorithms algebras  composite type program algebras  primitive program algebras  branching. 


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.


POWRÓT
Strona główna > Publikacje