Graduate studies at Western
|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)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Deborah 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):345-368.
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.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #292,563 of 739,396 )
Recent downloads (6 months)1 ( #61,680 of 739,396 )
How can I increase my downloads?