Logic Programming Tools for Formal Software Specification
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ę ba...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Warsaw School of Computer Science
2011-09-01
|
| Series: | Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki |
| Online Access: | http://zeszyty-naukowe.wwsi.edu.pl/zeszyty/zeszyt6/LogicProgrammingToolsforFormalSoftwareSpecification.pdf |
| _version_ | 1818178801352310784 |
|---|---|
| author | Halina Przymusińska |
| author_facet | Halina Przymusińska |
| author_sort | Halina Przymusińska |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-11T20:53:45Z |
| format | Article |
| id | doaj.art-803da98d4fc54d45879ad7a306ad0b4d |
| institution | Directory Open Access Journal |
| issn | 1896-396X 2082-8349 |
| language | English |
| last_indexed | 2024-12-11T20:53:45Z |
| publishDate | 2011-09-01 |
| publisher | Warsaw School of Computer Science |
| record_format | Article |
| series | Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki |
| spelling | doaj.art-803da98d4fc54d45879ad7a306ad0b4d2022-12-22T00:51:10ZengWarsaw School of Computer ScienceZeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki1896-396X2082-83492011-09-0156677310.26348/znwwsi.6.67Logic Programming Tools for Formal Software SpecificationHalina Przymusińska 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.http://zeszyty-naukowe.wwsi.edu.pl/zeszyty/zeszyt6/LogicProgrammingToolsforFormalSoftwareSpecification.pdf |
| spellingShingle | Halina Przymusińska Logic Programming Tools for Formal Software Specification Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki |
| title | Logic Programming Tools for Formal Software Specification |
| title_full | Logic Programming Tools for Formal Software Specification |
| title_fullStr | Logic Programming Tools for Formal Software Specification |
| title_full_unstemmed | Logic Programming Tools for Formal Software Specification |
| title_short | Logic Programming Tools for Formal Software Specification |
| title_sort | logic programming tools for formal software specification |
| url | http://zeszyty-naukowe.wwsi.edu.pl/zeszyty/zeszyt6/LogicProgrammingToolsforFormalSoftwareSpecification.pdf |
| work_keys_str_mv | AT halinaprzymusinska logicprogrammingtoolsforformalsoftwarespecification |