共 50 条
- [44] MODELING AND MANAGEMENT OF SOFTWARE-RELIABILITY - A TUTORIAL [J]. 1989 IIE INTEGRATED SYSTEMS CONFERENCE & SOCIETY FOR INTEGRATED MANUFACTURING CONFERENCE, PROCEEDINGS, 1989, : 52 - 57
- [45] Tutorial: Organizing, managing and optimizing software testing [J]. ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 532 - 533
- [47] Tutorial on fundamental concepts for practical software architecture [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 722 - 723
- [48] A Tutorial on Using Dafny to Construct Verified Software [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (237): : 1 - 19
- [49] CADament: A Gamified Multiplayer Software Tutorial System [J]. 32ND ANNUAL ACM CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI 2014), 2014, : 3369 - 3378
- [50] Learning-Based Software Testing: A Tutorial [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, 2012, 336 : 200 - 219