Logic programming tools for formal software specification

• Autorzy: Przymusińska H.

Warianty tytułu

PL

Zastosowanie narzędzi programowania logicznego do formalnej specyfikacji oprogramowania

• Języki publikacji: EN

Abstrakty

EN

Two of the most important problems in software engineering are the problem of elaborating and refining software requirements into accurate specifications, and the problem of transforming specifications of complicated problems into executable code. Proving that software products produced agree with the specifications (verifiability) is the main reason for pursuing the study of formal specifications.

PL

Jednym z najistotniejszych problemów w inżynierii oprogramowania jest opracowanie i zawężenie wymagań dotyczących oprogramowania w celu określenia dokładnych specyfikacji, a także kwestia przekształcenia specyfikacji dotyczących złożonych problemów w wykonywalne kody. Głównym powodem podjęcia się badania formalnych specyfikacji jest udowodnienie, że oprogramowanie produkowane jest z nimi zgodne (chodzi o weryfikowalność). Artykuł ukazuje, iż programowanie logiczne połączone z rachunkiem sytuacyjnym można z powodzeniem stosować jako formalną specyfikację oprogramowania.

Słowa kluczowe

EN

software engineering; logic programming; programming tools

PL

inżynieria oprogramowania; programowanie logiczne; narzędzia programowania

• Wydawca: Warszawska Wyższa Szkoła Informatyki
• Czasopismo: Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
• Rocznik: 2011
• Tom: nr 6
• Strony: 67--73
• Opis fizyczny: Bibliogr. 7 poz.

Twórcy

autor

Przymusińska H.

Bibliografia

• 1. Fisher J., Lee C., Software engineering education, logic programming, and A.I. tools, in: Proc. 2nd Annual Al Symposium for the California State University, California Polytechnic State University, San Luis Obispo, June 1991
• 2. Kowalski R., Logic Programming in Artificial Intelligence and Software Engineering, in: Intelligent Knowledge-Based Systems, (eds.) O’Shea T., Self J., Thomas G., Harper and Row, 1987
• 3. Nilsson N., Principles of Artificial Intelligence, Tioga, 1980
• 4. Przymusinski T., Non-monotonic reasoning vs. logic programming: a new perspective, in: Handbook of Formal Foundations of A.I., (eds.) Lilks Y., Partridge D., to appear. Abstract in Proc. AAAI’88
• 5. Przymusinska H., and Przymusinski, T., Semantic issues in deductive databases and logic programs, in: Formal Techniques in Art4ficial Intelligence, A Sourcebook, (ed.) Banerji R.B., Elsevier, 1990
• 6. Gelder van A., Ross A., Schlipf J.S., The well-founded semantics for general logic programs, „Journal of the ACM” 1991, Vol. 38, No. 3, pages 620-650
• 7. Woodcock J., Software Engineering Mathematics, Addison-Wesley, 1989

Uwagi

PL

Publikacja opracowana w ramach projektu „Program rozwoju oferty dydaktycznej i podnoszenia kompetencji wykładowców w Warszawskiej Wyższej Szkole Informatyki”.