Result Details
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.
English title
Consistency of object-oriented IS analysis models
Type
conference paper
Language
Czech
Authors
Abstract
The paper deals creating formal models systems from formal objects a relations. Consistency check such models is discussed.
Keywords
Formální modely, formální objekty, formální vztahy,systémy formálního popisu, logická správnost systému, konzistence modelů
Published
1998
Pages
91–97
Proceedings
Informační systémy a jejich aplikace
ISBN
80-214-1205-4
Publisher
Fakulta stavební VUT
Place
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"
}
Research groups
Departments