Specification and Implementation of Advanced Functionalities