E-learning pomocí jazyka SDL

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F05%3APU52252" target="_blank" >RIV/00216305:26220/05:PU52252 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

E-learning Using Specification and Description Language

Popis výsledku v původním jazyce

The paper describes a web system for learning of networking protocols. The aim of the web system is to offer a graphical interface for on-line access to protocol code examples with accompanying text description. The basic idea was to develop free accessed web pages supporting the posting of a formal language source code. Instead of using low-level languages such as C++ or Java, a formal language can show students much more about the principle of the communication when a particular protocol is used. Iniitially, the goal of formal specification languages was to provide a tool for easy specification of protocol standards and for functional analysis to find and correct errors prior to real implementation. However, it could be also well used for learning purposes. To support this idea, we have proposed and built a web system allowing the presentation of source codes developed in the SDL formal language.

Název v anglickém jazyce

E-learning Using Specification and Description Language

Popis výsledku anglicky

The paper describes a web system for learning of networking protocols. The aim of the web system is to offer a graphical interface for on-line access to protocol code examples with accompanying text description. The basic idea was to develop free accessed web pages supporting the posting of a formal language source code. Instead of using low-level languages such as C++ or Java, a formal language can show students much more about the principle of the communication when a particular protocol is used. Iniitially, the goal of formal specification languages was to provide a tool for easy specification of protocol standards and for functional analysis to find and correct errors prior to real implementation. However, it could be also well used for learning purposes. To support this idea, we have proposed and built a web system allowing the presentation of source codes developed in the SDL formal language.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/1ET301710508" target="_blank" >1ET301710508: Optimalizace metod pro multicast v IP sítích</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2005

Kód důvěrnosti údajů

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

Název statě ve sborníku

Communication and Information Technologies

ISBN

80-8040-269-8

ISSN

—

e-ISSN

—

Počet stran výsledku

4

Strana od-do

247-250

Název nakladatele

Akadémia ozbrojených síl

Místo vydání

Liptovský Mikuláš

Místo konání akce

Tatranské Zruby

Datum konání akce

23. 11. 2005

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—