Článek ve sborníku konference

ŠČUGLÍK František. Relation Between UML2 Activity Diagrams and CSP algebra. In: Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization. Kerkyra: World Scientific and Engineering Academy, 2005, s. 6. ISBN 960-8457-32-7.
Jazyk publikace:angličtina
Název publikace:Relation Between UML2 Activity Diagrams and CSP algebra
Název (cs):Relace mezi Diagramy aktivit z UML2 a CSP algebrou
Strany:6
Sborník:Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization
Konference:WSEAS Internat. Conference on Simulation, Modeling and Optimisation
Místo vydání:Kerkyra, GR
Rok:2005
ISBN:960-8457-32-7
Vydavatel:World Scientific and Engineering Academy
Klíčová slova
UML, CSP, Formální specifikace, Verifikace, Automatizovaný překlad
Anotace
Rozmach počítačových systémů neustále roste a ovlivňují stále více náš každodenní život. Proto je jejich selhání nepřípustné. Jednou z možností jak zvýšit spolehlivost systémů je použití formálních metod. Ty jsou však převážně matematicky založené a systémový vývojáři se je odmítají učit. Tento článek prezentuje možnost automatické tranformace diagramů Aktivit z UML2, které zná a používá většina vývojářů, do CSP algebry, která je formální a může být verifikována.
BibTeX:
@INPROCEEDINGS{
   author = {Franti{\v{s}}ek {\v{S}}{\v{c}}ugl{\'{i}}k},
   title = {Relation Between UML2 Activity Diagrams and CSP
	algebra},
   pages = 6,
   booktitle = {Proceedings of the 5th Int. Conf. on Simulation, Modeling
	and Optimization},
   year = 2005,
   location = {Kerkyra, GR},
   publisher = {World Scientific and Engineering Academy},
   ISBN = {960-8457-32-7},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=7825}
}

Vaše IPv4 adresa: 3.83.192.109
Přepnout na https