A main idea in this paper is that KFD is a formal language, so we can forget about C++ or other implementation languages, and consider KFD as a very high level programming language. KFD is readable, normally small and closer to informal specification than any other languages, but it's not ambiguous and quite easy to parse, in order to produce code for the system. This means that KFD is really a portable language and that we can improve, optimize, implementation technique in future without involving the KFD programmers, or existing KFD definition of a system. When we create a complete KISS formal description of a system, we are definitely writing a program.
|Titel||Technical Note CSI N9505 : University of Nijmegen (NL)|
|Status||Udgivet - nov. 1995|
Bibliografisk noteDept. of Information Systems, Faculty of Mathematics and Computing Science, University of Nijmegen, Toernooiveld,
NL-6525 ED Nijmegen, The Netherlands