Mobile cooperative systems can facilitate cooperation by improving the flexibility of usage. However, mobile devices present some constraints that become the design and implementation of groupware systems harder. Additionally, there is a lack of general interface requirements definition and verification techniques for supporting the development of effective mobile groupware systems. This lack makes it more difficult to develop usable mobile groupware systems. In order to address some of these issues, we present a set of approaches for user interface design and requirements verification that can be used during the elaboration phase in the development of mobile cooperative applications.