Mobile Nav

RAPID PROTOTYPING VIA AUTOMATIC SOFTWARE CODE GENERATION FROM FORMAL SPECIFICATIONS: A CASE STUDY