Feliks Kluzniak

Learn More
A requirements speciication is the rst formal description of a program. Formal methods of program construction can be practically useful only when the requirements speciication can be shown to be adequate. This must be done by informal means: inspection and testing. Current speciication languages do not easily support both inspection and testing. We propose(More)
ACKNOWLEDGMENTS This dissertation would not exist without the help and support of several wonderful individuals , and I am grateful to them all. Dr. Gopal Gupta, my adviser, introduced me to both logic programming and answer set programming. Without his guidance and support, I would never have made it this far. Dr. Feliks Klu´zniak provided me with(More)