Detail publikace

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

KRESLÍKOVÁ, J.

Originální název

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

Anglický název

Consistency of object-oriented IS analysis models

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

čeština

Originální 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ů

Autoři

KRESLÍKOVÁ, J.

Vydáno

1. 1. 1998

Nakladatel

Fakulta stavební VUT

Místo

Ruprechtov

ISBN

80-214-1205-4

Kniha

Informační systémy a jejich aplikace

Strany od

91

Strany do

97

Strany počet

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