Temat: hierarchical specification

Skocz do pozycji: 1.

Tytuł:: Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML
Mapping of hierarchical control interpreted Petri nets with macroplaces in UML activity diagrams
Autorzy:: Grobelny, M.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: UML
diagramy aktywności
interpretowane sieci Petriego sterowania
specyfikacja behawioralna
specyfikacja hierarchiczna
activity diagrams
control interpreted Petri nets
behavioural specification
hierarchical specification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML
Autorzy:: Grobelny, M.
Data publikacji:: 2012
Słowa kluczowe:: UML
diagramy aktywności
interpretowane sieci Petriego sterowania
specyfikacja behawioralna
specyfikacja hierarchiczna
activity diagrams
control interpreted Petri nets
behavioural specification
hierarchical specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: logic controller
dual specification
hierarchical Petri net
UML
state machine diagram; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2012
Słowa kluczowe:: logic controller
dual specification
hierarchical Petri net
UML
state machine diagram; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: An outline of a method of evaluating the design solutions
Autorzy:: Łachwa, Andrzej
Data publikacji:: 2015
Słowa kluczowe:: hierarchical hypergraph
building design
design specification
design knowledge
graph-based data structure
CAD
automated compliance checking; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: An Outline of a Method of Evaluating the Design Solutions
Autorzy:: Łachwa, A.
Data publikacji:: 2015
Słowa kluczowe:: hierarchical hypergraph
graph-based data structure
building design
design knowledge
CAD
design specification
automated compliance checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Obsługa wyjątków oraz stanów wznowienia w ramach dualnej specyfikacji
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2010
Słowa kluczowe:: specyfikacja dualna
SM-HPN
maszyna stanów UML
hierarchiczna sieć Petriego
dual specification
state machine
hierarchical Petri net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Informacja