E-learning Using Specification and Description Language
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
E-learning Using Specification and Description Language
Original language description
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.
Czech name
E-learning pomocí jazyka SDL
Czech description
Článek popisuje návrh webového systému pro výuku komunikačních protokolů. Účelem tohoto systému je poskytnout grafické rozhraní s on-line přístupem k zdrojovým kódům různých protokolů. Základní myšlenkou je poskytnout bezplatný přístup k programům ve formálním jazyce. Namísto často užívaných nižších jazyků jako C++ nebo Java, webový systém využívá formální jazyk SDL (Specification and Description Language). Takto mohou studenti i jiní zájemci studovat detailní chování protokolu bez znalosti jazyka C+++.
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/1ET301710508" target="_blank" >1ET301710508: Optimization of methods for IP multicast networks</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Communication and Information Technologies
ISBN
80-8040-269-8
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
247-250
Publisher name
Akadémia ozbrojených síl
Place of publication
Liptovský Mikuláš
Event location
Tatranské Zruby
Event date
Nov 23, 2005
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—