Abstract | ||
---|---|---|
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major barrier to the wider acceptance of formalism within design. Here we propose reasoned modelling critics - an approach which aims to abstract away from the complexities of low-level proof obligations, and provide high-level modelling guidance to designers when proofs fail. Inspired by proof planning critics, the technique combines proof-failure analysis with modelling heuristics. Here, we present the details of our proposal, implement them in a prototype and outline future plans. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1016/j.scico.2011.03.006 | Sci. Comput. Program. |
Keywords | Field | DocType |
proof planning critic,future plan,major barrier,modelling heuristics,formal modelling,reasoned modelling critic,proof-failure analysis,high-level modelling guidance,formal reasoning,formal model,low-level proof obligation,artificial intelligence,formal methods,formal verification,automated reasoning | Automated reasoning,Programming language,Rigour,Computer science,Mathematical proof,Heuristics,Artificial intelligence,Formalism (philosophy),Formal methods,Management science,Formal verification,Design pattern | Journal |
Volume | Issue | ISSN |
78 | 3 | Science of Computer Programming |
ISBN | Citations | PageRank |
3-642-11810-0 | 6 | 0.57 |
References | Authors | |
13 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andrew Ireland | 1 | 122 | 15.39 |
Gudmund Grov | 2 | 100 | 17.38 |
Maria Teresa Llano | 3 | 38 | 6.52 |
Michael Butler | 4 | 1768 | 104.74 |