Detail publikace

Formal Abstract Architecture for Use Case Specifications

BUREŠ, F., RYŠAVÝ, O. Formal Abstract Architecture for Use Case Specifications. In Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society Press, 2004. p. 203-211. ISBN: 0-7695-21258.
Název česky
Formálně definovaná architektura pro Use case specifikace
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Bureš František, Ing.
URL
Klíčová slova

Use Case, Formal Specification, Computational Logic, Type Theory, Object-Orientation

Abstrakt

Sémantika use case diagramů je reprezentována formálně jako transformace specifikací do teorií jazyka logiky vyššího řádu.

Rok
2004
Strany
203–211
Sborník
Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
ISBN
0-7695-21258
Vydavatel
IEEE Computer Society Press
Místo
Los Alamitos
BibTeX 
@inproceedings{BUT17124,
  author="Ondřej {Ryšavý} and František {Bureš}",
  title="Formal Abstract Architecture for Use Case Specifications",
  booktitle="Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems",
  year="2004",
  pages="203--211",
  publisher="IEEE Computer Society Press",
  address="Los Alamitos",
  isbn="0-7695-21258",
  url="http://scholar.google.cz/scholar?cites=12073840304138067945&hl=cs&as_sdt=2000 (CITACE), http://scholar.google.cz/scholar?cites=8423297298643292068&hl=cs&as_sdt=2000 (CITACE)"
}
Nahoru