Publication detail

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

KRESLÍKOVÁ, J.

Original Title

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

English Title

Consistency of object-oriented IS analysis models

Type

article in a collection out of WoS and Scopus

Language

Czech

Original 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ů

Authors

KRESLÍKOVÁ, J.

Released

1. 1. 1998

Publisher

Fakulta stavební VUT

Location

Ruprechtov

ISBN

80-214-1205-4

Book

Informační systémy a jejich aplikace

Pages from

91

Pages to

97

Pages count

7

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