Publication result detail

E-learning Using Specification and Description Language

KOMOSNÝ, D.; BERKA, M.

Original Title

E-learning Using Specification and Description Language

English Title

E-learning Using Specification and Description Language

Type

Paper in proceedings (conference paper)

Original Abstract

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. Initially, 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.

English abstract

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. Initially, 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.

Keywords

Specification and Description Language, E-learning, Communication, Network

Key words in English

Specification and Description Language, E-learning, Communication, Network

Authors

KOMOSNÝ, D.; BERKA, M.

Released

23.11.2005

Publisher

Akadémia ozbrojených síl

Location

Liptovský Mikuláš

ISBN

80-8040-269-8

Book

Communication and Information Technologies

Pages from

247

Pages count

4

Full text in the Digital Library

http://hdl.handle.net/

BibTex

@inproceedings{BUT16666,
  author="Dan {Komosný} and Milan {Berka}",
  title="E-learning Using Specification and Description Language",
  booktitle="Communication and Information Technologies",
  year="2005",
  pages="4",
  publisher="Akadémia ozbrojených síl",
  address="Liptovský Mikuláš",
  isbn="80-8040-269-8"
}