Analogy-Based Learning How to Construct an Object Model
ISNN '07 Proceedings of the 4th international symposium on Neural Networks: Advances in Neural Networks
Adaptive techniques for specification matching in embedded systems: a comparative study
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Hi-index | 0.00 |
Retrieval of software components from a library relies on techniquesfor matching user requirements against library componentinterfaces. In this paper we introduce a number of techniquesfor matching formally specified, state-based modules. These techniqueswill form the basis for retrieval tool support. The techniquesdescribed in this paper build on existing specificationmatching methods, based on individual functions, specified usingpre- and post-conditions. We begin by defining a basic modulematching technique, based on matching the individual units withina module. We consider variations of this technique that take intoaccount two important features of modules: the visibility of moduleentities; and the use of state invariants. An advanced technique,based on data refinement and the use of coupling invariants,is also described.