Temat: systems verification

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ę "systems verification" wg kryterium: Temat

Wyświetlanie 1-7 z 7

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Application of OBDD Diagrams in Verification of Tabular Rule Systems
Autorzy:: Szwed, P.
Ligęza, A.
Data publikacji:: 2005
Słowa kluczowe:: binary decision diagrams
OBDD
tabular rule systems
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A visual edition tool for design and verification of knowledge in rule-based systems
Autorzy:: Nalepa, G. J.
Ligęza, A.
Data publikacji:: 2005
Słowa kluczowe:: systemy ekspertowe
visual edition tool
knowledge verification
knowledge design
knowledge representation
expert systems
rule-based systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A graphical tabular model for rule-based logic programming and verification
Autorzy:: Nalepa, G. J.
Ligęza, A.
Data publikacji:: 2005
Słowa kluczowe:: systemy ekspertowe
Prolog
logic programming
expert systems
graphical tabular model
formal verification procedures
visual information modeling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: BPMN – a logical model and property analysis
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: Business Process Modeling Notation
BPMN
business rules
rule-based systems
eXtended Tabular Trees
XTT
XTT2
system verification
formal analysis
declarative model; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: BPMN – a logical model and property analysis
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Słowa kluczowe:: Business Process Modeling Notation
BPMN
business rules
rule-based systems
eXtended Tabular Trees
XTT
XTT2
system verification
formal analysis
declarative model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A Note on Analysis of BPMN Diagrams
Przyczynek do analizy diagramów BPMN
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: notacja modelowania procesów biznesowych
BPMN
reguły biznesowe
systemy regułowe
analiza systemowa
weryfikacja systemów
bezpieczeństwo
niezawodność
efektywność
poprawność
Business Process Modeling Notation (BPMN)
business rules
rule-based systems
system analysis
system verification
safety
reliability
efficiency
correctness; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: A Note on Analysis of BPMN Diagrams
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Słowa kluczowe:: notacja modelowania procesów biznesowych
BPMN
reguły biznesowe
systemy regułowe
analiza systemowa
weryfikacja systemów
bezpieczeństwo
niezawodność
efektywność
poprawność
Business Process Modeling Notation (BPMN)
business rules
rule-based systems
system analysis
system verification
safety
reliability
efficiency
correctness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-7 z 7

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

Informacja

Wyszukujesz frazę "systems verification" wg kryterium: Temat