PROGRAMMING IN PROTOCOLS - A Paradigm of Behavioral Programming Topics: Business and Software Modeling Languages; Evolutionary Design; Formal Methods; Meta Programming Systems; Model-Driven Engineering In Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 23-30, 2008 , Funchal, Madeira, Portugal