Formalizacja procesu pozyskiwania informacji dla potrzeb specyfikacji wymagań na projektowany system

• Autorzy: Liderman K.
• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono koncepcję wspomagania pozyskiwania wymagań (na drodze wywiadu) dla celów budowy systemów informatycznych. Jako podstawa formalna prezentowanej koncepcji został wykorzystany aparat struktur operacyjnych.

Słowa kluczowe

PL

projektowanie; proces projektowania; dokumentowanie; systemy sterowania

• Wydawca: Instytut Teleinformatyki i Automatyki, Wydział Cybernetyki, Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
• Czasopismo: Biuletyn Instytutu Automatyki i Robotyki
• Rocznik: 1998
• Tom: R. 4, nr 9
• Strony: 41--56
• Opis fizyczny: Bibliogr. 14 poz., schem.

Twórcy

autor

Liderman K.

• Wojskowa Akademia Techniczna, ul. gen. Sylwestra Kaliskiego 2, 00 -908 Warszawa

Bibliografia

• [1] P.P., Chen S.: English sentence structure and Entity-Relationship diagrams. Information Sciences, No.29, Pp.127-149, 1983.
• [2] Coad P., Yourdon E.: Analiza obiektowa. Oficyna Wydawnicza „Read Me", 1994.
• [3] Coad P., Yourdon E.: Projektowanie obiektowe. Oficyna Wydawnicza „Read Me”, 1994.
• [4] HatleyJ. D., Pirhai I. A.: Strategies for Real-Time System Specyfication. Dorset House, 1988.
• [5] Liderman K.: Koncepcja języka formułowania wymagań. Postępy Cybernetyki, Zeszyt 4, Warszawa, 1993.
• [6] Liderman K.: Metoda sformalizowanego zapisu wiedzy i procedur wnioskowania dla potrzeb automatyzacji analizy operacyjnej systemów informatycznych. Rozprawa doktorska, WAT, Warszawa, 1988.
• [7] Loucopoulos P., Karakostas V. System Requirements Engineering. McGraw-Hill, 1995.
• [8] van der Putten P., Voeten J.: Specyfication of Reactive Hardware/Software Systems. Rozprawa doktorska, Uniwersytet Techniczny Eindhoven, 1997.
• [9] Prokop A.: Projekt systemu wspomagania pozyskiwania wiedzy. Praca magisterska, WAT, Warszawa. 1994.
• [10] Stokalski A., Liderman K.: Metoda formalizacji modeli konceptualnych dla systemów przetwarzania wiedzy. Postępy Cybernetyki, Nr 2, Warszawa, 1989.
• [11] Stokalski A.: Elementy teoretycznych podstaw inżynierii procesów przetwarzania informacji. Dodatek do Biuletynu WAT, Nr 8, (360), Warszawa, 1982.
• [12] Stokalski A.: Zastosowanie struktur operacyjnych w inżynierii procesów. Postępy Cybernetyki, Nr 5, Warszawa, 1982.
• [13] Yourdon E.: Współczesna analiza strukturalna. WNT, 1996.
• [14] Wieringa R. J.: Requirements Engineering. Frameworks for Understanding, John Wiley&Sons, 1996