All Outputs (3)

Review of heuristics for generalisation (1995)
Journal Article
Vadera, S. (1995). Review of heuristics for generalisation. Software engineering journal, 10(4), 118-123

Proof by induction plays a central role in showing that recursive programs satisfy their specification. Sometimes a key step is to generalise a lemma so that its inductive proof is easier. Existing heuristics for generalisation for induction are... Read More about Review of heuristics for generalisation.

TheMD shell and its use to develop Dust-Expert(TM) (1995)
Journal Article
Vadera, S., & Nechab, S. (1995). TheMD shell and its use to develop Dust-Expert(TM). Expert Systems, 12(3), 231-237. https://doi.org/10.1111/j.1468-0394.1995.tb00112.x

In this paper we describe TheMD (The Methods Designer) shell and its use in the development of an expert system, known as Dust-Expert, for the relief of dust explosions. We begin by providing the motivation for the development of TheMD Shell by evalu... Read More about TheMD shell and its use to develop Dust-Expert(TM).

Proof by analogy in mural (1995)
Journal Article
Vadera, S. (1995). Proof by analogy in mural. Formal Aspects of Computing, 7(2), 183-206. https://doi.org/10.1007/BF01211605

One of the most important advantages of using a formal method of developing software is that one can prove that development steps are correct with respect to their specification. Conducting proofs by hand, however,can be time consuming to the ex... Read More about Proof by analogy in mural.