Detail výsledku
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
Abstrakt
The paper deals creating formal models systems from formal objects a relations. Consistency check such models is discussed.
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ů
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"
}
Výzkumné skupiny
Pracoviště