共 50 条
- [11] Integrating Requirements Specifications and Web Services Using Cognitive Models [J]. INFORMATION SYSTEMS DEVELOPMENT: CHALLENGES IN PRACTICE, THEORY AND EDUCATION, VOLS 1AND 2, 2009, : 1025 - 1032
- [12] Discovering web services to improve requirements specifications: Does it help? [J]. REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, 2008, 5025 : 168 - 182
- [13] Connectivity Requirements for Cloud-Based Services [J]. 2016 18TH INTERNATIONAL CONFERENCE ON TRANSPARENT OPTICAL NETWORKS (ICTON), 2016,
- [14] Automatising Mashup of Cloud Services with QoS Requirements [J]. COMPLEX, INTELLIGENT, AND SOFTWARE INTENSIVE SYSTEMS, CISIS-2017, 2018, 611 : 896 - 905
- [15] A Cloud Services Composition Approach Based on Customer's Models and Cloud Services Vendor's Rules and Specifications [J]. 2016 4TH IEEE INTERNATIONAL COLLOQUIUM ON INFORMATION SCIENCE AND TECHNOLOGY (CIST), 2016, : 633 - 637
- [17] Using Tools to Assist Identification of Non-requirements in Requirements Specifications - A Controlled Experiment [J]. REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY (REFSQ 2018), 2018, 10753 : 57 - 71
- [18] DEVELOPING FORMAL SPECIFICATIONS FROM INFORMAL REQUIREMENTS [J]. IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1993, 8 (04): : 82 - 90
- [19] Constructing formal specifications from informal requirements [J]. EIGHTH IEEE INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE INCORPORATING COMPUTER AIDED SOFTWARE ENGINEERING, PROCEEDINGS, 1997, : 68 - 75
- [20] Deriving formal specifications from informal requirements [J]. COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 145 - 152