Open AccessDesign and Implementation of Automated Visualization for Input/Output for Processes in SOFL Formal Specifications
Author(s) -
Chen Yu,
Shaoying Liu
Publication year - 2018
Publication title -
international journal of software engineering and applications
Language(s) - English
Resource type - Journals
eISSN - 0976-2221
pISSN - 0975-9018
DOI - 10.5121/ijsea.2018.9409
Subject(s) - computer science , visualization , software engineering , formal methods , systems engineering , programming language , engineering drawing , embedded system , human–computer interaction , engineering , data mining