Reasoning about complex requirements in a uniform setting
- Citation:
- Martins M, Madeira A, Barbosa LS. 2011. Reasoning about complex requirements in a uniform setting. Third International Congress on Tools for Teaching Logic - TICTIL.
Date Presented:
JuneAbstract:
The paper formulates HEQ, an institution for hybrid equational logic to provide a uniform setting to express and reasoning about di ferent sorts of properties of complex software. It is also shown how, through the de nition of a suitable comorphism to FOL, this can be integrated in Hets, providing suitable tool support for teaching and research. The whole exercise was motivated by the need to unify, in a single under-graduate course in a Computer Science curriculum, the speci cation of data and behavioural constraints of recon gurable systems.
Citation Key:
1522
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.