Formalna specyfikacja systemu informatycznego

• Autorzy: Stanisław Kędzierski
• Języki publikacji: PL

Abstrakty

Specyfikacja jest bardzo istotnym elementem procesu prac nad tworzeniem i rozwojem systemu informatycznego (SI). Za jej pomocą definiuje się wszystkie wymagania stawiane oprogramowaniu tworząc bazę do dalszych prac nad systemem. Drugim czynnikiem, który decyduje o ważności specyfikacji jest spełnianie przez nią roli komunikacyjnej pomiędzy użytkownikiem a twórcą SI. Stanowi ona w ten sposób fragment umowy zawieranej przez te dwa podmioty procesu projektowego. Specyfikacje SI tradycyjnie przedstawiane są w języku naturalnym. Za najważniejsze zalety tego sposobu należy przyjąć łatwość zapisania i czytania przez ludzi. Największą wadą jest możliwość wystąpienia niejednoznaczności wynikających z wielkiego bogactwa znaczeń słów języka naturalnego. Istnieje realna groźba innej interpretacji specyfikacji sformułowanej w języku naturalnym aniżeli było to zamysłem redagującego. Od pewnego czasu daje się zauważyć, że coraz więcej specyfikacji pisanych jest za pomocą języków formalnych, wymagających zastosowania odpowiednich narzędzi formalnych. Zachodzący proces formalizacji specyfikacji można przyrównać do wprowadzania języków czwartej generacji w dziedzinie programowania komputerów. Ogólnie można powiedzieć, że sformalizowanie wymagań jest granicą pomiędzy nieformalnym a formalnym opisem obszaru zainteresowań projektanta (UoD).(fragment tekstu)

Słowa kluczowe

PL

Systemy informatyczne; Języki programowania; Algebra; Bankomaty; Matematyka; Logika

EN

Computer system; Programing languages; Algebra; Cash machine; Mathematics; Logic

• Czasopismo: Prace Naukowe / Akademia Ekonomiczna w Katowicach
• Rocznik: 1994
• Tom: Metody formalne w inteligentnych systemach informatycznych
• Strony: 7-19

Twórcy

autor

Stanisław Kędzierski

• Akademia Ekonomiczna im. Karola Adamieckiego w Katowicach

Bibliografia

• ---
• Fuchs N.E.: Specifications are (preferably) excecutable. "Software Engineering Journal", September 1992, s. 323-334
• Gougen J.A., Mesegner J.: Rapid prototyping in the OBJ executable specification language ACM SIGSOFT. "Software Engineering Notes" 1982, No 5, s. 75-84
• Jones C.B.: Konstruowanie oprogramowania metodą systematyczną. WNT, Warszawa 1984
• Kędzierski S.: Modelowanie formalne inteligentnego systemu informatycznego. W: J. Gołuchowski, S. Kędzierski, K. Kania: Wybrane zagadnienia tworzenia systemów doradczych w dziedzinie rachunkowości. AE, Katowice 1992 (maszynopis), s.61-86
• Liskov B., Zilles S.: Specification techniques for data abstraction IEEE Transactions on Software Engineering 1975, No 1, s. 7-19
• Naur P.: Formalization in program development. "BIT" 1982, No 4, s, 437-453
• Spivey J.M.: Understanding Z. A specification language and its formal semantics. Cambridge University Press, Cambridge 1988
• Spivey J.M.: The Z notation. A reference manual Prentice Hall International. London 1989
• Wing J.M.: A Specifier's introduction to formal methods. "Computer", September 1990, s. 8-24
• ---