Detail publikace

Formal Abstract Architecture for Use Case Specifications

RYŠAVÝ Ondřej a BUREŠ František. 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, s. 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
angličtina
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Bureš František, Ing. (UIFS FIT VUT)
URL
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
Konference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Brno, CZ
ISBN
0-7695-21258
Vydavatel
IEEE Computer Society Press
Místo
Los Alamitos, MX
BibTeX 
@INPROCEEDINGS{FITPUB7474,
   author = "Ond\v{r}ej Ry\v{s}av\'{y} and Franti\v{s}ek Bure\v{s}",
   title = "Formal Abstract Architecture for Use Case Specifications",
   pages = "203--211",
   booktitle = "Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems",
   year = 2004,
   location = "Los Alamitos, MX",
   publisher = "IEEE Computer Society Press",
   ISBN = "0-7695-21258",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7474"
}
Nahoru