共 50 条
- [21] A Scalable Operational Framework for Requirements Validation Using Semantic and Functional Models PROCEEDINGS OF THE 2019 2ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND INFORMATION MANAGEMENT (ICSIM 2019) / 2019 2ND INTERNATIONAL CONFERENCE ON BIG DATA AND SMART COMPUTING (ICBDSC 2019), 2019, : 1 - 6
- [22] An operational semantics of Java']Java 2 access control 13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 224 - 232
- [23] Validating functional system requirements with scenarios IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2002, : 181 - 188
- [24] INSTALLATION AND OPERATIONAL EXPERIENCES WITH MACCS (MOLECULAR ACCESS SYSTEM) ONLINE REVIEW, 1982, 6 (03): : 235 - 242
- [25] Report on the workshop on Pacific Coastal Forecasting System operational requirements SECOND CONFERENCE ON COASTAL ATMOSPHERIC AND OCEANIC PREDICTION AND PROCESSES, 1998, : J36 - J38
- [26] An integrated model for access control and information flow requirements ADVANCES IN COMPUTER SCIENCE - ASIAN 2007: COMPUTER AND NETWORK SECURITY, PROCEEDINGS, 2007, 4846 : 111 - 125
- [27] Analyzing the requirements of an access control using VDMTools and PVS FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1870 - 1870
- [28] Access control requirements for processing electronic health records BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2008, 4928 : 371 - 382
- [30] On Access Control Requirements for Inter-Organizational Workflow PROCEEDINGS OF THE 4TH EDITION OF NATIONAL SECURITY DAYS (JNS4), 2014, : 21 - 26