Powiadomienia systemowe
- Sesja wygasła!
Identyfikatory
Warianty tytułu
Zastosowanie narzędzi programowania logicznego do formalnej specyfikacji oprogramowania
Języki publikacji
Abstrakty
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.
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.
Rocznik
Tom
Strony
67--73
Opis fizyczny
Bibliogr. 7 poz.
Twórcy
autor
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”.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-c57eea62-4fed-4cb4-83e0-5f82c8d2d934