共 50 条
- [2] Requirement progression in problem frames: deriving specifications from requirements [J]. Requirements Engineering, 2007, 12 : 77 - 102
- [4] Deriving and verifying B specifications from Problem Frames models via model transformation [J]. 32ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW 2024, 2024, : 206 - 213
- [5] Transforming Process Models to Problem Frames [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS, (BPM 2015), 2016, 256 : 529 - 542
- [6] F-STREAM: A Flexible Process for Deriving Architectures from Requirements Models [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, 2011, 83 : 342 - +
- [7] Deriving User Requirements from Business Process Models for Automation: A Case Study [J]. 2014 IEEE 1ST INTERNATIONAL WORKSHOP ON THE INTERRELATIONS BETWEEN REQUIREMENTS ENGINEERING AND BUSINESS PROCESS MANAGEMENT (REBPM), 2014, : 19 - 28
- [8] Deriving Information Requirements from Responsibility Models [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2009, 5565 : 515 - 529
- [9] Deriving software architectural models from requirements models for adaptive systems: the STREAM-A approach [J]. Requirements Engineering, 2012, 17 : 259 - 281