Publication 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

Kreslíková Jitka, doc. RNDr., CSc. (DIFS)

Keywords

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

Abstract

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

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"
}