Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "programming language" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    Model checking of java programs using networks of fadds
    Autorzy:
    Woźna, B.
    Zbrzezny, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/121764.pdf
    Data publikacji:
    2009
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    język programowania Java
    programowanie komputerowe
    Pathfinder
    języki programowania
    Java programming language
    computer programming
    PathFinder code
    programming languages
    Opis:
    In the paper we present the current theoretical base of the J2FADD tool, which translates a Java program to a network of finite automata with discrite data (FADDs).The reason for building the tool is that to model check a concurrent program writ-ten in Java by means of the tools like Uppaal or VerICS (the module VerICS ), an automata model of the Java program must be build first. This is because these tools verify only systems modeled as networks of automata, in particular, systems modeled as networks of FADDs. We also make an attempt to evaluate the J2FADD tool by comparison of it with the two well known Java verification tools: Bandera and Java PathFinder.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2009, 14; 151-164
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Język C++/CLI – narzędzie do tworzenia aplikacji
    C++/CLI language - application development tool
    Autorzy:
    Jastrzębski, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/137214.pdf
    Data publikacji:
    2012
    Wydawca:
    Uczelnia Jana Wyżykowskiego
    Tematy:
    C++
    CLI
    Common Language Infrastructure
    języki programowania
    programming languages
    Opis:
    Praca przedstawia podstawowe wiadomości na temat języka C++/CLI (Common Language Infrastructure), w szczególności różnice pomiędzy nim a językiem C++. Pomimo skrótowej formy zawiera informacje wystarczające do zbudowania pełnowartościowych aplikacji w technologii .NET.
    This paper presents basic features of a C++/ CLI (Common Language Infrastructure), with a particular focus on differences between this language and a C++ language. Despite the abbreviated form, the paper contains enough information to allow one to create valuable applications using .NET technology.
    Źródło:
    Zeszyty Naukowe Dolnośląskiej Wyższej Szkoły Przedsiębiorczości i Techniki. Studia z Nauk Technicznych; 2012, 1; 55-71
    2299-3355
    Pojawia się w:
    Zeszyty Naukowe Dolnośląskiej Wyższej Szkoły Przedsiębiorczości i Techniki. Studia z Nauk Technicznych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    About Implementation of IEC 61131-3 IL Function Blocks in Standard Microcontrollers
    Autorzy:
    Chmiel, M.
    Mocha, J.
    Hrynkiewicz, E.
    Polok, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/226742.pdf
    Data publikacji:
    2014
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    central processing unit
    programmable logic controller
    microprocessor control
    microprogramming
    programming languages
    language operators
    Opis:
    The paper presents considerations on implementation of function blocks of the IL language, as fragments of control programs that use these blocks. Subsequently, the predefined function blocks of the IL language have been applied to implementation in a Central Processing Unit for a programmable controller based on standard microcontroller from such families as MCS-51, AVR and ARM with the Cortex-M3 core. The considerations refer to the IL language revision that is fully compliant with the IEC-61131-3 standards. The completed theoretical analysis demonstrated that the adopted method of the module description is really reasonable and offers substantial advantages as compared to direct calls of function modules already developed as subroutines. Also the executed experiments have proved the feasibility to arrange central units of programmable controllers on the basis of standard microcontrollers and such central units may be competitive to compact CPUs available on the market for typical PLCs.
    Źródło:
    International Journal of Electronics and Telecommunications; 2014, 60, 1; 42-46
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-3 z 3

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies