The insufficiency of formal design methods
| Abstract | 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) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesDeborah Mayo & Jean Miller (2008). The Error Statistical Philosopher as Normative Naturalist. Synthese 163 (3):305 - 314.
Vincenzo Crupi & Stephan Hartmann (2010). Formal and Empirical Methods in Philosophy of Science. In Friedrich Stadler et al (ed.), The Present Situation in the Philosophy of Science. Springer.
Antje Nowack (2005). A Guarded Fragment for Abstract State Machines. Journal of Logic, Language and Information 14 (3).
Jeffry L. Ramsey (1993). When Reduction Leads to Construction: Design Considerations in Scientific Methodology. International Studies in the Philosophy of Science 7 (3):241 – 253.
Jeff Sanders & Matteo Turilli (2007). Dynamics of Control. First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07):440-449.
Pawel Garbacz (2007). A First Order Theory of Functional Parthood. Journal of Philosophical Logic 36 (3):309 - 337.
Leon Horsten & Igor Douven (2008). Formal Methods in the Philosophy of Science. Studia Logica 89 (2):151 - 162.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
