José Luiz Fiadeiro
CASL UML algebraic methods algebraic program development algebraic specifications ambient calculus architectural specifications co-algebraic methods design formal method formal specification modeling polymorphism software architecture system development