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 |