Switch to: References

Add citations

You must login to add citations.
  1. The insufficiency of formal design methods.Bruce Edmonds - manuscript
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Replication, replication and replication: Some hard lessons from model alignment.Bruce Edmonds - unknown
    A published simulation model Riolo et al. 2001 ) was replicated in two independent implementations so that the results as well as the conceptual design align. This double replication allowed the original to be analysed and critiqued with confidence. In this case, the replication revealed some weaknesses in the original model, which otherwise might not have come to light. This shows that unreplicated simulation models and their results can not be trusted - as with other kinds of experiment, simulations need (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations