共 50 条
- [32] Scenario-Based Proofs for Concurrent Objects PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA):
- [33] Scenario-based programming for ubiquitous applications UBIQUITOUS COMPUTING SYSTEMS, PROCEEDINGS, 2006, 4239 : 286 - 299
- [34] A Scenario-Based Validation Language for ASMs ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 71 - +
- [40] Scenario-based assessment for database course 8TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES, PROCEEDINGS, 2008, : 735 - 736