W referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach tworzonych przy uyciu tej metody oraz w automatycznym sprawdzaniu załoe projektowych (ang. design constrains). Pokazano sposób, w jaki przy pomocy systemu odkrywania wiedzy, zintegrowa prac analityka, projektanta, programisty.
Autorzy
Informacje dodatkowe
- Kategoria
- Publikacja monograficzna
- Typ
- rozdział, artykuł w książce - dziele zbiorowym /podręczniku o zasięgu krajowym
- Język
- polski
- Rok wydania
- 2008
Źródło danych: MOSTWiedzy.pl - publikacja "Logika opisowa jako język modelowania oprogramowania" link otwiera się w nowej karcie
