A semantic part generated Java statement from a CafeOBJ specification

A computer program is developed in order to satisfy what a customer wants. Therefore, a developed program must conform to its design which is corresponded to user requirements. Source code must be consistently implemented with the design. One approach to solve this problem is to apply source code ge...

Full description

Saved in:
Bibliographic Details
Main Authors: C. Doungsa-ard, T. Suwannasart
Format: Conference Proceeding
Published: 2018
Subjects:
Online Access:https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=34250865500&origin=inward
http://cmuir.cmu.ac.th/jspui/handle/6653943832/61603
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Chiang Mai University