TOSEM publishes papers about: specification, design, development and maintenance. It covers tools and methodologies, languages, data structures, and algorithms.

News and articles about application development trends, intended for software developers for enterprise environments.

A community of software developers for collaboration, networking and learning.