Cart
[Home] [By Thread] [By Date] [Recent Entries]
My read on this: formal theory = vague specification document machine readable format of formal theory = code auto-generation of the program = compile or interpret the code which is just what we all do all the time. It's when you try to pile too many layers of this on top of each other that you get into trouble. -Mike On 02/21/2014 01:54 PM, Costello, Roger L. wrote: Hi Folks, I wrote a short 2-page paper describing how to create applications with a strong formal underpinning: http://xfront.com/How-to-Build-Applications-with-a-Sound-Foundation.pdf Have you followed this approach in creating XML applications? /Roger _______________________________________________________________________ XML-DEV is a publicly archived, unmoderated list hosted by OASIS to support XML implementation and development. To minimize spam in the archives, you must subscribe before posting. [Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/ Or unsubscribe: xml-dev-unsubscribe@l... subscribe: xml-dev-subscribe@l... List archive: http://lists.xml.org/archives/xml-dev/ List Guidelines: http://www.oasis-open.org/maillists/guidelines.php
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] |
