Alcune metodologie:

Agile Programming

• sistemi operativi e drivers, fast prototyping, portals & multimedia

Formal & Semi-formal Methods

• applicazioni in ambito avionico e ferroviario, sistemi fail safe e sistemi critici

Model  Driven Development

• applicazioni in ambito multimediale e portali