586 search results - page 4 / 118 » Automated Reasoning on Aspects Interactions |
100
click to vote
TPHOL
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
97
Voted
EWCBR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The Web is a vibrant environment for innovation in computer science, AI, and social interaction; these innovations come in such great number and speed that it is unlikely...
108
Voted
CADE
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
141
click to vote
TAOSD
2010
14 years 10 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
125
Voted
TPHOL
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...