Temat: communication with environment - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Communication with Environment in Alvis Models
Autorzy:: Szpyrka, M.
Matyasik, P.
Mrówka, R.
Kotulski, L.
Powiązania:: https://bibliotekanauki.pl/articles/227138.pdf
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: Alvis modelling language
embedded systems
formal verification
communication with environment
Opis:: Alvis is a modelling language defined for the design and a formal verification of embedded systems. An Alvis model is a system of agents that usually run concurrently, communicate one with another, compete for shared resources etc. Due to the fact that an embedded system usually collects inputs that come from its environment and provides outputs that go to the environment it is necessary to provide a mechanism to describe such a communication. In contrast to another formal languages used to model embedded systems it is not necessary, using Alvis, to design such an environment as a part of a model. The paper deals with the problem of modelling a communication with an embedded system environment with Alvis.
Źródło:: International Journal of Electronics and Telecommunications; 2012, 58, 3; 247-254
2300-1933
Pojawia się w:: International Journal of Electronics and Telecommunications
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Condition of first-year students’ didactic adaptation within educational environment enriched with information and communication technologies
Autorzy:: ISHCHUK, Nataliia
LIESOVYI, Volodymyr
Powiązania:: https://bibliotekanauki.pl/articles/457823.pdf
Data publikacji:: 2014
Wydawca:: Uniwersytet Rzeszowski
Tematy:: didactic adaptation
first-year students’ didactic adaptation
information and communication technologies
educational environment enriched with ICT
pilot research
Opis:: There being a contradiction between the didactic systems of comprehensive school and university, university teachers have to find solution to the problem of first-year students’ didactic adaptation. The wide use of ICT in doing every university course calls for adequate teaching methods and didactic conditions for students’ efficient progress in their first year of study at university. The article provides the condition of first-year students’ didactic adaptation within the educational environment enriched with ICT on the basis of the pilot research carried out at Vinnytsia Educational and Scientific Institute of Economics of Ternopil National Economic University. Although the results of the pilot research show students’ weaknesses of use of ICT, they prove the positive impact of the educational environment enriched with ICT on first-year students’ didactic adaptation, since it increases their didactic motivation and in many ways facilitates educational activities.
Źródło:: Edukacja-Technika-Informatyka; 2014, 5, 2; 88-94
2080-9069
Pojawia się w:: Edukacja-Technika-Informatyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "communication with environment" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język