Počet záznamů: 1
On Teaching Formal Methods: Behavior Models and Code Analysis
- 1.
SYSNO ASEP 0334299 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název On Teaching Formal Methods: Behavior Models and Code Analysis Překlad názvu Výuka formálních metod: Modely chování a analýza kódu Tvůrce(i) Kofroň, Jan (UIVT-O)
Parízek, P. (CZ)
Šerý, O. (CZ)Zdroj.dok. Teaching Formal Methods. - Berlin : Springer, 2009 / Gibbons J. ; Oliveira J.N. - ISBN 978-3-642-04911-8 Rozsah stran s. 144-157 Poč.str. 14 s. Akce TFM 2009. International Conference Teaching Formal Methods /2./ Datum konání 02.11.2009-06.11.2009 Místo konání Eindhoven Země NL - Nizozemsko Typ akce WRD Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova formal methods ; code analysis ; teaching Vědní obor RIV JC - Počítačový hardware a software CEP 1ET400300504 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000278101900009 DOI 10.1007/978-3-642-04912-5_10 Anotace Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no comprehensive textbooks covering certain topics, especially code analysis. In this paper, we share our experience with teaching two courses. The first is focused on classics of modeling and verification of software and hardware systems (LTS, LTL, equivalences, etc.), while the other one involves topics related to automated analysis of program code. We hope that other lecturers can benefit from our experience to improve their courses. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2010
Počet záznamů: 1