Metaphor Engineering Services

Metaphor Engineering offers the following services. Contact us for details.

Formal Requirements Analysis and Modeling

Review, analysis, modeling and prototyping of requirements to particular complex software components or applications.

Modeling and prototyping is done with the Vienna Development Method (VDM) and Overture Tool using the ISO/IEC 13817-1:1996 VDM-SL language.

Typical deliverables include remarks to the original, presumably textual, requirements specification, runnable VDM-SL model, tooling for model-based testing of an implementation.

The benefit is assurance of quality of the final product at two levels: Requirements validation and product validation against the modeled requirements.

Trainings

• Practical Vienna Development Method (VDM) with Overture Tool.
• Personal Lean Six Sigma for software engineers.
• Practical functional programming in Haskell or F#.

Consulting and Support

Using Vienna Development Method (VDM) with Overture Tool.

Custom Development

Prototype or production implementation of modeled requirements in a functional programming language: Haskell, OCaml, F#.