- Tytuł:
-
Logic programming tools for formal software specification
Zastosowanie narzędzi programowania logicznego do formalnej specyfikacji oprogramowania - Autorzy:
- Przymusińska, H.
- Powiązania:
- https://bibliotekanauki.pl/articles/91501.pdf
- Data publikacji:
- 2011
- Wydawca:
- Warszawska Wyższa Szkoła Informatyki
- Tematy:
-
software engineering
logic programming
programming tools
inżynieria oprogramowania
programowanie logiczne
narzędzia programowania - Opis:
-
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. - Źródło:
-
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2011, 5, 6; 67-73
1896-396X
2082-8349 - Pojawia się w:
- Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
- Dostawca treści:
- Biblioteka Nauki
Artykuł