共 50 条
- [1] Extending the Automated Feature Model Analysis Capability of the Abstract Behavioral Specification 2017 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER SCIENCE AND INFORMATION SYSTEMS (ICACSIS), 2017, : 453 - 458
- [2] Enhancing Reliability of Feature Modeling with Transforming Representation into Abstract Behavioral Specification (ABS) 2014 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER SCIENCE AND INFORMATION SYSTEMS (ICACSIS), 2014, : 201 - 206
- [5] Designing a requirements specification language for reactive systems (Abstract) ZUM '98: THE Z FORMAL SPECIFICATION NOTATION, 1998, 1493 : 135 - 135
- [7] AN EXECUTABLE SPECIFICATION LANGUAGE FOR ABSTRACT DATA-TYPES TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (04): : 247 - 251
- [9] Pipa: A behavioral interface specification language for AspectJ FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 150 - 165
- [10] AFCL: An Abstract Function Choreography Language for serverless workflow specification FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2021, 114 : 368 - 382