Powiadomienia systemowe
- Sesja wygasła!
- Sesja wygasła!
- Sesja wygasła!
Tytuł artykułu
Autorzy
Identyfikatory
Warianty tytułu
Using clausal in formalization activities from Cheesma-Daniels methodology
Konferencja
Konferencja Informatyka - Sztuka czy Rzemiosło (19-22 czerwca 2006; Złotniki Lubańskie; Polska)
Języki publikacji
Abstrakty
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.
Wydawca
Czasopismo
Rocznik
Tom
Strony
83--84
Opis fizyczny
Bibliogr. 8 poz.
Twórcy
autor
- Instytut Informatyki i Elektroniki, Uniwersytet Zielonogórski, T.Gratkowski@iie.uz.zgora.pl
Bibliografia
- [1] Chessman J., Daniels J.: Komponenty w UML, Wydawnictwa Naukowo-Techniczne 2004.
- [2] D’Souza D. F., Wills A. C.: Objects, Components, and Frameworks with UML: The Catalysis Approach, Addison-Wesley 1998.
- [3] Gratkowski T.: Cykl życia projektu informatycznego, Pierwsza Konferencja Naukowa ’Informatyka - sztuka czy rzemiosło’, Oficyna Wydawnicza Uniwersytetu Zielonogórskiego 2004, 113–118.
- [4] Kowalski R.: Logika w rozwiązywaniu zadań, Wydawnictwa Naukowo-Techniczne 1989.
- [5] Kruchten P.: The Rational Unified Process An Introduction, Computer software-Development, Addison-Wesley, 2000.
- [6] OMG, Software Process Engineering Metamodel (SPEM), v1.1, Object Management Group, January 2005.
- [7] OMG, Unified Modeling Language: Superstructure, v2.0, Object Management Group, July 2005.
- [8] OMG, XML Metadata Interchange (XMI), v2.1, Object Management Group, September 2005.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BSW4-0025-0026