Practical Experience with Software Tool Witness in Education of Real-time System Modelling Subject

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F08%3A00016881" target="_blank" >RIV/61989100:27510/08:00016881 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

Praktické zkušenosti s nástrojem Witness ve výuce přdmětu Modelování systémů reálného času

Original language description

Článek se zabývá zkušenostmi z implementace předmětu Modelování systémů reálného času do výuky v bakalářském studijním programu Aplikovaná informatika. V rámci tohoto předmětu byl vybrán a prakticky aplikován do výuky softwarový nástroj Witness, jako produkt podporující modelování realtimových procesů a rovněž jejich simulaci. Bakalářský studijní program Aplikovaná informatika neobsahoval předmět poskytující studentům znalosti s modelováním real-timeových systémů a procesů. Cílem příspěvku je seznámenípedagogické veřejnosti s inovací studijního programu Aplikovaná informatika, resp. s jeho rozšířením o nový studijní předmět, který se podařilo implementovat do výuky. Zavedením předmětu do výuky tak bakalářský studijní program lépe reflektuje současné požadavky firem na dovednosti absolventů.

Czech name

Praktické zkušenosti s nástrojem Witness ve výuce přdmětu Modelování systémů reálného času

Czech description

Článek se zabývá zkušenostmi z implementace předmětu Modelování systémů reálného času do výuky v bakalářském studijním programu Aplikovaná informatika. V rámci tohoto předmětu byl vybrán a prakticky aplikován do výuky softwarový nástroj Witness, jako produkt podporující modelování realtimových procesů a rovněž jejich simulaci. Bakalářský studijní program Aplikovaná informatika neobsahoval předmět poskytující studentům znalosti s modelováním real-timeových systémů a procesů. Cílem příspěvku je seznámenípedagogické veřejnosti s inovací studijního programu Aplikovaná informatika, resp. s jeho rozšířením o nový studijní předmět, který se podařilo implementovat do výuky. Zavedením předmětu do výuky tak bakalářský studijní program lépe reflektuje současné požadavky firem na dovednosti absolventů.

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

—

Continuities

O - Projekt operacniho programu

Publication year

2008

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Informatika XXI/2008

ISBN

978-80-7302-151-1

ISSN

—

e-ISSN

—

Number of pages

2

Pages from-to

—

Publisher name

Konvoj Brno

Place of publication

PEF, Mendelova univerzita Brno

Event location

—

Event date

—

Type of event by nationality

—

UT code for WoS article

—