Software Technologies Concertation on
Formal Methods for Components and Objects