Ograniczanie wyników
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  metodyka Cheesmana-Danielsa
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
PL
Celem prowadzonych badań jest zbudowanie prototypu systemu, wspierającego analityka systemowego w procesie projektowania wielowarstwowych systemów informatycznych. Przyjęto, iż proces projektowania realizowany będzie zgodnie z metodyką Cheesmana-Danielsa, która został opracowana z myślą o systemach wytwarzanych w technologiach komponentowych. Zadaniem prototypu będzie automatyzacja wybranych zadań realizowanych przez analityka zgodnie z wytycznymi metodyki Cheesmana-Danielsa. W prezentowanym artykule przedstawiono wstępne wymagania i założenia dla prototypu systemu wspierającego analityka systemowego w procesie projektowania. W założeniach przyjęto również, iż w procesie automatyzacji zostanie wykorzystany system regułowy. Zastosowanie systemu regułowego pozwoli zautomatyzować wybrane zadania, do których rozwiązania, wymagana jest wiedza człowieka, a którą można zapisać przy użyciu reguł.
EN
The aim of the research is to build the prototype of the system supporting the system analyst in the process of designing the n-tier informatic systems. The process of designing is carried out according to the Cheesman-Daniels methodology, which has been worked out for designing the n-tier component system. The main task of the prototype will be automatization of selected tasks that are carried out by the analyst, according to the Cheesman-Daniels methodology. This paper presents the introductory requirements and principles for the prototype of the system supporting the system analyst in the process of designing. According to the principles, the rule-based system will be used in the process of automatization. Using the rule-based system will allow to automatize the selected tasks that are solved with help of human knowledge which can be written down as a system of rules.
PL
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.
EN
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.
PL
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.
EN
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.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.