Informacja

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

Wyszukujesz frazę "modele klas w Java" wg kryterium: Temat


Wyświetlanie 1-1 z 1
Tytuł:
From formal methods to implementation based on Petri Nets model of concurrent systems
Od metod formalnych do implementacji na przykładzie modelu w sieci Petriego systemu współbieżnego
Autorzy:
Wojciechowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/152825.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieci Petriego
metody formalne
rzutowanie
modele klas w Java
procedury w języku C
Petri nets
formal methods
mapping
C language
Opis:
Purpose of this work is to suggest a path from formal methods to implementation in designing concurrent system, thus helping further stages of systems development to go on. Author focuses on mapping of nonhierarchical Coloured Petri Nets model to class model of the system in Java and C language. Author extends among others formal model with information which would imply generation of class models from formal model, conforming to Java specification and C language, making continuous integration possible. The whole cycle would be presented with changed Petri Nets model of simple concurrent system.
Celem pracy jest zaproponowanie ścieżki przejścia od modelu formalnego systemu opisanego siecią Petriego do implementacji. Autor skupia się na rzutowaniu niehierarchicznych modeli sieci do modelu klas odpowiadającemu obiektowemu paradygmatowi programowania języka Java i proceduralnemu dla języka C. Autor rozszerza model formalny o informację umożliwiającą dokonanie konwersji do modelu klas i procedur. Cały cykl będzie zaprezentowany na prostym systemie współbieżnym.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 132-134
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-1 z 1

    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