Detail publikace

Konzistence objektově orientovaných modelů analýzy informačních systémů

KRESLÍKOVÁ Jitka. Konzistence objektově orientovaných modelů analýzy informačních systémů. In: Informační systémy a jejich aplikace. Ruprechtov: Fakulta stavební VUT, 1998, s. 91-97. ISBN 80-214-1205-4.
Název anglicky
Consistency of object-oriented IS analysis models
Typ
článek ve sborníku konference
Jazyk
čeština
Autoři
Kreslíková Jitka, RNDr., CSc (UIVT FEI VUT)
Klíčová slova

Formální modely, formální objekty, formální vztahy,systémy formálního popisu, logická správnost systému, konzistence modelů

Abstrakt

The paper deals creating formal models systems from formal objects a relations. Consistency check such models is discussed.

Anotace

Příspěvek se zabývá vytvářením systémů formálních modelů z formálních objektů a vztahů. Je diskutována jejich logická správnost na dvou úrovních. Modely v OO CASE jsou také vytvářeny z objektů a vztahů určitého typu. Kontrola jejich konzistence zapisovaná v jednoduchém vyšším programovacím jazyce je uživatelem CASE rozšiřovatelná.

Rok
1998
Strany
91-97
Sborník
Informační systémy a jejich aplikace
ISBN
80-214-1205-4
Vydavatel
Fakulta stavební VUT
Místo
Ruprechtov, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6057,
   author = "Jitka Kresl\'{i}kov\'{a}",
   title = "Konzistence objektov\v{e} orientovan\'{y}ch model\r{u} anal\'{y}zy informa\v{c}n\'{i}ch syst\'{e}m\r{u}",
   pages = "91--97",
   booktitle = "Informa\v{c}n\'{i} syst\'{e}my a jejich aplikace",
   year = 1998,
   location = "Ruprechtov, CZ",
   publisher = "Faculty of Civil Engineering BUT",
   ISBN = "80-214-1205-4",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/6057"
}
Nahoru