Článek ve sborníku konference

 
Ryšavý, O., Bureš, F.: 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, MX, ICSP, 2004, s. 203-211, ISBN 0-7695-21258
Jazyk publikace:angličtina
Název publikace:Formal Abstract Architecture for Use Case Specifications
Název (cs):Formálně definovaná architektura pro Use case specifikace
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
Místo vydání:Los Alamitos, MX
Rok:2004
ISBN:0-7695-21258
Vydavatel:IEEE Computer Society Press
URL:http://scholar.google.cz/scholar?cites=12073840304138067945&hl=cs&as_sdt=2000 (CITACE) [HTML]
URL:http://scholar.google.cz/scholar?cites=8423297298643292068&hl=cs&as_sdt=2000 (CITACE) [HTML]
Klíčová slova
Use Case, Formal Specification, Computational Logic, Type Theory, Object-Orientation
Anotace
Sémantika use case diagramů je reprezentována formálně jako transformace specifikací do teorií jazyka logiky vyššího řádu.
BibTeX:
@INPROCEEDINGS{
   author = {Ondřej Ryšavý and František Bureš},
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7474}
}