The insufficiency of formal design methods
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given formal specification; or checking that a program meets a specification. We also exhibit a ‘simple’ MAS which has all the power of a Turing machine. We then argue that any ‘pure design’ methodology will face insurmountable difficulties in today’s open and complex MAS. Rather we suggest a methodology based on the classic experimental method – that is ‘scientific foundations’ for the construction and control of complex MAS.
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Error Statistical Philosopher as Normative Naturalist.Deborah Mayo & Jean Miller - 2008 - Synthese 163 (3):305 - 314.
Formal and Empirical Methods in Philosophy of Science.Vincenzo Crupi & Stephan Hartmann - 2010 - In Friedrich Stadler et al (ed.), The Present Situation in the Philosophy of Science. Springer. pp. 87--98.
A Guarded Fragment for Abstract State Machines.Antje Nowack - 2005 - Journal of Logic, Language and Information 14 (3):345-368.
When Reduction Leads to Construction: Design Considerations in Scientific Methodology.Jeffry L. Ramsey - 1993 - International Studies in the Philosophy of Science 7 (3):241 – 253.
Dynamics of Control.Jeff Sanders & Matteo Turilli - 2007 - First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07):440-449.
Added to index2009-01-28
Total downloads3 ( #671,810 of 2,037,250 )
Recent downloads (6 months)1 ( #397,033 of 2,037,250 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.