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: tworzenie modeli typów

Sortuj według:

Ogranicz wyniki do:

Formalizacja kroków dla czynności utworzenia modeli typów z metodyki Cheesmana-Danielsa na potrzeby systemu regułowego

Gratkowski T.

Pomiary Automatyka Kontrola

2006

R. 52, nr 6

36-37

W artykule przedstawiono wykorzystanie języka deklaracyjnego w celu formalizacji kroków wykonywanych w ramach czynności utworzenia modeli typów z metodyki Cheesmana-Danielsa. Zastosowanie języka deklaracyjnego umożliwiło wykorzystanie opracowanych formalizmów w procesie budowania regułowego modelu wiedzy. Opracowane reguły zostaną wykorzystane na potrzeby projektowanego systemu regułowego wspierającego analityka systemowego w procesie projektowania systemu informatycznego. Ocena jakości modeli generowanych przez system regułowy, zostanie zweryfikowana poprzez pomiar i analizę otrzymanych wyników przy użyciu miar oprogramowania.

Declarative programming can be used as a language for formalizing steps in 'develop type model' activity used in Cheesman-Daniels methodology. Developed formalism enables to use described rules for steps and can be used in constructing rule-base knowledge model. Described rules will be use in a rule-base system which will support a designer in process of designing the application. Quality control generated model by a rule-base system, will be verified through measurements and analysis received results apply a software metrics.