Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL.

Farah Fourati Mohamed Tahar Bhiri Riadh Robbana

Published in: ISDA (2016)

Keyphrases

software architecture
description language
database
software engineering
functional requirements
software evolution
impact analysis