IJSI在线出版5篇文章

Meixia Zhu,Hanpin Wang,Xikui Liu,Xiaoqiong Han.Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation

William Tepfenhart,Jiacun Wang.Towards True Dynamic Workflow for Emergency Response

Omar El Ariss,Dianxiang Xu.Secure System Modeling: Integrating Security Attacks with Statecharts

Kevin Lano,Shekoufeh Kolahdouz-Rahimi,Iman Poernomo.Comparative Evaluation of Model Transformation Specification Approaches

Qichao Liu,Jeff Gray,Marjan Mernik,Barrett R. Bryant.Application of Metamodel Inference with Large-Scale Metamodels