![]() |
|||||
|
|||||
Services Offered by firmum
Consultancy: - Quality Assessments - Architecture evaluations - Formal Methods introduction and training Architecture: - Broad experience in available software architectures - Formal specification - Early impact estimation Useability: - Prototyping - User testing - Scenario testing Implementation - .NET - C++/C - Code generation from models - Embedded Systems |