%0 Journal Article %1 Krause1994 %A Krause, Paul J. %A Byers, Patrick J. %A Hajnal, Saki %D 1994 %J Decision Support Systems %K dss specification %N 3 %P 189 - 197 %R 10.1016/0167-9236(94)90003-5 %T Formal specification and decision support %U http://www.sciencedirect.com/science/article/pii/0167923694900035 %V 12 %X To gain widespread acceptance, decision support systems must be built to the highest possible standards. We believe techniques of formal specification and refinement have a valuable role to play in the development of certain components of decision support systems. We present a tutorial study of the use of formal specification focused on a system for maintaining deductive extensions of a knowledge base. The system is specified using an object-oriented variant of the specification language Z. The relationship of the formal specification with existing theoretical work in AI is discussed together with its refinement into a demonstrably correct implementation.

@article{Krause1994, abstract = {To gain widespread acceptance, decision support systems must be built to the highest possible standards. We believe techniques of formal specification and refinement have a valuable role to play in the development of certain components of decision support systems. We present a tutorial study of the use of formal specification focused on a system for maintaining deductive extensions of a knowledge base. The system is specified using an object-oriented variant of the specification language Z. The relationship of the formal specification with existing theoretical work in AI is discussed together with its refinement into a demonstrably correct implementation.}, added-at = {2012-11-28T14:35:54.000+0100}, author = {Krause, Paul J. and Byers, Patrick J. and Hajnal, Saki}, biburl = {https://www.bibsonomy.org/bibtex/2375cbc14e0444de09932ddf34da054b9/rhatko}, description = {ScienceDirect.com - Decision Support Systems - Formal specification and decision support}, doi = {10.1016/0167-9236(94)90003-5}, groups = {public}, interhash = {8ec74dff98862635b976686f8c9709f3}, intrahash = {375cbc14e0444de09932ddf34da054b9}, issn = {0167-9236}, journal = {Decision Support Systems}, keywords = {dss specification}, number = 3, pages = {189 - 197}, timestamp = {2012-12-06T10:41:47.000+0100}, title = {Formal specification and decision support}, url = {http://www.sciencedirect.com/science/article/pii/0167923694900035}, username = {rhatko}, volume = 12, year = 1994 }