共 50 条
- [1] Behaviour-Driven Formal Model Development [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2018, 2018, 11232 : 21 - 36
- [2] Combining Behaviour-Driven Development with Scrum for Software Development in the Education Domain [J]. ICEIS: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, 2017, : 449 - 458
- [3] APPROACH OF INTEGRATING BEHAVIOUR-DRIVEN DEVELOPMENT WITH HARDWARE/SOFTWARE CODESIGN [J]. INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2019, 15 (03): : 1177 - 1191
- [4] Towards a Domain-Specific Language for Behaviour-Driven Development [J]. 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, 2023, : 283 - 286
- [5] BHive: Towards Behaviour-Driven Development Supported by B-Method [J]. PROCEEDINGS OF 2016 IEEE 17TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IEEE IRI), 2016, : 249 - 256
- [6] Behaviour-Driven Development Applied to the Conformance Testing of INSPIRE Web Services [J]. CONNECTING A DIGITAL EUROPE THROUGH LOCATION AND PLACE, 2014, : 325 - 339
- [7] Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3 [J]. 2019 24TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2019), 2019, : 97 - 106
- [9] Towards Formal Verification of Behaviour-Driven Development Scenarios using Timed Automata [J]. PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023, 2023, : 612 - 616
- [10] Acceptance Tests over Microservices Architecture using Behaviour-Driven Development [J]. PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021), 2021,