Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Gratkowski T.

1 2006

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: clausal

Sortuj według:

Ogranicz wyniki do:

Zastosowanie klauzul w formalizacji czynności w metodyce Cheesmana-Danielsa

Gratkowski T.

Pomiary Automatyka Kontrola

2006

R. 52, nr 6 bis

83-84

Artykuł przedstawia formalizację czynności tworzenia modelu typów na etapie specyfikowania z zastosowaniem języka klauzul. Zastosowanie języka logiki jest bliższe ludzkiemu myśleniu niż inne formalizmy. Umożliwia to przeniesienie mechanizmu wnioskowania dokonywanego przez analityka systemowego w procesie projektowania systemu, do zapisu czytelnego dla systemów komputerowych. Opisana reprezentacja zostanie użyta podczas opracowywania systemu wspomagającego analityka w podejmowaniu decyzji na poszczególnych etapach projektu.

This paper presents a formal representation of develop type model activity at specification stage in a clausal language. Logic language is more human-oriented than other formalism. Using clauses enables to represent a mechanism of concluding used in a process of designing the system. This representation will be used in a decision support system which will support a designer.