Temat: LOTOS - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Transformation of Dynamic Aspects of Uml Models Into Lotos Behaviour Expressions
Autorzy:: Hnatkowska, B.
Huzar, Z.
Powiązania:: https://bibliotekanauki.pl/articles/908339.pdf
Data publikacji:: 2001
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: informatyka
programowanie
statecharts
UML
LOTOS
Opis:: The lack of formal semantics for the UML creates many ambiguity problems, especially when real-time systems are specified. The paper proposes an approach to a formal definition of UML statecharts. Main features of the UML statecharts are described, and next, a transformation of the UML statecharts into LOTOS is defined.
Źródło:: International Journal of Applied Mathematics and Computer Science; 2001, 11, 2; 537-556
1641-876X
2083-8492
Pojawia się w:: International Journal of Applied Mathematics and Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Ocena zrozumiałości sprawozdania z działalności grupy LOTOS SA z wykorzystaniem aplikacji JASNOPIS
Evaluation of the management report understandability with the use of the JASNOPIS application
Autorzy:: Krasodomska, Joanna
Powiązania:: https://bibliotekanauki.pl/articles/593304.pdf
Data publikacji:: 2016
Wydawca:: Uniwersytet Ekonomiczny w Katowicach
Tematy:: JASNOPIS
LOTOS
Sprawozdanie z działalności
Zrozumiałość
Management report
Understandability
Opis:: Sprawozdanie z działalności to istotne źródło informacji o wynikach działalności spółek. Podobnie jak sprawozdanie finansowe, także sprawozdanie z działalności powinno cechować się zrozumiałością. W artykule przeprowadzono ocenę zrozumiałości sprawozdania z działalności Grupy LOTOS SA z wykorzystaniem aplikacji JASNOPIS. Jej wyniki pozwalają stwierdzić, że sprawozdanie zostało napisane trudnym językiem, w szczególności we fragmentach poruszających problem ochrony środowiska, badań i rozwoju czy strategii.
Management report is an important source of information about the results of the company’s performance. Like the financial statement, the management report should be understandable. The article presents the use of the JASNOPIS application to assess the understandability of the LOTOS Group SA management report. The results reveal that the language in which the report has been written is difficult. This is particularly the case with the parts concerning the environmental protection, research and development or strategy.
Źródło:: Studia Ekonomiczne; 2016, 268; 135-143
2083-8611
Pojawia się w:: Studia Ekonomiczne
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
Use of LOTOS language in modeling HOOD method structures
Autorzy:: Brzuchcz, R.
Powiązania:: https://bibliotekanauki.pl/articles/320396.pdf
Data publikacji:: 2006
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: systemy czasu rzeczywistego
weryfikacja oprogramowania
algebry procesów
abstrakcyjne typy danych
LOTOS
HOOD
real-time systems
software verification
process algebras
abstract data types
Opis:: W pracy zaprezentowano możliwości użycia języka LOTOS [3, 7] w projektowaniu oprogramowania systemów czasu rzeczywistego metodą HOOD [6, 13]. Wybrane struktury HOOD zostają wyrażone w języku algebry procesów i abstrakcyjnych typów danych, co zapewnia możliwość formalnej analizy tworzonego projektu. We wprowadzeniu do pracy wyjaśniono cel i motywacje do tworzenia modelu formalnego projektu systemu czasu rzeczywistego. Następnie przedstawiono skrócony opis metodyki hierarchicznego projektowania HOOD, której notacja i proces projektowy stanowią bazę dla proponowanej metody formalizacji. Wyjaśniono znaczenie takich konstrukcji, jak moduł, interfejs, operacja, hierarchia użycia i zawierania. W kolejnym punkcie, po krótkim przedstawieniu języka LOTOS [3, 7], zaprezentowano technikę, w której konstrukcje metody HOOD zostają zinterpretowane w języku formalnym algebry procesów i abstrakcyjnych typów danych. Opis przeprowadzony jest dla prostego przykładu projektu w HOOD, celem wyjaśnienia istoty interpretacji. W części końcowej pracy podano wnioski wraz ze wskazaniem dalszych możliwych kierunków rozwoju i zastosowań prezentowanej metody.
The article presents a possibility of using LOTOS [3, 7] formal language in the HOOD [6, 13] real-time system design. Process algebras and abstract data types are used to express some HOOD structures in order to allow formal analysis of the system. The introduction explains the motivations and the goal of the work. Then, there is a brief survey of the HOOD hierarchical design method in the next point. It states as the base for the formalization method explained in the article. The notions of module, interface, operation, use and include relations are briefly explained. After it, the simple LOTOS language constructs are also presented. Next point explains the formalization of the HOOD structures. This is the most essentials part of the work where the method is presented on the exemplary HOOD diagram. LOTOS code is produced relate to the HOOD informal semantic. It expresses the main concepts of the HOOD dynamic model. There are the conclusions and further works proposals at the end of the article.
Źródło:: Elektrotechnika i Elektronika; 2006, 25, 1; 1-9
1640-7202
Pojawia się w:: Elektrotechnika i Elektronika
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "LOTOS" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język