1 paper · 1 filter
Tomohiro Oda, Han-Myung Chang
The executable specification is one of the powerful tools in lightweight formal software development. VDM-SL allows the explicit and executable definition of operations that refere…