Tracing integration analysis in component-based formal specifications
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Hi-index | 0.00 |
Complete and accurate functional equirements arethe foundation for valid specification refinement andcorrectness verification of implemented software systemswhen they are developed with a formal method.However , capturing quality requirements is a difficulttask, and there is a lack of well-defined and effectivetechnique that solves the problem as well. In this paperwe argue that the refinement technique used inconventional formal methods for transforming formalspecifications into programs is actually an effectivetechnique for capturing the functional requirements.We define the completeness of formal specificationsand explain by examples how it can be achieved.