Detail výsledku

Formalism for the Systems with Roles

BURGER, T.; HRUŠKA, T. Formalism for the Systems with Roles. Proceedings of 8th International Conference ISIM'05 Information. Ostrava: Marq software s.r.o., 2005. p. 227-234. ISBN: 80-86840-09-3.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Burger Tomáš, Mgr., Ph.D.
Hruška Tomáš, prof. Ing., CSc., UIFS (FIT)
Abstrakt

The article describes the vision of the systems with roles. It defines the simple formalism of them based on the lattice theory and formulate the message-dispatch problem within the systems with roles.

Klíčová slova

roles, lattice, object-oriented programming, formalism, message dispatch

Rok
2005
Strany
227–234
Sborník
Proceedings of 8th International Conference ISIM'05 Information
Konference
8th International Conference on Information Systems Implementation and Modelling
ISBN
80-86840-09-3
Vydavatel
Marq software s.r.o.
Místo
Ostrava
BibTeX 
@inproceedings{BUT21480,
  author="Tomáš {Burger} and Tomáš {Hruška}",
  title="Formalism for the Systems with Roles",
  booktitle="Proceedings of 8th International Conference ISIM'05 Information",
  year="2005",
  pages="227--234",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-86840-09-3"
}
Projekty
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina informačních a databázových systémů (VZ IS)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru