共 50 条
- [31] BPMN process model checking using traceability 2016 SIXTH INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING TECHNOLOGY (INTECH), 2016, : 694 - 699
- [32] A model for requirements traceability in a heterogeneous model-based design process 2010 15TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2010), 2010, : 233 - 242
- [34] Lightweight Model Driven Process to Ensure Model Traceability and a Case for SYSMOD PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTER SCIENCE AND ENGINEERING (CSE 2013), 2013, 42 : 219 - 223
- [35] Traceability and Model Checking to Support Safety Requirement Verification 22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014), 2014, : 783 - 786
- [36] Representing and reasoning with traceability in model life cycle management Ann Oper Res, 75 (123):
- [38] Automatic support for traceability in a generic model management framework MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2005, 3748 : 316 - 330
- [39] Vegetable Information Release Model for Traceability Fingerprint Vegetable PROCEEDINGS OF THE 2016 INTERNATIONAL FORUM ON MECHANICAL, CONTROL AND AUTOMATION (IFMCA 2016), 2017, 113 : 54 - 58
- [40] Representing and reasoning with traceability in model life cycle management Annals of Operations Research, 1997, 75 : 123 - 145