Methodologies applied:

Agile Programming

• operating systems and drivers, fast prototyping, portals and multimedia

Formal & Semi-formal Methods

• aviation and railway applications, fail safe systems and critical systems

Model  Driven Development

• multimedia and web site applications