Detail publikace

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

KRESLÍKOVÁ, J. Konzistence objektově orientovaných modelů analýzy informačních systémů. 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
česky
Autoři
Kreslíková Jitka, doc. RNDr., CSc. (UIFS)
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
BibTeX 
@inproceedings{BUT191906,
  author="Jitka {Kreslíková}",
  title="Konzistence objektově orientovaných modelů analýzy informačních systémů",
  booktitle="Informační systémy a jejich aplikace",
  year="1998",
  pages="91--97",
  publisher="Fakulta stavební VUT",
  address="Ruprechtov",
  isbn="80-214-1205-4"
}
Nahoru