Future Work

• Client-side HCI (using Java RMI).

• From FlexibO to C++.

• Exploring the new mechanisms.

• Integration of UML.

• Predicative semantics and proof of development non-monotonicity.