Formal Specification (VDM-SL)

Job ID: 31219367

Budget: $30 – $250 USD

Specify the system using VDM-SL.
Map the validated VDM-SL into Java code.

Related categories: Business, Accounting, Human Resources & Legal Software Architecture Software Development Computer Science Scientific Computing